detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412052/iso_brn397.smt2 (content) unsat unsat 0.081s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412046/iso_brn391.smt2 (content) unsat unsat 0.026s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412043/iso_brn388.smt2 (content) unsat unsat 0.056s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412042/iso_brn387.smt2 (content) unsat unsat 0.119s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412041/iso_brn386.smt2 (content) unsat unsat 0.164s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412040/iso_brn385.smt2 (content) unsat unsat 0.164s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412039/iso_brn384.smt2 (content) unsat unsat 0.154s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412035/iso_brn380.smt2 (content) unsat unsat 0.122s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412034/iso_brn379.smt2 (content) unsat unsat 0.110s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412027/iso_brn372.smt2 (content) unsat unsat 0.073s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412024/iso_brn369.smt2 (content) unsat unsat 0.133s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412018/iso_brn363.smt2 (content) unsat unsat 0.135s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412017/iso_brn362.smt2 (content) unsat unsat 0.155s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412008/iso_brn353.smt2 (content) unsat unsat 0.168s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412006/iso_brn351.smt2 (content) unsat unsat 0.199s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412001/iso_brn346.smt2 (content) unsat unsat 0.200s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412000/iso_brn345.smt2 (content) unsat unsat 0.032s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411999/iso_brn344.smt2 (content) unsat unsat 0.178s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411996/iso_brn341.smt2 (content) unsat unsat 0.154s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411988/iso_brn333.smt2 (content) unsat unsat 0.160s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411986/iso_brn331.smt2 (content) unsat unsat 0.159s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411977/iso_brn322.smt2 (content) unsat unsat 0.152s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411972/iso_brn317.smt2 (content) unsat unsat 0.129s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411971/iso_brn316.smt2 (content) unsat unsat 0.216s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411970/iso_brn315.smt2 (content) unsat unsat 0.156s