detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1037.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1036.smt2 (content) unsat unknown 0.123s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1035.smt2 (content) unsat unknown 0.234s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1032.smt2 (content) unsat unknown 0.138s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn103.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1029.smt2 (content) unsat unknown 0.110s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1028.smt2 (content) unsat unknown 0.116s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1027.smt2 (content) unsat unknown 0.100s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1026.smt2 (content) unsat unknown 0.122s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1023.smt2 (content) unsat unknown 0.205s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1022.smt2 (content) unsat unknown 0.234s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1020.smt2 (content) unsat unknown 0.120s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1016.smt2 (content) unsat unknown 0.135s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1014.smt2 (content) unsat unknown 0.120s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1012.smt2 (content) unsat unknown 0.139s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1006.smt2 (content) unsat unknown 0.082s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1005.smt2 (content) unsat unknown 0.158s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1004.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn1002.smt2 (content) unsat unknown 0.059s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn094.smt2 (content) unsat unknown 0.209s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn089.smt2 (content) unsat unknown 0.114s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn087.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn086.smt2 (content) unsat unknown 0.033s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn085.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn084.smt2 (content) unsat unknown 0.114s