detailed results (975 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn819.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn806.smt2 (content) timeout unknown 16.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn805.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn795.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn755.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn732.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn723.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn696.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn638.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn634.smt2 (content) timeout unknown 11.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn624.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn622.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn591.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn565.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn557.smt2 (content) timeout unknown 10.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn436.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn435.smt2 (content) timeout unknown 14.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn421.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn420.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn412.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn376.smt2 (content) timeout unknown 11.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) timeout unknown 10.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn348.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn342.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn339.smt2 (content) timeout unknown 10s