detailed results (4670 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412862/iso_icl1098.smt2 (content) unsat unsat 0.107s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412861/iso_icl1097.smt2 (content) unsat unsat 0.153s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412860/iso_icl1096.smt2 (content) unsat unsat 0.086s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412859/iso_icl1095.smt2 (content) unsat unsat 0.056s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412858/iso_icl1094.smt2 (content) unsat unsat 0.027s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412857/iso_icl1093.smt2 (content) unsat unsat 0.082s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412856/iso_icl1092.smt2 (content) unsat unsat 0.085s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412855/iso_icl1091.smt2 (content) unsat unsat 0.071s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412854/iso_icl1090.smt2 (content) unsat unsat 0.062s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412853/iso_icl109.smt2 (content) unsat unsat 0.083s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412852/iso_icl1089.smt2 (content) unsat unsat 0.053s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412851/iso_icl1088.smt2 (content) unsat unsat 0.069s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412850/iso_icl1087.smt2 (content) unsat unsat 0.055s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412849/iso_icl1086.smt2 (content) unsat unsat 0.049s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412848/iso_icl1085.smt2 (content) unsat unsat 0.109s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412847/iso_icl1084.smt2 (content) unsat unsat 0.094s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412846/iso_icl1083.smt2 (content) unsat unsat 0.106s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412845/iso_icl1082.smt2 (content) unsat unsat 0.133s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412844/iso_icl1081.smt2 (content) unsat unsat 0.060s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412843/iso_icl1080.smt2 (content) unsat unsat 0.142s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412842/iso_icl108.smt2 (content) unsat unsat 0.229s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412841/iso_icl1079.smt2 (content) unsat unsat 0.090s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412840/iso_icl1078.smt2 (content) unsat unsat 0.151s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412839/iso_icl1077.smt2 (content) unsat unsat 0.129s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412838/iso_icl1076.smt2 (content) unsat unsat 0.224s