detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408610/iso_icl068.smt2 (content) unsat unsat 0.059s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408609/iso_icl067.smt2 (content) unsat unsat 0.517s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408609/iso_icl067.smt2 (content) unsat unsat 0.839s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408609/iso_icl067.smt2 (content) unsat unsat 0.095s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408608/iso_icl066.smt2 (content) unsat unsat 0.198s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408608/iso_icl066.smt2 (content) unsat unsat 0.482s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408608/iso_icl066.smt2 (content) unsat unsat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408607/iso_icl065.smt2 (content) unsat unsat 0.251s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408607/iso_icl065.smt2 (content) unsat unsat 0.778s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408607/iso_icl065.smt2 (content) unsat unsat 0.071s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408606/iso_icl064.smt2 (content) unsat unsat 0.206s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408606/iso_icl064.smt2 (content) unsat unsat 0.527s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408606/iso_icl064.smt2 (content) unsat unsat 0.050s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408605/iso_icl063.smt2 (content) unsat unsat 0.197s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408605/iso_icl063.smt2 (content) unsat unsat 0.484s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408605/iso_icl063.smt2 (content) unsat unsat 0.094s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408604/iso_icl062.smt2 (content) unsat unsat 0.278s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408604/iso_icl062.smt2 (content) unsat unsat 0.443s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408604/iso_icl062.smt2 (content) unsat unsat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408603/iso_icl061.smt2 (content) unsat unsat 0.290s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408603/iso_icl061.smt2 (content) unsat unsat 0.500s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408603/iso_icl061.smt2 (content) unsat unsat 0.073s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408602/iso_icl060.smt2 (content) unsat unsat 0.127s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408602/iso_icl060.smt2 (content) unsat unsat 0.494s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408602/iso_icl060.smt2 (content) unsat unsat 0.047s