detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411501/iso_brn1067.smt2 (content) unsat unsat 0.110s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411494/iso_brn1060.smt2 (content) unsat unsat 0.064s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411493/iso_brn106.smt2 (content) unsat unsat 0.088s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411492/iso_brn1059.smt2 (content) unsat unsat 0.047s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411491/iso_brn1058.smt2 (content) unsat unsat 0.070s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411488/iso_brn1055.smt2 (content) unsat unsat 0.089s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411481/iso_brn1049.smt2 (content) unsat unsat 0.328s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411479/iso_brn1047.smt2 (content) unsat unsat 0.149s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411471/iso_brn104.smt2 (content) unsat unsat 0.134s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411468/iso_brn1037.smt2 (content) unsat unsat 0.037s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411467/iso_brn1036.smt2 (content) unsat unsat 0.282s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411466/iso_brn1035.smt2 (content) unsat unsat 0.269s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411463/iso_brn1032.smt2 (content) unsat unsat 0.202s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411460/iso_brn103.smt2 (content) unsat unsat 0.131s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411459/iso_brn1029.smt2 (content) unsat unsat 0.163s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411458/iso_brn1028.smt2 (content) unsat unsat 0.151s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411457/iso_brn1027.smt2 (content) unsat unsat 0.193s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411456/iso_brn1026.smt2 (content) unsat unsat 0.209s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411453/iso_brn1023.smt2 (content) unsat unsat 0.185s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411452/iso_brn1022.smt2 (content) unsat unsat 0.195s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411450/iso_brn1020.smt2 (content) unsat unsat 0.152s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411445/iso_brn1016.smt2 (content) unsat unsat 0.219s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411443/iso_brn1014.smt2 (content) unsat unsat 0.197s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411441/iso_brn1012.smt2 (content) unsat unsat 0.252s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411434/iso_brn1006.smt2 (content) unsat unsat 0.172s