detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.163s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412008/iso_brn353.smt2 (content) unsat unsat 0.199s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412006/iso_brn351.smt2 (content) unsat unsat 0.233s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412001/iso_brn346.smt2 (content) unsat unsat 0.223s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412000/iso_brn345.smt2 (content) unsat unsat 0.033s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411999/iso_brn344.smt2 (content) unsat unsat 0.202s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411996/iso_brn341.smt2 (content) unsat unsat 0.174s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411988/iso_brn333.smt2 (content) unsat unsat 0.167s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411986/iso_brn331.smt2 (content) unsat unsat 0.229s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411977/iso_brn322.smt2 (content) unsat unsat 0.168s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411972/iso_brn317.smt2 (content) unsat unsat 0.147s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411971/iso_brn316.smt2 (content) unsat unsat 0.223s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411970/iso_brn315.smt2 (content) unsat unsat 0.156s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411969/iso_brn314.smt2 (content) unsat unsat 0.220s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411968/iso_brn313.smt2 (content) unsat unsat 0.194s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411964/iso_brn309.smt2 (content) unsat unsat 0.223s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411962/iso_brn307.smt2 (content) unsat unsat 0.155s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411960/iso_brn305.smt2 (content) unsat unsat 0.214s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411947/iso_brn292.smt2 (content) unsat unsat 0.083s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411945/iso_brn290.smt2 (content) unsat unsat 0.133s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411942/iso_brn287.smt2 (content) unsat unsat 0.123s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411940/iso_brn285.smt2 (content) unsat unsat 0.060s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411937/iso_brn282.smt2 (content) unsat unsat 0.095s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411936/iso_brn281.smt2 (content) unsat unsat 0.072s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411935/iso_brn280.smt2 (content) unsat unsat 0.080s