detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn448.smt2 (content) unsat unknown 0.768s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn447.smt2 (content) unsat unknown 0.546s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn444.smt2 (content) unsat unknown 8.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn442.smt2 (content) unsat unknown 6.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn434.smt2 (content) unsat unknown 6.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn433.smt2 (content) unsat unknown 6.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn428.smt2 (content) unsat unknown 0.105s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn427.smt2 (content) unsat unknown 0.250s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn425.smt2 (content) unsat unknown 0.607s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn417.smt2 (content) unsat unknown 0.526s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn415.smt2 (content) unsat unknown 18.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn410.smt2 (content) unsat unknown 0.513s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn407.smt2 (content) unsat unknown 1.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn406.smt2 (content) unsat unknown 1.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn396.smt2 (content) unsat unknown 1.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn395.smt2 (content) unsat unknown 1.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn393.smt2 (content) unsat unknown 2.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn392.smt2 (content) unsat unknown 2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn378.smt2 (content) unsat unknown 9.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn373.smt2 (content) unsat unknown 6.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn368.smt2 (content) unsat unknown 2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn367.smt2 (content) unsat unknown 2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn365.smt2 (content) unsat unknown 6.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn360.smt2 (content) unsat unknown 6.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn332.smt2 (content) unsat unknown 8.8s