detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1272.smt2 (content) sat sat 0.018s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1271.smt2 (content) sat sat 0.152s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1271.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1270.smt2 (content) sat sat 0.168s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1270.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn127.smt2 (content) unsat unsat 0.156s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn127.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1269.smt2 (content) sat sat 0.180s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1269.smt2 (content) sat sat 0.069s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1268.smt2 (content) sat sat 0.232s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1268.smt2 (content) sat sat 0.056s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1267.smt2 (content) unsat unsat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1267.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1266.smt2 (content) unsat unsat 0.163s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1266.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1265.smt2 (content) unsat unsat 0.124s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1265.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1264.smt2 (content) sat sat 0.068s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1264.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1263.smt2 (content) sat sat 0.355s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1263.smt2 (content) sat sat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1262.smt2 (content) sat sat 0.108s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1262.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1261.smt2 (content) sat sat 0.104s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1261.smt2 (content) sat sat 0.022s