detailed results (444 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414478/iso_brn_repgen_sk031.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414477/iso_brn_repgen_sk030.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414460/iso_brn_repgen_sk013.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414447/iso_brn_repgen054.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414442/iso_brn_repgen049.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414441/iso_brn_repgen048.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414438/iso_brn_repgen045.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414437/iso_brn_repgen044.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414436/iso_brn_repgen043.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414435/iso_brn_repgen042.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414429/iso_brn_repgen036.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414417/iso_brn_repgen024.smt2 (content) timeout sat 31.1s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414416/iso_brn_repgen023.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414414/iso_brn_repgen021.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414411/iso_brn_repgen018.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414408/iso_brn_repgen015.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414406/iso_brn_repgen013.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414404/iso_brn_repgen011.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414403/iso_brn_repgen010.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414402/iso_brn_repgen009.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414392/iso_brn_nogen_sk018.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414389/iso_brn_nogen_sk015.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414366/iso_brn_nogen011.smt2 (content) timeout sat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414300/gensys_icl_sk004.smt2 (content) timeout unsat 31s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414298/gensys_icl_sk002.smt2 (content) timeout unsat 31s