detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412249/iso_brn594.smt2 (content) unsat unsat 0.320s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412245/iso_brn590.smt2 (content) unsat unsat 0.477s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412243/iso_brn588.smt2 (content) unsat unsat 0.227s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412241/iso_brn586.smt2 (content) unsat unsat 0.167s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412234/iso_brn579.smt2 (content) unsat unsat 0.256s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412233/iso_brn578.smt2 (content) unsat unsat 0.184s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412232/iso_brn577.smt2 (content) unsat unsat 0.212s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412227/iso_brn572.smt2 (content) unsat unsat 0.234s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412226/iso_brn571.smt2 (content) unsat unsat 0.229s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412224/iso_brn569.smt2 (content) unsat unsat 0.395s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412223/iso_brn568.smt2 (content) unsat unsat 0.311s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412221/iso_brn566.smt2 (content) unsat unsat 0.396s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412218/iso_brn563.smt2 (content) unsat unsat 0.256s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412214/iso_brn559.smt2 (content) unsat unsat 0.307s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412211/iso_brn556.smt2 (content) unsat unsat 0.287s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412209/iso_brn554.smt2 (content) unsat unsat 0.367s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412206/iso_brn551.smt2 (content) unsat unsat 0.380s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412205/iso_brn550.smt2 (content) unsat unsat 0.181s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412201/iso_brn546.smt2 (content) unsat unsat 0.308s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412197/iso_brn542.smt2 (content) unsat unsat 0.225s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412196/iso_brn541.smt2 (content) unsat unsat 0.244s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412194/iso_brn539.smt2 (content) unsat unsat 0.278s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412187/iso_brn532.smt2 (content) unsat unsat 0.234s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412183/iso_brn528.smt2 (content) unsat unsat 0.232s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412179/iso_brn524.smt2 (content) unsat unsat 0.251s