z3_yices_benchmark script and logs (except QF_LIA)