Choice point limit

Type

Integer

Range

{0..2100000000}

Default

2100000000

This option limits the number of choice points that are created before terminating a search.