Update to script which generates the model for the Kaiserslatuarn benchmark, and verifies it