detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1174.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1172.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn117.smt2 (content) unsat unknown 0.200s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1168.smt2 (content) unsat unknown 0.048s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn116.smt2 (content) unsat unknown 0.101s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1147.smt2 (content) unsat unknown 0.058s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1144.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1143.smt2 (content) unsat unknown 0.600s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1141.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1140.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn114.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1139.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1137.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1135.smt2 (content) unsat unknown 0.048s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1134.smt2 (content) unsat unknown 0.063s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn113.smt2 (content) unsat unknown 0.040s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1127.smt2 (content) unsat unknown 0.141s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1126.smt2 (content) unsat unknown 0.100s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1124.smt2 (content) unsat unknown 0.107s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1122.smt2 (content) unsat unknown 0.039s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1121.smt2 (content) unsat unknown 0.077s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1116.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1113.smt2 (content) unsat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1108.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1107.smt2 (content) unsat unknown 0.094s