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.197s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl110.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1099.smt2 (content) unsat unsat 0.218s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1099.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1098.smt2 (content) unsat unsat 0.219s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1098.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1097.smt2 (content) unsat unsat 0.468s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1097.smt2 (content) unsat unsat 0.069s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1096.smt2 (content) unsat unsat 0.103s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1096.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1095.smt2 (content) unsat unsat 0.096s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1095.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1094.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1094.smt2 (content) unsat unsat 0.042s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1093.smt2 (content) unsat unsat 0.439s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1093.smt2 (content) unsat unsat 0.092s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1092.smt2 (content) unsat unsat 0.176s
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.135s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1091.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1090.smt2 (content) unsat unsat 0.090s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1090.smt2 (content) unsat unsat 0.045s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl109.smt2 (content) unsat unsat 0.162s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl109.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1089.smt2 (content) unsat unsat 0.109s