detailed results (7457 total)

prover file res expected time
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
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1256.smt2 (content) unsat unknown 0.077s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1255.smt2 (content) unsat unknown 0.106s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1254.smt2 (content) unsat unknown 0.100s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1253.smt2 (content) unsat unknown 0.088s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1252.smt2 (content) unsat unknown 0.056s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1251.smt2 (content) unsat unknown 0.093s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1250.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl125.smt2 (content) unsat unknown 0.220s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl1249.smt2 (content) unsat unknown 0.162s