detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl066.smt2 (content) unsat unknown 0.387s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl066.smt2 (content) unsat unknown 0.023s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl065.smt2 (content) unsat unknown 0.166s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl065.smt2 (content) unsat unknown 0.599s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl065.smt2 (content) unsat unknown 0.602s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl065.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.146s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.487s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.487s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl064.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.160s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.444s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.426s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl063.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.179s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.392s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.369s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl062.smt2 (content) unsat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.214s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.416s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.404s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl061.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.093s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.444s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.423s