detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412920/iso_icl1150.smt2 (content) unsat unsat 0.072s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412919/iso_icl115.smt2 (content) unsat unsat 0.157s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412918/iso_icl1149.smt2 (content) unsat unsat 0.099s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412917/iso_icl1148.smt2 (content) unsat unsat 0.064s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412916/iso_icl1147.smt2 (content) unsat unsat 0.067s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412915/iso_icl1146.smt2 (content) unsat unsat 0.060s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412914/iso_icl1145.smt2 (content) unsat unsat 0.154s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412913/iso_icl1144.smt2 (content) unsat unsat 0.087s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412912/iso_icl1143.smt2 (content) unsat unsat 0.104s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412911/iso_icl1142.smt2 (content) unsat unsat 0.146s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412910/iso_icl1141.smt2 (content) unsat unsat 0.059s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412909/iso_icl1140.smt2 (content) unsat unsat 0.082s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412908/iso_icl114.smt2 (content) unsat unsat 0.126s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412907/iso_icl1139.smt2 (content) unsat unsat 0.147s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412906/iso_icl1138.smt2 (content) unsat unsat 0.064s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412905/iso_icl1137.smt2 (content) unsat unsat 0.058s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412904/iso_icl1136.smt2 (content) unsat unsat 0.066s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412903/iso_icl1135.smt2 (content) unsat unsat 0.037s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412902/iso_icl1134.smt2 (content) unsat unsat 0.051s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412901/iso_icl1133.smt2 (content) unsat unsat 0.037s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412900/iso_icl1132.smt2 (content) unsat unsat 0.039s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412899/iso_icl1131.smt2 (content) unsat unsat 0.051s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412898/iso_icl1130.smt2 (content) unsat unsat 0.071s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412897/iso_icl113.smt2 (content) unsat unsat 0.178s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412896/iso_icl1129.smt2 (content) unsat unsat 0.088s