detailed results (975 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl759.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl758.smt2 (content) timeout unknown 18.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl757.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl754.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl753.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl752.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl748.smt2 (content) timeout unknown 11.0s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl737.smt2 (content) timeout unknown 19.7s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl734.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl730.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl728.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl727.smt2 (content) timeout unknown 14.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl722.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl718.smt2 (content) timeout unknown 20.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl712.smt2 (content) timeout unknown 10.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl711.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl705.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl702.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl701.smt2 (content) timeout unknown 12.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl700.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl694.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl691.smt2 (content) timeout unknown 11.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl685.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl684.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl682.smt2 (content) timeout unknown 14.9s