detailed results (7457 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl424.smt2 (content) unsat unknown 8.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl423.smt2 (content) unsat unknown 5.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl422.smt2 (content) unsat unknown 4.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl421.smt2 (content) unsat unknown 7.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl420.smt2 (content) unsat unknown 1.1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl419.smt2 (content) unsat unknown 0.252s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl418.smt2 (content) unsat unknown 0.133s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl417.smt2 (content) unsat unknown 0.233s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl416.smt2 (content) unsat unknown 0.246s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl415.smt2 (content) unsat unknown 0.418s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl414.smt2 (content) unsat unknown 0.218s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl413.smt2 (content) unsat unknown 1.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl412.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl411.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl410.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl409.smt2 (content) timeout unknown 10.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl408.smt2 (content) timeout unknown 10s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl407.smt2 (content) unsat unknown 0.358s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl406.smt2 (content) unsat unknown 0.714s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl405.smt2 (content) unsat unknown 0.812s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl404.smt2 (content) unsat unknown 0.397s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl403.smt2 (content) unsat unknown 4.8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl402.smt2 (content) unsat unknown 4.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl401.smt2 (content) unsat unknown 4.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl400.smt2 (content) timeout unknown 10s