detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414598/iso_icl_sk006.smt2 (content) unsat unsat 0.163s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414597/iso_icl_sk005.smt2 (content) unsat unsat 0.380s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414596/iso_icl_sk004.smt2 (content) unsat unsat 0.821s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414595/iso_icl_sk003.smt2 (content) unsat unsat 1.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414594/iso_icl_sk002.smt2 (content) unsat unsat 1.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414593/iso_icl_sk001.smt2 (content) unsat unsat 0.723s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414584/iso_icl_repgen006.smt2 (content) unsat unsat 14.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414577/iso_icl_nogen_sk006.smt2 (content) unsat unsat 2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414570/iso_icl_nogen006.smt2 (content) unsat unsat 1.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414564/iso_icl007.smt2 (content) unsat unsat 0.160s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414563/iso_icl006.smt2 (content) unsat unsat 0.125s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414562/iso_icl005.smt2 (content) unsat unsat 0.187s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414561/iso_icl004.smt2 (content) unsat unsat 0.209s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414560/iso_icl003.smt2 (content) unsat unsat 1.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414559/iso_icl002.smt2 (content) unsat unsat 1.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414558/iso_icl001.smt2 (content) unsat unsat 0.396s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414556/iso_brn_sk054.smt2 (content) unsat unsat 1.5s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414549/iso_brn_sk047.smt2 (content) unsat unsat 1.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414546/iso_brn_sk044.smt2 (content) unsat unsat 24.6s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414545/iso_brn_sk043.smt2 (content) unsat unsat 6.7s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414542/iso_brn_sk040.smt2 (content) unsat unsat 1.2s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414541/iso_brn_sk039.smt2 (content) unsat unsat 3.3s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414540/iso_brn_sk038.smt2 (content) unsat unsat 0.874s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414539/iso_brn_sk037.smt2 (content) unsat unsat 1.9s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg7/414538/iso_brn_sk036.smt2 (content) unsat unsat 0.221s