detailed results (9583 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413435/iso_icl497.smt2 (content) unsat unsat 0.091s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413434/iso_icl496.smt2 (content) unsat unsat 0.109s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413433/iso_icl495.smt2 (content) unsat unsat 0.196s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413432/iso_icl494.smt2 (content) unsat unsat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413431/iso_icl493.smt2 (content) unsat unsat 0.083s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413430/iso_icl492.smt2 (content) unsat unsat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413429/iso_icl491.smt2 (content) unsat unsat 0.102s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413428/iso_icl490.smt2 (content) unsat unsat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413427/iso_icl489.smt2 (content) unsat unsat 0.079s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413426/iso_icl488.smt2 (content) unsat unsat 0.075s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413425/iso_icl487.smt2 (content) unsat unsat 0.068s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413424/iso_icl486.smt2 (content) unsat unsat 0.062s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413423/iso_icl485.smt2 (content) unsat unsat 0.088s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413422/iso_icl484.smt2 (content) unsat unsat 0.078s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413421/iso_icl483.smt2 (content) unsat unsat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413420/iso_icl482.smt2 (content) unsat unsat 0.078s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413419/iso_icl481.smt2 (content) unsat unsat 0.100s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413418/iso_icl480.smt2 (content) unsat unsat 0.090s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413417/iso_icl479.smt2 (content) unsat unsat 0.058s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413416/iso_icl478.smt2 (content) unsat unsat 0.085s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413415/iso_icl477.smt2 (content) unsat unsat 0.119s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413414/iso_icl476.smt2 (content) unsat unsat 0.104s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413413/iso_icl475.smt2 (content) unsat unsat 0.096s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413412/iso_icl474.smt2 (content) unsat unsat 0.074s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413411/iso_icl473.smt2 (content) unsat unsat 0.072s