detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn038.smt2 (content) unsat unsat 0.420s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn038.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn037.smt2 (content) unsat unsat 0.381s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn037.smt2 (content) unsat unsat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn036.smt2 (content) unsat unsat 0.153s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn036.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn035.smt2 (content) unsat unsat 0.493s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn035.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn034.smt2 (content) unsat unsat 0.303s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn034.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn033.smt2 (content) unsat unsat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn033.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn032.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn032.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn031.smt2 (content) unsat unsat 0.558s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn031.smt2 (content) unsat unsat 0.236s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn030.smt2 (content) sat sat 1s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn030.smt2 (content) sat sat 0.110s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn029.smt2 (content) sat sat 0.451s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn029.smt2 (content) sat sat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn028.smt2 (content) unsat unsat 0.393s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn028.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn027.smt2 (content) unsat unsat 0.456s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn027.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg7/iso_brn026.smt2 (content) unsat unsat 0.244s