detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413216/iso_icl278.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413215/iso_icl277.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413214/iso_icl276.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413213/iso_icl275.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413212/iso_icl274.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413211/iso_icl273.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413210/iso_icl272.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413209/iso_icl271.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413208/iso_icl270.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413207/iso_icl269.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413206/iso_icl268.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413205/iso_icl267.smt2 (content) unsat unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413204/iso_icl266.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413203/iso_icl265.smt2 (content) unsat unsat 0.034s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413202/iso_icl264.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413201/iso_icl263.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413200/iso_icl262.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413199/iso_icl261.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413198/iso_icl260.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413197/iso_icl259.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413196/iso_icl258.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413195/iso_icl257.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413194/iso_icl256.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413193/iso_icl255.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413192/iso_icl254.smt2 (content) unsat unsat 0.025s