detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413045/iso_icl1264.smt2 (content) unsat unsat 0.077s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413044/iso_icl1263.smt2 (content) unsat unsat 0.107s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413043/iso_icl1262.smt2 (content) unsat unsat 0.024s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413042/iso_icl1261.smt2 (content) unsat unsat 0.053s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413041/iso_icl1260.smt2 (content) unsat unsat 0.230s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413040/iso_icl126.smt2 (content) unsat unsat 0.131s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413039/iso_icl1259.smt2 (content) unsat unsat 0.098s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413038/iso_icl1258.smt2 (content) unsat unsat 0.124s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413037/iso_icl1257.smt2 (content) unsat unsat 0.196s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413036/iso_icl1256.smt2 (content) unsat unsat 0.135s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413035/iso_icl1255.smt2 (content) unsat unsat 0.211s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413034/iso_icl1254.smt2 (content) unsat unsat 0.181s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413033/iso_icl1253.smt2 (content) unsat unsat 0.145s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413032/iso_icl1252.smt2 (content) unsat unsat 0.095s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413031/iso_icl1251.smt2 (content) unsat unsat 0.130s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413030/iso_icl1250.smt2 (content) unsat unsat 0.066s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413029/iso_icl125.smt2 (content) unsat unsat 0.303s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413028/iso_icl1249.smt2 (content) unsat unsat 0.097s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413027/iso_icl1248.smt2 (content) unsat unsat 0.112s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413026/iso_icl1247.smt2 (content) unsat unsat 0.101s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413025/iso_icl1246.smt2 (content) unsat unsat 0.053s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413024/iso_icl1245.smt2 (content) unsat unsat 0.063s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413023/iso_icl1244.smt2 (content) unsat unsat 0.057s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413022/iso_icl1243.smt2 (content) unsat unsat 0.038s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413021/iso_icl1242.smt2 (content) unsat unsat 0.048s