iteration
Parameters
iteration
the iteration number of the solver request. That is, the number of times that the simulation oracle has been asked to evaluate (any) input.
the iteration number of the solver request. That is, the number of times that the simulation oracle has been asked to evaluate (any) input.