fix for z3  timeout