detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413409/iso_icl471.smt2 (content) unsat unsat 0.043s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413408/iso_icl470.smt2 (content) unsat unsat 0.036s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413407/iso_icl469.smt2 (content) unsat unsat 0.097s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413406/iso_icl468.smt2 (content) unsat unsat 0.076s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413405/iso_icl467.smt2 (content) unsat unsat 0.038s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413404/iso_icl466.smt2 (content) unsat unsat 0.059s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413403/iso_icl465.smt2 (content) unsat unsat 0.042s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413402/iso_icl464.smt2 (content) unsat unsat 0.053s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413401/iso_icl463.smt2 (content) unsat unsat 0.065s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413400/iso_icl462.smt2 (content) unsat unsat 0.072s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413399/iso_icl461.smt2 (content) unsat unsat 0.056s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413398/iso_icl460.smt2 (content) unsat unsat 0.053s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413397/iso_icl459.smt2 (content) unsat unsat 0.054s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413396/iso_icl458.smt2 (content) unsat unsat 0.119s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413395/iso_icl457.smt2 (content) unsat unsat 0.147s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413394/iso_icl456.smt2 (content) unsat unsat 0.163s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413393/iso_icl455.smt2 (content) unsat unsat 0.086s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413392/iso_icl454.smt2 (content) unsat unsat 0.076s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413391/iso_icl453.smt2 (content) unsat unsat 0.110s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413390/iso_icl452.smt2 (content) unsat unsat 0.080s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413389/iso_icl451.smt2 (content) unsat unsat 0.115s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413388/iso_icl450.smt2 (content) unsat unsat 0.134s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413387/iso_icl449.smt2 (content) unsat unsat 0.075s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413386/iso_icl448.smt2 (content) unsat unsat 0.075s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413385/iso_icl447.smt2 (content) unsat unsat 0.052s