detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413041/iso_icl1260.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413040/iso_icl126.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413039/iso_icl1259.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413038/iso_icl1258.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413037/iso_icl1257.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413036/iso_icl1256.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413035/iso_icl1255.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413034/iso_icl1254.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413033/iso_icl1253.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413032/iso_icl1252.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413031/iso_icl1251.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413030/iso_icl1250.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413029/iso_icl125.smt2 (content) unsat unsat 0.036s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413028/iso_icl1249.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413027/iso_icl1248.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413026/iso_icl1247.smt2 (content) unsat unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413025/iso_icl1246.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413024/iso_icl1245.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413023/iso_icl1244.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413022/iso_icl1243.smt2 (content) unsat unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413021/iso_icl1242.smt2 (content) unsat unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413020/iso_icl1241.smt2 (content) unsat unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413019/iso_icl1240.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413018/iso_icl124.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413017/iso_icl1239.smt2 (content) unsat unsat 0.024s