Please run python CDCL.py or python benchmark.py under main to get instructions on how to run the program.