detailed results (975 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl316.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl314.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl307.smt2 (content) timeout unknown 12.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl306.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl305.smt2 (content) timeout unknown 12.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl304.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl303.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl301.smt2 (content) timeout unknown 20.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl300.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl298.smt2 (content) timeout unknown 10.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl296.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl294.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl293.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl292.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl256.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl252.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl248.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl233.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl202.smt2 (content) timeout unknown 10.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl201.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl199.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl198.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl197.smt2 (content) timeout unknown 10.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl196.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl195.smt2 (content) timeout unknown 10.1s