--file <file_path>
- specify input file path;--timeout <seconds>
- specify after how many seconds each algorithm is timed out;--stop-after <num_solutions>
- specify the maximum number of solutions each algorithm should find;--output-dir <dir_path>
- specify the directory for the output files (by default, this is the current directory).
$ python3 main.py --file input-example/1.in --stop-after 1 --timeout 5