detailed results (4684 total)

prover file res expected time
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413495/iso_icl557.smt2 (content) unsat unsat 0.372s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413494/iso_icl556.smt2 (content) unsat unsat 0.125s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413493/iso_icl555.smt2 (content) unsat unsat 0.155s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413492/iso_icl554.smt2 (content) unsat unsat 0.293s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413491/iso_icl553.smt2 (content) unsat unsat 0.129s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413490/iso_icl552.smt2 (content) unsat unsat 0.386s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413489/iso_icl551.smt2 (content) unsat unsat 0.198s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413488/iso_icl550.smt2 (content) unsat unsat 0.202s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413487/iso_icl549.smt2 (content) unsat unsat 0.384s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413486/iso_icl548.smt2 (content) unsat unsat 0.321s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413485/iso_icl547.smt2 (content) unsat unsat 0.424s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413484/iso_icl546.smt2 (content) unsat unsat 0.127s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413483/iso_icl545.smt2 (content) unsat unsat 0.390s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413482/iso_icl544.smt2 (content) unsat unsat 0.304s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413481/iso_icl543.smt2 (content) unsat unsat 0.189s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413480/iso_icl542.smt2 (content) unsat unsat 0.299s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413479/iso_icl541.smt2 (content) unsat unsat 0.211s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413478/iso_icl540.smt2 (content) unsat unsat 0.391s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413477/iso_icl539.smt2 (content) unsat unsat 0.221s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413476/iso_icl538.smt2 (content) unsat unsat 0.367s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413475/iso_icl537.smt2 (content) unsat unsat 0.366s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413474/iso_icl536.smt2 (content) unsat unsat 0.317s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413473/iso_icl535.smt2 (content) unsat unsat 0.319s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413472/iso_icl534.smt2 (content) unsat unsat 0.423s
mc2-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413471/iso_icl533.smt2 (content) unsat unsat 0.372s