detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl010.smt2 (content) unsat unknown 0.017s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unknown 0.158s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unknown 0.281s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unknown 0.283s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl009.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unknown 0.077s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unknown 0.084s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unknown 0.083s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl008.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unknown 0.045s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unknown 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unknown 0.067s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl007.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unknown 0.058s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unknown 0.101s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unknown 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl006.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unknown 0.043s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unknown 0.070s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unknown 0.070s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl005.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unknown 0.080s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unknown 0.079s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unknown 0.078s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl004.smt2 (content) unsat unknown 0.022s