detailed results (4660 total)

prover file res expected time
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412251/iso_brn596.smt2 (content) unsat unsat 0.192s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412250/iso_brn595.smt2 (content) unsat unsat 0.221s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412249/iso_brn594.smt2 (content) unsat unsat 0.310s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412245/iso_brn590.smt2 (content) unsat unsat 0.520s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412243/iso_brn588.smt2 (content) unsat unsat 0.225s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412241/iso_brn586.smt2 (content) unsat unsat 0.188s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412234/iso_brn579.smt2 (content) unsat unsat 0.270s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412233/iso_brn578.smt2 (content) unsat unsat 0.198s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412232/iso_brn577.smt2 (content) unsat unsat 0.199s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412227/iso_brn572.smt2 (content) unsat unsat 0.224s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412226/iso_brn571.smt2 (content) unsat unsat 0.246s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412224/iso_brn569.smt2 (content) unsat unsat 0.380s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412223/iso_brn568.smt2 (content) unsat unsat 0.295s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412221/iso_brn566.smt2 (content) unsat unsat 0.277s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412218/iso_brn563.smt2 (content) unsat unsat 0.280s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412214/iso_brn559.smt2 (content) unsat unsat 0.303s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412211/iso_brn556.smt2 (content) unsat unsat 0.297s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412209/iso_brn554.smt2 (content) unsat unsat 0.393s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412206/iso_brn551.smt2 (content) unsat unsat 0.322s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412205/iso_brn550.smt2 (content) unsat unsat 0.228s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412201/iso_brn546.smt2 (content) unsat unsat 0.364s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412197/iso_brn542.smt2 (content) unsat unsat 0.209s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412196/iso_brn541.smt2 (content) unsat unsat 0.269s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412194/iso_brn539.smt2 (content) unsat unsat 0.296s
mc2-nogc-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412187/iso_brn532.smt2 (content) unsat unsat 0.262s