detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412872/iso_icl1107.smt2 (content) unsat unsat 0.281s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412871/iso_icl1106.smt2 (content) unsat unsat 0.112s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412870/iso_icl1105.smt2 (content) unsat unsat 0.239s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412869/iso_icl1104.smt2 (content) unsat unsat 0.162s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412868/iso_icl1103.smt2 (content) unsat unsat 0.106s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412867/iso_icl1102.smt2 (content) unsat unsat 0.113s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412866/iso_icl1101.smt2 (content) unsat unsat 0.127s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412865/iso_icl1100.smt2 (content) unsat unsat 0.103s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412864/iso_icl110.smt2 (content) unsat unsat 0.117s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412863/iso_icl1099.smt2 (content) unsat unsat 0.159s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412862/iso_icl1098.smt2 (content) unsat unsat 0.115s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412861/iso_icl1097.smt2 (content) unsat unsat 0.149s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412860/iso_icl1096.smt2 (content) unsat unsat 0.097s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412859/iso_icl1095.smt2 (content) unsat unsat 0.061s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412858/iso_icl1094.smt2 (content) unsat unsat 0.028s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412857/iso_icl1093.smt2 (content) unsat unsat 0.083s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412856/iso_icl1092.smt2 (content) unsat unsat 0.077s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412855/iso_icl1091.smt2 (content) unsat unsat 0.062s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412854/iso_icl1090.smt2 (content) unsat unsat 0.068s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412853/iso_icl109.smt2 (content) unsat unsat 0.088s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412852/iso_icl1089.smt2 (content) unsat unsat 0.049s
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.051s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412848/iso_icl1085.smt2 (content) unsat unsat 0.120s