detailed results (975 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1187.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1176.smt2 (content) timeout unknown 10.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl117.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1166.smt2 (content) timeout unknown 11.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl115.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl114.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl113.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl112.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl111.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl108.smt2 (content) timeout unknown 10.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1074.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1072.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl107.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1064.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1052.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1050.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl105.smt2 (content) timeout unknown 10.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1047.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1035.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1034.smt2 (content) timeout unknown 10.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1032.smt2 (content) timeout unknown 11.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1031.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl103.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1029.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl1028.smt2 (content) timeout unknown 10s