In order to replicate our experiments you need to manually update the shaft values.
For OMT files:
- The shaft_w and shaft_d assertion values are at the end of the file, just before minimization
For MiniZinc files
- The shaft_w and shaft_d assignment is at the beginning, after the definition of the index selection variables