Z3: Fix timeout (#36) · Issues · impresshs / javawlp