DEFAULT_MAX_ROWS

Default cap on intermediate Fourier–Motzkin rows before the check fails open.