detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413220/iso_icl282.smt2 (content) unsat unsat 0.054s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413219/iso_icl281.smt2 (content) unsat unsat 0.067s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413218/iso_icl280.smt2 (content) unsat unsat 0.126s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413217/iso_icl279.smt2 (content) unsat unsat 0.059s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413216/iso_icl278.smt2 (content) unsat unsat 0.040s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413215/iso_icl277.smt2 (content) unsat unsat 0.076s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413214/iso_icl276.smt2 (content) unsat unsat 0.069s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413213/iso_icl275.smt2 (content) unsat unsat 0.054s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413212/iso_icl274.smt2 (content) unsat unsat 0.065s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413211/iso_icl273.smt2 (content) unsat unsat 0.055s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413210/iso_icl272.smt2 (content) unsat unsat 0.063s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413209/iso_icl271.smt2 (content) unsat unsat 0.066s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.095s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.028s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.026s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.036s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.089s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.204s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.095s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.053s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.060s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.113s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.114s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413197/iso_icl259.smt2 (content) unsat unsat 0.067s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413196/iso_icl258.smt2 (content) unsat unsat 0.049s