detailed results (3602 total)

prover file res expected time
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 0.530s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 6.1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 0.329s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) unsat unsat 0.517s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 0.363s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409553/gensys_brn508.smt2 (content) unsat unsat 3.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409551/gensys_brn506.smt2 (content) unsat unsat 2.6s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409548/gensys_brn503.smt2 (content) unsat unsat 1.0s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409539/gensys_brn494.smt2 (content) unsat unsat 4.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 0.819s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409523/gensys_brn478.smt2 (content) unsat unsat 0.967s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409521/gensys_brn476.smt2 (content) unsat unsat 0.913s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409520/gensys_brn475.smt2 (content) unsat unsat 0.971s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409515/gensys_brn470.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409514/gensys_brn469.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409509/gensys_brn464.smt2 (content) unsat unsat 1.9s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409507/gensys_brn462.smt2 (content) unsat unsat 5.2s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409498/gensys_brn453.smt2 (content) unsat unsat 4.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409493/gensys_brn448.smt2 (content) unsat unsat 0.639s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409492/gensys_brn447.smt2 (content) unsat unsat 0.381s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409489/gensys_brn444.smt2 (content) unsat unsat 4.5s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409487/gensys_brn442.smt2 (content) unsat unsat 3s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409480/gensys_brn435.smt2 (content) unsat unsat 3.7s
sidekick-dev /home/simon/workspace/sidekick/tests/QF_UF/QG-classification/qg5/409479/gensys_brn434.smt2 (content) unsat unsat 4.5s