The scripts that work (at least at time of writing) can be run with the following commands (from the root directory of the project). This one runs the sequential optimizers (the --synthetic flag ...