detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411575/iso_brn1134.smt2 (content) unsat unsat 0.108s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411570/iso_brn113.smt2 (content) unsat unsat 0.059s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411567/iso_brn1127.smt2 (content) unsat unsat 0.076s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411566/iso_brn1126.smt2 (content) unsat unsat 0.100s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411564/iso_brn1124.smt2 (content) unsat unsat 0.168s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411562/iso_brn1122.smt2 (content) unsat unsat 0.073s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411561/iso_brn1121.smt2 (content) unsat unsat 0.123s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411555/iso_brn1116.smt2 (content) unsat unsat 0.102s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411552/iso_brn1113.smt2 (content) unsat unsat 0.046s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411546/iso_brn1108.smt2 (content) unsat unsat 0.087s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411545/iso_brn1107.smt2 (content) unsat unsat 0.156s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411543/iso_brn1105.smt2 (content) unsat unsat 0.133s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411534/iso_brn1097.smt2 (content) unsat unsat 0.128s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411531/iso_brn1094.smt2 (content) unsat unsat 0.123s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411530/iso_brn1093.smt2 (content) unsat unsat 0.178s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411529/iso_brn1092.smt2 (content) unsat unsat 0.101s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411526/iso_brn109.smt2 (content) unsat unsat 0.223s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411522/iso_brn1086.smt2 (content) unsat unsat 0.060s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411520/iso_brn1084.smt2 (content) unsat unsat 0.081s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411518/iso_brn1082.smt2 (content) unsat unsat 0.041s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411516/iso_brn1080.smt2 (content) unsat unsat 0.209s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411514/iso_brn1079.smt2 (content) unsat unsat 0.192s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411513/iso_brn1078.smt2 (content) unsat unsat 0.196s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411510/iso_brn1075.smt2 (content) unsat unsat 0.173s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411505/iso_brn1070.smt2 (content) unsat unsat 0.277s