detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl437.smt2 (content) unsat unknown 8.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl436.smt2 (content) unsat unknown 10.4s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl435.smt2 (content) unsat unknown 5.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl434.smt2 (content) unsat unknown 0.759s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl433.smt2 (content) unsat unknown 3.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl432.smt2 (content) unsat unknown 8.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl431.smt2 (content) unsat unknown 6.6s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl429.smt2 (content) unsat unknown 6.5s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl427.smt2 (content) unsat unknown 9.9s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl425.smt2 (content) unsat unknown 6s
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_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