detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unsat 0.227s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1079.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unsat 0.279s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1078.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat sat 0.351s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1077.smt2 (content) sat sat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat sat 0.275s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1076.smt2 (content) sat sat 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1075.smt2 (content) unsat unsat 0.266s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1075.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1074.smt2 (content) sat sat 0.190s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1074.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1073.smt2 (content) sat sat 0.170s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1073.smt2 (content) sat sat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1072.smt2 (content) sat sat 0.121s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1072.smt2 (content) sat sat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1071.smt2 (content) sat sat 0.423s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1071.smt2 (content) sat sat 0.035s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1070.smt2 (content) unsat unsat 0.264s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1070.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn107.smt2 (content) sat sat 0.230s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn107.smt2 (content) sat sat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1069.smt2 (content) unsat unsat 0.401s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1069.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_brn1068.smt2 (content) unsat unsat 0.182s