detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1283.smt2 (content) sat sat 0.087s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1283.smt2 (content) sat sat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1282.smt2 (content) sat sat 0.127s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1282.smt2 (content) sat sat 0.065s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1281.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1281.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1280.smt2 (content) sat sat 0.159s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1280.smt2 (content) sat sat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn128.smt2 (content) sat sat 0.173s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn128.smt2 (content) sat sat 0.051s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1279.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1279.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1278.smt2 (content) sat sat 0.114s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1278.smt2 (content) sat sat 0.027s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1277.smt2 (content) sat sat 0.074s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1277.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1276.smt2 (content) sat sat 0.121s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1276.smt2 (content) sat sat 0.061s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1275.smt2 (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1275.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1274.smt2 (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1274.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1273.smt2 (content) unsat unsat 0.215s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1273.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1272.smt2 (content) sat sat 0.097s