detailed results (4200 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412243/iso_brn588.smt2 (content) unsat unsat 0.188s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412241/iso_brn586.smt2 (content) unsat unsat 0.141s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412234/iso_brn579.smt2 (content) unsat unsat 0.209s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412233/iso_brn578.smt2 (content) unsat unsat 0.161s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412232/iso_brn577.smt2 (content) unsat unsat 0.167s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412227/iso_brn572.smt2 (content) unsat unsat 0.179s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412226/iso_brn571.smt2 (content) unsat unsat 0.273s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412224/iso_brn569.smt2 (content) unsat unsat 0.312s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412223/iso_brn568.smt2 (content) unsat unsat 0.257s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412221/iso_brn566.smt2 (content) unsat unsat 0.212s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412218/iso_brn563.smt2 (content) unsat unsat 0.216s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412214/iso_brn559.smt2 (content) unsat unsat 0.253s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412211/iso_brn556.smt2 (content) unsat unsat 0.220s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412209/iso_brn554.smt2 (content) unsat unsat 0.300s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412206/iso_brn551.smt2 (content) unsat unsat 0.256s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412205/iso_brn550.smt2 (content) unsat unsat 0.157s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412201/iso_brn546.smt2 (content) unsat unsat 0.272s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412197/iso_brn542.smt2 (content) unsat unsat 0.187s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412196/iso_brn541.smt2 (content) unsat unsat 0.225s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412194/iso_brn539.smt2 (content) unsat unsat 0.225s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412187/iso_brn532.smt2 (content) unsat unsat 0.203s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412183/iso_brn528.smt2 (content) unsat unsat 0.203s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412179/iso_brn524.smt2 (content) unsat unsat 0.208s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412175/iso_brn520.smt2 (content) unsat unsat 0.193s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/412173/iso_brn518.smt2 (content) unsat unsat 0.199s