detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1238.smt2 (content) sat sat 0.311s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1238.smt2 (content) sat sat 0.119s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1237.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1237.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1236.smt2 (content) sat sat 0.105s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1236.smt2 (content) sat sat 0.029s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1235.smt2 (content) sat sat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1235.smt2 (content) sat sat 0.020s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1234.smt2 (content) sat sat 0.137s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1234.smt2 (content) sat sat 0.070s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1233.smt2 (content) sat sat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1233.smt2 (content) sat sat 0.021s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1232.smt2 (content) unsat unsat 0.203s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1232.smt2 (content) unsat unsat 0.084s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1231.smt2 (content) sat sat 0.095s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1231.smt2 (content) sat sat 0.023s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1230.smt2 (content) sat sat 0.392s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1230.smt2 (content) sat sat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn123.smt2 (content) sat sat 0.457s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn123.smt2 (content) sat sat 0.067s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1229.smt2 (content) sat sat 0.136s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1229.smt2 (content) sat sat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1228.smt2 (content) unsat unsat 0.075s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1228.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_brn1227.smt2 (content) sat sat 0.095s