detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl142.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl141.smt2 (content) unsat unknown 2.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl140.smt2 (content) unsat unknown 16.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl135.smt2 (content) unsat unknown 9.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl133.smt2 (content) unsat unknown 7.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl132.smt2 (content) unsat unknown 5.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl130.smt2 (content) unsat unknown 2.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1283.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1282.smt2 (content) unsat unknown 0.949s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1281.smt2 (content) unsat unknown 0.968s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1280.smt2 (content) unsat unknown 0.518s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1279.smt2 (content) unsat unknown 5.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1278.smt2 (content) unsat unknown 2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1277.smt2 (content) unsat unknown 1.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1276.smt2 (content) unsat unknown 2.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1275.smt2 (content) unsat unknown 29.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1274.smt2 (content) unsat unknown 1.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1273.smt2 (content) unsat unknown 2.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1272.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1271.smt2 (content) unsat unknown 0.899s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1270.smt2 (content) unsat unknown 2.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1269.smt2 (content) unsat unknown 2.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1268.smt2 (content) unsat unknown 1.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1267.smt2 (content) unsat unknown 0.605s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1266.smt2 (content) unsat unknown 3.4s