detailed results (975 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl681.smt2 (content) timeout unknown 12.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl680.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl674.smt2 (content) timeout unknown 11s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl672.smt2 (content) timeout unknown 11.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl670.smt2 (content) timeout unknown 10.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl665.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl664.smt2 (content) timeout unknown 10.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl663.smt2 (content) timeout unknown 21s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl661.smt2 (content) timeout unknown 10.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl660.smt2 (content) timeout unknown 10.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl659.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl658.smt2 (content) timeout unknown 18s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl657.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl656.smt2 (content) timeout unknown 10.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl653.smt2 (content) timeout unknown 10.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl651.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl649.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl648.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl647.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl646.smt2 (content) timeout unknown 18.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl643.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl641.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl640.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl638.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl637.smt2 (content) timeout unknown 10.8s