detailed results (7457 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl189.smt2 (content) unsat unknown 0.028s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl188.smt2 (content) unsat unknown 0.079s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl187.smt2 (content) unsat unknown 0.018s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl186.smt2 (content) unsat unknown 0.061s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl185.smt2 (content) unsat unknown 0.027s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl184.smt2 (content) unsat unknown 0.043s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl183.smt2 (content) unsat unknown 0.024s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl182.smt2 (content) unsat unknown 0.017s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl181.smt2 (content) unsat unknown 0.017s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl180.smt2 (content) unsat unknown 0.017s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl179.smt2 (content) unsat unknown 0.019s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl178.smt2 (content) unsat unknown 0.031s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl177.smt2 (content) unsat unknown 0.019s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl176.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl175.smt2 (content) unsat unknown 0.021s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl174.smt2 (content) unsat unknown 0.026s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl173.smt2 (content) unsat unknown 0.028s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl172.smt2 (content) unsat unknown 0.074s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl171.smt2 (content) unsat unknown 0.015s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl170.smt2 (content) unsat unknown 0.031s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl169.smt2 (content) unsat unknown 0.034s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl168.smt2 (content) unsat unknown 0.015s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl167.smt2 (content) unsat unknown 0.018s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl166.smt2 (content) unsat unknown 0.020s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/iso_icl165.smt2 (content) unsat unknown 0.033s