detailed results (481 total)

prover file res expected time
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/413965/gensys_brn_sk007.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413957/gensys_brn016.smt2 (content) timeout sat 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/413949/gensys_brn008.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413948/gensys_brn007.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413947/gensys_brn006.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413945/gensys_brn004.smt2 (content) timeout sat 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/411290/gensys_icl962.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411185/gensys_icl857.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411180/gensys_icl852.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/411177/gensys_icl849.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411176/gensys_icl848.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411174/gensys_icl846.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411171/gensys_icl843.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/411145/gensys_icl817.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/411135/gensys_icl807.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