detailed results (975 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn338.smt2 (content) timeout unknown 11.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn326.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn325.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn206.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn163.smt2 (content) timeout unknown 10.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn132.smt2 (content) timeout unknown 20.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn131.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1301.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn115.smt2 (content) timeout unknown 11.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1149.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1073.smt2 (content) timeout unknown 11.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1071.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) timeout unknown 10.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1041.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1025.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn095.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn093.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn091.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn088.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/dead_dnd048.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/dead_dnd043.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/dead_dnd037.smt2 (content) timeout unknown 10.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/dead_dnd036.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/dead_dnd035.smt2 (content) timeout unknown 35.2s