detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl110.smt2 (content) unsat unsat 0.278s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl110.smt2 (content) unsat unsat 0.107s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1099.smt2 (content) unsat unsat 0.207s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1099.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1098.smt2 (content) unsat unsat 0.257s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1098.smt2 (content) unsat unsat 0.053s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1097.smt2 (content) unsat unsat 0.277s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1097.smt2 (content) unsat unsat 0.068s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1096.smt2 (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1096.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1095.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1095.smt2 (content) unsat unsat 0.043s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1094.smt2 (content) unsat unsat 0.076s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1094.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1093.smt2 (content) unsat unsat 0.097s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1093.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1092.smt2 (content) unsat unsat 0.148s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1092.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1091.smt2 (content) unsat unsat 0.078s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1091.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1090.smt2 (content) unsat unsat 0.155s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1090.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl109.smt2 (content) unsat unsat 0.163s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl109.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1089.smt2 (content) unsat unsat 0.096s