detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413441/iso_icl503.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413440/iso_icl502.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413439/iso_icl501.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413438/iso_icl500.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413437/iso_icl499.smt2 (content) unsat unsat 0.022s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413436/iso_icl498.smt2 (content) unsat unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413435/iso_icl497.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413434/iso_icl496.smt2 (content) unsat unsat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413433/iso_icl495.smt2 (content) unsat unsat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413432/iso_icl494.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413431/iso_icl493.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413430/iso_icl492.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413429/iso_icl491.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413428/iso_icl490.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413427/iso_icl489.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413426/iso_icl488.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413425/iso_icl487.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413424/iso_icl486.smt2 (content) unsat unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413423/iso_icl485.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413422/iso_icl484.smt2 (content) unsat unsat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413421/iso_icl483.smt2 (content) unsat unsat 0.021s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413420/iso_icl482.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413419/iso_icl481.smt2 (content) unsat unsat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413418/iso_icl480.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413417/iso_icl479.smt2 (content) unsat unsat 0.025s