No rejected runs

fragileformula doesn't have any rejected runs.