detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413372/iso_icl434.smt2 (content) unsat unsat 0.065s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413371/iso_icl433.smt2 (content) unsat unsat 0.072s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413370/iso_icl432.smt2 (content) unsat unsat 0.094s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413369/iso_icl431.smt2 (content) unsat unsat 0.123s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413368/iso_icl430.smt2 (content) unsat unsat 0.209s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413367/iso_icl429.smt2 (content) unsat unsat 0.163s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413366/iso_icl428.smt2 (content) unsat unsat 0.150s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413365/iso_icl427.smt2 (content) unsat unsat 0.221s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413364/iso_icl426.smt2 (content) unsat unsat 0.197s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413363/iso_icl425.smt2 (content) unsat unsat 0.152s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413362/iso_icl424.smt2 (content) unsat unsat 0.049s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413361/iso_icl423.smt2 (content) unsat unsat 0.169s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413360/iso_icl422.smt2 (content) unsat unsat 0.062s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413359/iso_icl421.smt2 (content) unsat unsat 0.091s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413358/iso_icl420.smt2 (content) unsat unsat 0.032s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413357/iso_icl419.smt2 (content) unsat unsat 0.043s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413356/iso_icl418.smt2 (content) unsat unsat 0.044s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413355/iso_icl417.smt2 (content) unsat unsat 0.062s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413354/iso_icl416.smt2 (content) unsat unsat 0.030s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413353/iso_icl415.smt2 (content) unsat unsat 0.032s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413352/iso_icl414.smt2 (content) unsat unsat 0.033s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413351/iso_icl413.smt2 (content) unsat unsat 0.040s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413350/iso_icl412.smt2 (content) unsat unsat 0.178s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413349/iso_icl411.smt2 (content) unsat unsat 0.170s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413348/iso_icl410.smt2 (content) unsat unsat 0.097s