These models were generated with the `--norun_relax` flag