detailed results (4695 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411614/iso_brn117.smt2 (content) unsat unsat 0.191s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411612/iso_brn1168.smt2 (content) unsat unsat 0.083s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411603/iso_brn116.smt2 (content) unsat unsat 0.128s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411589/iso_brn1147.smt2 (content) unsat unsat 0.112s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411586/iso_brn1144.smt2 (content) unsat unsat 0.063s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411585/iso_brn1143.smt2 (content) unsat unsat 0.076s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411583/iso_brn1141.smt2 (content) unsat unsat 0.063s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411582/iso_brn1140.smt2 (content) unsat unsat 0.052s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411581/iso_brn114.smt2 (content) unsat unsat 0.071s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411580/iso_brn1139.smt2 (content) unsat unsat 0.043s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411578/iso_brn1137.smt2 (content) unsat unsat 0.120s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411576/iso_brn1135.smt2 (content) unsat unsat 0.076s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411575/iso_brn1134.smt2 (content) unsat unsat 0.103s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411570/iso_brn113.smt2 (content) unsat unsat 0.056s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411567/iso_brn1127.smt2 (content) unsat unsat 0.075s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411566/iso_brn1126.smt2 (content) unsat unsat 0.088s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411564/iso_brn1124.smt2 (content) unsat unsat 0.138s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411562/iso_brn1122.smt2 (content) unsat unsat 0.069s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411561/iso_brn1121.smt2 (content) unsat unsat 0.110s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411555/iso_brn1116.smt2 (content) unsat unsat 0.092s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411552/iso_brn1113.smt2 (content) unsat unsat 0.045s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411546/iso_brn1108.smt2 (content) unsat unsat 0.096s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411545/iso_brn1107.smt2 (content) unsat unsat 0.158s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411543/iso_brn1105.smt2 (content) unsat unsat 0.125s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411534/iso_brn1097.smt2 (content) unsat unsat 0.117s