detailed results (395 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414123/iso_icl_nogen007.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414121/iso_icl_nogen005.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414119/iso_icl_nogen003.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414066/iso_brn_repgen014.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414059/iso_brn_repgen007.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414032/iso_brn_nogen014.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414023/iso_brn_nogen005.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413998/gensys_icl_sk010.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413995/gensys_icl_sk007.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413993/gensys_icl_sk005.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413992/gensys_icl_sk004.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413991/gensys_icl_sk003.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413987/gensys_icl012.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413985/gensys_icl010.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413980/gensys_icl005.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413975/gensys_brn_sk017.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413944/gensys_brn003.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/413939/dead_dnd002.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411272/gensys_icl944.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411271/gensys_icl943.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411185/gensys_icl857.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411178/gensys_icl850.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411176/gensys_icl848.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411174/gensys_icl846.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411159/gensys_icl831.smt2 (content) timeout unsat 31s