Help: Procedure certificate

Checking a bound yourself

The rerun command runs the same version on the same check set. The results and the bound must match exactly.