detailed results (444 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414296/gensys_icl007.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414294/gensys_icl005.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414293/gensys_icl004.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414292/gensys_icl003.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414286/gensys_brn_sk052.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414281/gensys_brn_sk047.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414280/gensys_brn_sk046.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414279/gensys_brn_sk045.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414278/gensys_brn_sk044.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414263/gensys_brn_sk029.smt2 (content) timeout sat 31.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414262/gensys_brn_sk028.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414238/gensys_brn_sk004.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414233/gensys_brn054.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414232/gensys_brn053.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414224/gensys_brn045.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414223/gensys_brn044.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414222/gensys_brn043.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414197/gensys_brn018.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414190/gensys_brn011.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414168/iso_icl_repgen_sk013.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414166/iso_icl_repgen_sk011.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414165/iso_icl_repgen_sk010.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414164/iso_icl_repgen_sk009.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414163/iso_icl_repgen_sk008.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414162/iso_icl_repgen_sk007.smt2 (content) timeout unsat 31s