detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1279.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1278.smt2 (content) unsat unknown 0.212s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1277.smt2 (content) unsat unknown 0.079s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1276.smt2 (content) unsat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1275.smt2 (content) unsat unknown 0.044s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1274.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1273.smt2 (content) unsat unknown 0.067s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1272.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1271.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1270.smt2 (content) unsat unknown 0.084s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl127.smt2 (content) unsat unknown 0.383s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1269.smt2 (content) unsat unknown 0.088s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1268.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1267.smt2 (content) unsat unknown 0.064s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1266.smt2 (content) unsat unknown 0.217s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1265.smt2 (content) unsat unknown 0.216s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1264.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1263.smt2 (content) unsat unknown 0.095s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1262.smt2 (content) unsat unknown 0.014s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1261.smt2 (content) unsat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1260.smt2 (content) unsat unknown 0.117s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl126.smt2 (content) unsat unknown 0.107s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1259.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1258.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1257.smt2 (content) unsat unknown 0.143s