detailed results (975 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl375.smt2 (content) timeout unknown 10.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl374.smt2 (content) timeout unknown 19s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl372.smt2 (content) timeout unknown 10.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl368.smt2 (content) timeout unknown 21.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl366.smt2 (content) timeout unknown 15.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl365.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl362.smt2 (content) timeout unknown 11.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl352.smt2 (content) timeout unknown 11.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl349.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl348.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl347.smt2 (content) timeout unknown 11.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl343.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl342.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl340.smt2 (content) timeout unknown 11.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl332.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl329.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl328.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl327.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl326.smt2 (content) timeout unknown 11.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl325.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl324.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl323.smt2 (content) timeout unknown 10.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl322.smt2 (content) timeout unknown 12.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl320.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl317.smt2 (content) timeout unknown 11.9s