detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412795/iso_icl1037.smt2 (content) unsat unsat 0.040s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412794/iso_icl1036.smt2 (content) unsat unsat 0.074s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412793/iso_icl1035.smt2 (content) unsat unsat 0.173s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412792/iso_icl1034.smt2 (content) unsat unsat 0.196s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412791/iso_icl1033.smt2 (content) unsat unsat 0.215s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412790/iso_icl1032.smt2 (content) unsat unsat 0.208s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412789/iso_icl1031.smt2 (content) unsat unsat 0.214s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412788/iso_icl1030.smt2 (content) unsat unsat 0.103s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412787/iso_icl103.smt2 (content) unsat unsat 0.371s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412786/iso_icl1029.smt2 (content) unsat unsat 0.218s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412785/iso_icl1028.smt2 (content) unsat unsat 0.240s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412784/iso_icl1027.smt2 (content) unsat unsat 0.239s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412783/iso_icl1026.smt2 (content) unsat unsat 0.114s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412782/iso_icl1025.smt2 (content) unsat unsat 0.257s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412781/iso_icl1024.smt2 (content) unsat unsat 0.133s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412780/iso_icl1023.smt2 (content) unsat unsat 0.127s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412779/iso_icl1022.smt2 (content) unsat unsat 0.338s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412778/iso_icl1021.smt2 (content) unsat unsat 0.229s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412777/iso_icl1020.smt2 (content) unsat unsat 0.199s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412776/iso_icl102.smt2 (content) unsat unsat 0.219s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412775/iso_icl1019.smt2 (content) unsat unsat 0.145s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412774/iso_icl1018.smt2 (content) unsat unsat 0.052s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412773/iso_icl1017.smt2 (content) unsat unsat 0.051s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412772/iso_icl1016.smt2 (content) unsat unsat 0.057s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412771/iso_icl1015.smt2 (content) unsat unsat 0.068s