detailed results (3632 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn934.smt2 (content) unsat unknown 0.336s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn928.smt2 (content) unsat unknown 0.112s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn925.smt2 (content) unsat unknown 0.110s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn924.smt2 (content) unsat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn923.smt2 (content) unsat unknown 0.066s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn922.smt2 (content) unsat unknown 0.045s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn921.smt2 (content) unsat unknown 0.133s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn917.smt2 (content) unsat unknown 0.106s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn912.smt2 (content) unsat unknown 0.142s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn911.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn909.smt2 (content) unsat unknown 0.075s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn907.smt2 (content) unsat unknown 0.069s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn906.smt2 (content) unsat unknown 0.083s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn894.smt2 (content) unsat unknown 0.108s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn890.smt2 (content) unsat unknown 0.358s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn889.smt2 (content) unsat unknown 0.273s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn879.smt2 (content) unsat unknown 0.125s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn877.smt2 (content) unsat unknown 0.074s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn866.smt2 (content) unsat unknown 0.186s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn864.smt2 (content) unsat unknown 0.135s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn859.smt2 (content) unsat unknown 0.511s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn858.smt2 (content) unsat unknown 0.315s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn857.smt2 (content) unsat unknown 0.115s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn855.smt2 (content) unsat unknown 0.147s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_brn854.smt2 (content) unsat unknown 0.427s