detailed results (4670 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412937/iso_icl1166.smt2 (content) unsat unsat 0.177s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412936/iso_icl1165.smt2 (content) unsat unsat 0.081s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412935/iso_icl1164.smt2 (content) unsat unsat 0.119s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412934/iso_icl1163.smt2 (content) unsat unsat 0.115s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412933/iso_icl1162.smt2 (content) unsat unsat 0.175s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412932/iso_icl1161.smt2 (content) unsat unsat 0.140s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412931/iso_icl1160.smt2 (content) unsat unsat 0.188s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412930/iso_icl116.smt2 (content) unsat unsat 0.183s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412929/iso_icl1159.smt2 (content) unsat unsat 0.133s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412928/iso_icl1158.smt2 (content) unsat unsat 0.152s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412927/iso_icl1157.smt2 (content) unsat unsat 0.210s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412926/iso_icl1156.smt2 (content) unsat unsat 0.170s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412925/iso_icl1155.smt2 (content) unsat unsat 0.164s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412924/iso_icl1154.smt2 (content) unsat unsat 0.144s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412923/iso_icl1153.smt2 (content) unsat unsat 0.114s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412922/iso_icl1152.smt2 (content) unsat unsat 0.103s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412921/iso_icl1151.smt2 (content) unsat unsat 0.050s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412920/iso_icl1150.smt2 (content) unsat unsat 0.101s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412919/iso_icl115.smt2 (content) unsat unsat 0.142s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412918/iso_icl1149.smt2 (content) unsat unsat 0.098s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412917/iso_icl1148.smt2 (content) unsat unsat 0.066s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412916/iso_icl1147.smt2 (content) unsat unsat 0.060s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412915/iso_icl1146.smt2 (content) unsat unsat 0.061s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412914/iso_icl1145.smt2 (content) unsat unsat 0.155s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412913/iso_icl1144.smt2 (content) unsat unsat 0.090s