We must limit the solving time when doing fuzzing