detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412401/iso_brn746.smt2 (content) unsat unsat 0.121s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412400/iso_brn745.smt2 (content) unsat unsat 0.167s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412398/iso_brn743.smt2 (content) unsat unsat 0.172s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412395/iso_brn740.smt2 (content) unsat unsat 0.277s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412394/iso_brn739.smt2 (content) unsat unsat 0.146s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412388/iso_brn733.smt2 (content) unsat unsat 0.194s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412381/iso_brn726.smt2 (content) unsat unsat 0.123s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412380/iso_brn725.smt2 (content) unsat unsat 0.094s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412372/iso_brn717.smt2 (content) unsat unsat 0.250s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412366/iso_brn711.smt2 (content) unsat unsat 0.179s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412359/iso_brn704.smt2 (content) unsat unsat 0.198s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412358/iso_brn703.smt2 (content) unsat unsat 0.183s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412357/iso_brn702.smt2 (content) unsat unsat 0.098s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412356/iso_brn701.smt2 (content) unsat unsat 0.159s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412350/iso_brn695.smt2 (content) unsat unsat 0.322s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412346/iso_brn691.smt2 (content) unsat unsat 0.133s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412344/iso_brn689.smt2 (content) unsat unsat 0.195s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412342/iso_brn687.smt2 (content) unsat unsat 0.315s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412338/iso_brn683.smt2 (content) unsat unsat 0.154s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412334/iso_brn679.smt2 (content) unsat unsat 0.119s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412332/iso_brn677.smt2 (content) unsat unsat 0.178s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412330/iso_brn675.smt2 (content) unsat unsat 0.181s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412329/iso_brn674.smt2 (content) unsat unsat 0.144s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412328/iso_brn673.smt2 (content) unsat unsat 0.259s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412325/iso_brn670.smt2 (content) unsat unsat 0.120s