Maximal Number of Nodes

Type : Integer

Range : {0..1000000}

Default : 100000

This option specifies the maximum number of nodes explored. Setting the value to 0 means no limit.