detailed results (395 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414606/SEQ005_size9.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/SEQ/414605/SEQ005_size8.smt2 (content) timeout unsat 31s
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/414583/iso_icl_repgen005.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414579/iso_icl_repgen001.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/414574/iso_icl_nogen_sk003.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414571/iso_icl_nogen007.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/414567/iso_icl_nogen003.smt2 (content) timeout unsat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414566/iso_icl_nogen002.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/414452/iso_brn_repgen_sk005.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414441/iso_brn_repgen048.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414437/iso_brn_repgen044.smt2 (content) timeout sat 31s
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/414402/iso_brn_repgen009.smt2 (content) timeout sat 31s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414392/iso_brn_nogen_sk018.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/414373/iso_brn_nogen018.smt2 (content) timeout sat 31s