detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn200.smt2 (content) unsat unknown 5.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn180.smt2 (content) unsat unknown 9.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn166.smt2 (content) unsat unknown 8.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn159.smt2 (content) unsat unknown 7.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn134.smt2 (content) unsat unknown 9.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn133.smt2 (content) unsat unknown 4.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1326.smt2 (content) unsat unknown 1.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1321.smt2 (content) unsat unknown 22.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1319.smt2 (content) unsat unknown 1.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1315.smt2 (content) unsat unknown 0.934s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1308.smt2 (content) unsat unknown 3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1287.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1280.smt2 (content) unsat unknown 2.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1271.smt2 (content) unsat unknown 3.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1264.smt2 (content) unsat unknown 1.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1263.smt2 (content) unsat unknown 9.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1262.smt2 (content) unsat unknown 4.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1260.smt2 (content) unsat unknown 6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1254.smt2 (content) unsat unknown 3.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1240.smt2 (content) unsat unknown 0.335s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn124.smt2 (content) unsat unknown 3.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1238.smt2 (content) unsat unknown 2.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1233.smt2 (content) unsat unknown 3.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1231.smt2 (content) unsat unknown 6.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1230.smt2 (content) unsat unknown 15.8s