detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn788.smt2 (content) unsat unknown 0.254s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn787.smt2 (content) unsat unknown 0.079s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn783.smt2 (content) unsat unknown 0.143s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn782.smt2 (content) unsat unknown 0.086s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn776.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn774.smt2 (content) unsat unknown 0.128s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn767.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn765.smt2 (content) unsat unknown 0.130s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn764.smt2 (content) unsat unknown 0.300s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn763.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn762.smt2 (content) unsat unknown 0.111s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn751.smt2 (content) unsat unknown 0.084s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn750.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn749.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn746.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn745.smt2 (content) unsat unknown 0.077s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn743.smt2 (content) unsat unknown 0.221s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn740.smt2 (content) unsat unknown 0.142s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn739.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn733.smt2 (content) unsat unknown 0.119s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn726.smt2 (content) unsat unknown 0.072s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn725.smt2 (content) unsat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn717.smt2 (content) unsat unknown 0.212s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn711.smt2 (content) unsat unknown 0.211s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn704.smt2 (content) unsat unknown 0.071s