detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413434/iso_icl496.smt2 (content) unsat unsat 0.126s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413433/iso_icl495.smt2 (content) unsat unsat 0.152s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413432/iso_icl494.smt2 (content) unsat unsat 0.058s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413431/iso_icl493.smt2 (content) unsat unsat 0.085s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413430/iso_icl492.smt2 (content) unsat unsat 0.033s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413429/iso_icl491.smt2 (content) unsat unsat 0.118s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413428/iso_icl490.smt2 (content) unsat unsat 0.031s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413427/iso_icl489.smt2 (content) unsat unsat 0.086s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413426/iso_icl488.smt2 (content) unsat unsat 0.074s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413425/iso_icl487.smt2 (content) unsat unsat 0.073s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413424/iso_icl486.smt2 (content) unsat unsat 0.072s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413423/iso_icl485.smt2 (content) unsat unsat 0.100s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413422/iso_icl484.smt2 (content) unsat unsat 0.082s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413421/iso_icl483.smt2 (content) unsat unsat 0.055s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413420/iso_icl482.smt2 (content) unsat unsat 0.074s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413419/iso_icl481.smt2 (content) unsat unsat 0.108s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413418/iso_icl480.smt2 (content) unsat unsat 0.098s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413417/iso_icl479.smt2 (content) unsat unsat 0.051s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413416/iso_icl478.smt2 (content) unsat unsat 0.093s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413415/iso_icl477.smt2 (content) unsat unsat 0.146s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413414/iso_icl476.smt2 (content) unsat unsat 0.122s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413413/iso_icl475.smt2 (content) unsat unsat 0.102s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413412/iso_icl474.smt2 (content) unsat unsat 0.077s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413411/iso_icl473.smt2 (content) unsat unsat 0.081s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413410/iso_icl472.smt2 (content) unsat unsat 0.057s