Scripts for Open-WBO-Inc 
------------------------

1. find_optimum_before_complete.sh
Finds the optimum value found by Open-WBO-Inc before switching to the complete algorithm, for a given benchmark. If switch to the complete algorithm was not made, then finds the final output. Input is the solver output file path for the benchmark.

2. flag_switched_to_complete.sh
Finds whether Open-WBO-Inc switched to the complete version for each benchmark. Input is the path to the directory containing (only) solver outputs for each benchmark.

3. find_timeout_memout.sh
Finds the wall clock time and memory used by each benchmark. Input is the path to the directory containing (only) var.log outputs from runsolver in txt format for each benchmark.

4. find_optimum.sh
Finds the best cost found by the solver for each benchmark. Input is the path to the directory containing (only) solver outputs in txt format for each benchmark.

5. generate_dat_files.py
Generates dat files used for generating plots using the CSV of the results. The script should be run from the same directory as the CSV file. Input is given through command line arguments. The first argument is the CSV file name. An optional second argument may be provided which shall be suffixed to the output dat files. The output path for the dat files must be specified in the `result_prefix` variable in the script.

