detailed results (444 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413988/gensys_icl013.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413987/gensys_icl012.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413975/gensys_brn_sk017.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413966/gensys_brn_sk008.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413958/gensys_brn017.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413956/gensys_brn015.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413952/gensys_brn011.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413951/gensys_brn010.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413941/dead_dnd_sk002.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413940/dead_dnd_sk001.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413939/dead_dnd002.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411306/gensys_icl978.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411302/gensys_icl974.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411277/gensys_icl949.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411272/gensys_icl944.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411271/gensys_icl943.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411179/gensys_icl851.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411163/gensys_icl835.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411160/gensys_icl832.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411159/gensys_icl831.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411148/gensys_icl820.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411143/gensys_icl815.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411138/gensys_icl810.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411134/gensys_icl806.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411132/gensys_icl804.smt2 (content) timeout unsat 31s