detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412822/iso_icl1061.smt2 (content) unsat unsat 0.065s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412821/iso_icl1060.smt2 (content) unsat unsat 0.128s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412820/iso_icl106.smt2 (content) unsat unsat 0.120s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412819/iso_icl1059.smt2 (content) unsat unsat 0.106s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412818/iso_icl1058.smt2 (content) unsat unsat 0.063s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412817/iso_icl1057.smt2 (content) unsat unsat 0.117s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412816/iso_icl1056.smt2 (content) unsat unsat 0.112s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412815/iso_icl1055.smt2 (content) unsat unsat 0.256s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412814/iso_icl1054.smt2 (content) unsat unsat 0.059s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412813/iso_icl1053.smt2 (content) unsat unsat 0.179s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412812/iso_icl1052.smt2 (content) unsat unsat 0.161s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412811/iso_icl1051.smt2 (content) unsat unsat 0.234s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412810/iso_icl1050.smt2 (content) unsat unsat 0.190s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412809/iso_icl105.smt2 (content) unsat unsat 0.210s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412808/iso_icl1049.smt2 (content) unsat unsat 0.104s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412807/iso_icl1048.smt2 (content) unsat unsat 0.111s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412806/iso_icl1047.smt2 (content) unsat unsat 0.121s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412805/iso_icl1046.smt2 (content) unsat unsat 0.096s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412804/iso_icl1045.smt2 (content) unsat unsat 0.106s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412803/iso_icl1044.smt2 (content) unsat unsat 0.055s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412802/iso_icl1043.smt2 (content) unsat unsat 0.079s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412801/iso_icl1042.smt2 (content) unsat unsat 0.073s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412800/iso_icl1041.smt2 (content) unsat unsat 0.046s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412799/iso_icl1040.smt2 (content) unsat unsat 0.067s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412798/iso_icl104.smt2 (content) unsat unsat 0.045s