detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1157.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1156.smt2 (content) unsat unsat 0.153s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1156.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1155.smt2 (content) unsat unsat 0.203s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1155.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1154.smt2 (content) unsat unsat 0.195s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1154.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1153.smt2 (content) unsat unsat 0.161s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1153.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1152.smt2 (content) unsat unsat 0.207s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1152.smt2 (content) unsat unsat 0.097s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1151.smt2 (content) unsat unsat 0.125s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1151.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1150.smt2 (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1150.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl115.smt2 (content) unsat unsat 0.250s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl115.smt2 (content) unsat unsat 0.054s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1149.smt2 (content) unsat unsat 0.127s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1149.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1148.smt2 (content) unsat unsat 0.091s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1148.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1147.smt2 (content) unsat unsat 0.107s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1147.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1146.smt2 (content) unsat unsat 0.114s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl1146.smt2 (content) unsat unsat 0.065s