detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413422/iso_icl484.smt2 (content) unsat unsat 0.105s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413421/iso_icl483.smt2 (content) unsat unsat 0.061s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413420/iso_icl482.smt2 (content) unsat unsat 0.094s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413419/iso_icl481.smt2 (content) unsat unsat 0.124s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413418/iso_icl480.smt2 (content) unsat unsat 0.100s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413417/iso_icl479.smt2 (content) unsat unsat 0.057s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413416/iso_icl478.smt2 (content) unsat unsat 0.101s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413415/iso_icl477.smt2 (content) unsat unsat 0.240s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413414/iso_icl476.smt2 (content) unsat unsat 0.124s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413413/iso_icl475.smt2 (content) unsat unsat 0.101s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413412/iso_icl474.smt2 (content) unsat unsat 0.088s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413411/iso_icl473.smt2 (content) unsat unsat 0.095s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413410/iso_icl472.smt2 (content) unsat unsat 0.061s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413409/iso_icl471.smt2 (content) unsat unsat 0.048s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413408/iso_icl470.smt2 (content) unsat unsat 0.052s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413407/iso_icl469.smt2 (content) unsat unsat 0.097s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413406/iso_icl468.smt2 (content) unsat unsat 0.086s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413405/iso_icl467.smt2 (content) unsat unsat 0.047s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413404/iso_icl466.smt2 (content) unsat unsat 0.070s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413403/iso_icl465.smt2 (content) unsat unsat 0.060s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413402/iso_icl464.smt2 (content) unsat unsat 0.061s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413401/iso_icl463.smt2 (content) unsat unsat 0.069s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413400/iso_icl462.smt2 (content) unsat unsat 0.072s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413399/iso_icl461.smt2 (content) unsat unsat 0.067s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413398/iso_icl460.smt2 (content) unsat unsat 0.054s