detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413047/iso_icl1266.smt2 (content) unsat unsat 0.104s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413046/iso_icl1265.smt2 (content) unsat unsat 0.083s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413045/iso_icl1264.smt2 (content) unsat unsat 0.067s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413044/iso_icl1263.smt2 (content) unsat unsat 0.107s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413043/iso_icl1262.smt2 (content) unsat unsat 0.026s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413042/iso_icl1261.smt2 (content) unsat unsat 0.053s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413041/iso_icl1260.smt2 (content) unsat unsat 0.225s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413040/iso_icl126.smt2 (content) unsat unsat 0.127s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413039/iso_icl1259.smt2 (content) unsat unsat 0.095s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413038/iso_icl1258.smt2 (content) unsat unsat 0.163s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413037/iso_icl1257.smt2 (content) unsat unsat 0.200s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413036/iso_icl1256.smt2 (content) unsat unsat 0.134s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413035/iso_icl1255.smt2 (content) unsat unsat 0.195s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413034/iso_icl1254.smt2 (content) unsat unsat 0.187s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413033/iso_icl1253.smt2 (content) unsat unsat 0.153s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413032/iso_icl1252.smt2 (content) unsat unsat 0.105s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413031/iso_icl1251.smt2 (content) unsat unsat 0.184s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413030/iso_icl1250.smt2 (content) unsat unsat 0.067s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413029/iso_icl125.smt2 (content) unsat unsat 0.290s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413028/iso_icl1249.smt2 (content) unsat unsat 0.098s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413027/iso_icl1248.smt2 (content) unsat unsat 0.122s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413026/iso_icl1247.smt2 (content) unsat unsat 0.103s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413025/iso_icl1246.smt2 (content) unsat unsat 0.054s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413024/iso_icl1245.smt2 (content) unsat unsat 0.074s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413023/iso_icl1244.smt2 (content) unsat unsat 0.062s