Running procedure: Through the main.sh script in the main directory.
Arguments:
- Integer: Either 0, for execution of all problem instances, or a number between 1 and 21, for execution of a specific problem instance.
- String: A name for the experiment. If the same name has already been given to a previous experiment, the results for that one will be overwritten.
- String (among CP, SAT, MIP): The name of the solving method.
For running the checker script, simply execute the checker.sh script, without any arguments.