detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408576/iso_icl034.smt2 (content) unsat unsat 0.236s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408576/iso_icl034.smt2 (content) unsat unsat 0.586s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408576/iso_icl034.smt2 (content) unsat unsat 0.112s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408575/iso_icl033.smt2 (content) unsat unsat 0.285s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408575/iso_icl033.smt2 (content) unsat unsat 0.463s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408575/iso_icl033.smt2 (content) unsat unsat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408574/iso_icl032.smt2 (content) unsat unsat 0.277s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408574/iso_icl032.smt2 (content) unsat unsat 0.316s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408574/iso_icl032.smt2 (content) unsat unsat 0.100s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408573/iso_icl031.smt2 (content) unsat unsat 0.173s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408573/iso_icl031.smt2 (content) unsat unsat 0.214s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408573/iso_icl031.smt2 (content) unsat unsat 0.087s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2 (content) unsat unsat 0.143s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2 (content) unsat unsat 0.317s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408572/iso_icl030.smt2 (content) unsat unsat 0.085s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.218s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.168s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408571/iso_icl029.smt2 (content) unsat unsat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.380s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.366s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408570/iso_icl028.smt2 (content) unsat unsat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.177s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.285s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408569/iso_icl027.smt2 (content) unsat unsat 0.140s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.311s