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.