detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413772/iso_icl834.smt2 (content) unsat unsat 0.408s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413771/iso_icl833.smt2 (content) unsat unsat 0.351s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413770/iso_icl832.smt2 (content) unsat unsat 0.175s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413769/iso_icl831.smt2 (content) unsat unsat 0.226s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413768/iso_icl830.smt2 (content) unsat unsat 0.321s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413767/iso_icl829.smt2 (content) unsat unsat 0.246s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413766/iso_icl828.smt2 (content) unsat unsat 0.352s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413765/iso_icl827.smt2 (content) unsat unsat 0.165s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413764/iso_icl826.smt2 (content) unsat unsat 0.166s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413763/iso_icl825.smt2 (content) unsat unsat 0.134s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413762/iso_icl824.smt2 (content) unsat unsat 0.189s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413761/iso_icl823.smt2 (content) unsat unsat 0.295s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413760/iso_icl822.smt2 (content) unsat unsat 0.187s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413759/iso_icl821.smt2 (content) unsat unsat 0.203s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413758/iso_icl820.smt2 (content) unsat unsat 0.209s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413757/iso_icl819.smt2 (content) unsat unsat 0.162s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413756/iso_icl818.smt2 (content) unsat unsat 0.456s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413755/iso_icl817.smt2 (content) unsat unsat 0.356s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413754/iso_icl816.smt2 (content) unsat unsat 0.412s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413753/iso_icl815.smt2 (content) unsat unsat 0.377s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413752/iso_icl814.smt2 (content) unsat unsat 0.217s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413751/iso_icl813.smt2 (content) unsat unsat 0.293s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413750/iso_icl812.smt2 (content) unsat unsat 0.240s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413749/iso_icl811.smt2 (content) unsat unsat 0.174s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413748/iso_icl810.smt2 (content) unsat unsat 0.167s