detailed results (395 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414303/gensys_icl_sk007.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414296/gensys_icl007.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414294/gensys_icl005.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414290/gensys_icl001.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414282/gensys_brn_sk048.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414266/gensys_brn_sk032.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414263/gensys_brn_sk029.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414249/gensys_brn_sk015.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414248/gensys_brn_sk014.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414246/gensys_brn_sk012.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414238/gensys_brn_sk004.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414233/gensys_brn054.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414227/gensys_brn048.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414226/gensys_brn047.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414202/gensys_brn023.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414197/gensys_brn018.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414152/iso_icl_repgen010.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414150/iso_icl_repgen008.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414141/iso_icl_nogen_sk012.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414140/iso_icl_nogen_sk011.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414136/iso_icl_nogen_sk007.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414134/iso_icl_nogen_sk005.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414131/iso_icl_nogen_sk002.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414125/iso_icl_nogen009.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg6/414124/iso_icl_nogen008.smt2 (content) timeout unsat 31s