There are four options you can use with "python main.py -t ...":

• 0: "Propagation only" test. A really simple test case that can be solved without search.
• 1: "Propagation and search" test. A hard test case that requires both propagation and search.
• 2: Provides 50 easy test cases.
• 3: Provides 50 hard test cases.