detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn323.smt2 (content) unsat unknown 2.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn321.smt2 (content) unsat unknown 4.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn318.smt2 (content) unsat unknown 2.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn311.smt2 (content) unsat unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn291.smt2 (content) unsat unknown 3.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn288.smt2 (content) unsat unknown 1.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn284.smt2 (content) unsat unknown 0.469s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn283.smt2 (content) unsat unknown 1.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn279.smt2 (content) unsat unknown 6.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn276.smt2 (content) unsat unknown 0.910s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn272.smt2 (content) unsat unknown 2.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn270.smt2 (content) unsat unknown 0.927s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn268.smt2 (content) unsat unknown 5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn267.smt2 (content) unsat unknown 5.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn265.smt2 (content) unsat unknown 12.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn264.smt2 (content) unsat unknown 10.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn261.smt2 (content) unsat unknown 7.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn253.smt2 (content) unsat unknown 4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn248.smt2 (content) unsat unknown 2.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn244.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn243.smt2 (content) unsat unknown 2.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn238.smt2 (content) unsat unknown 8.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn225.smt2 (content) unsat unknown 0.416s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn220.smt2 (content) unsat unknown 1.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn209.smt2 (content) unsat unknown 1.5s