detailed results (373 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414604/SEQ005_size7.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414591/iso_icl_repgen_sk006.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414584/iso_icl_repgen006.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414576/iso_icl_nogen_sk005.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414575/iso_icl_nogen_sk004.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414573/iso_icl_nogen_sk002.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414572/iso_icl_nogen_sk001.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414568/iso_icl_nogen004.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414565/iso_icl_nogen001.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414500/iso_brn_repgen_sk053.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414496/iso_brn_repgen_sk049.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414482/iso_brn_repgen_sk035.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414478/iso_brn_repgen_sk031.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414467/iso_brn_repgen_sk020.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414452/iso_brn_repgen_sk005.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414436/iso_brn_repgen043.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414426/iso_brn_repgen033.smt2 (content) timeout sat 31.1s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414416/iso_brn_repgen023.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414407/iso_brn_repgen014.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414396/iso_brn_repgen003.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414391/iso_brn_nogen_sk017.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414389/iso_brn_nogen_sk015.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414378/iso_brn_nogen_sk004.smt2 (content) timeout sat 31s
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/414298/gensys_icl_sk002.smt2 (content) timeout unsat 31s