Exact synthetic and DSSAT executions.
Dual decomposition residual.
Single-path CI coverage at alpha=1e-128.