detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413222/iso_icl284.smt2 (content) unsat unsat 0.053s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413221/iso_icl283.smt2 (content) unsat unsat 0.057s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413220/iso_icl282.smt2 (content) unsat unsat 0.078s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413219/iso_icl281.smt2 (content) unsat unsat 0.066s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413218/iso_icl280.smt2 (content) unsat unsat 0.122s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413217/iso_icl279.smt2 (content) unsat unsat 0.064s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413216/iso_icl278.smt2 (content) unsat unsat 0.042s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413215/iso_icl277.smt2 (content) unsat unsat 0.123s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413214/iso_icl276.smt2 (content) unsat unsat 0.073s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413213/iso_icl275.smt2 (content) unsat unsat 0.065s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413212/iso_icl274.smt2 (content) unsat unsat 0.061s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413211/iso_icl273.smt2 (content) unsat unsat 0.056s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413210/iso_icl272.smt2 (content) unsat unsat 0.060s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413209/iso_icl271.smt2 (content) unsat unsat 0.068s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.086s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.029s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.027s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.030s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.112s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.230s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.154s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.050s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.061s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.088s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.109s