#! /usr/bin/python2.7

"""
Main logic
"""

from tester import Tester

if __name__ == "__main__":
    """
    Command line handling
    """
    tester = Tester()
    # tester.test_1() # Search
    # tester.test_2() # Search
    # tester.test_3() # Search
    # tester.test_4() # Search
    # tester.test_5() # Run Sat Solver
    # tester.test_6()  # Convert systems to graphs and time them
    # tester.test_7()  # Run Traces
    # tester.test_8() # Recursive search
    # tester.test_9() # Search
    # tester.test_10() # Search
    # tester.test_11() # Search
    # tester.test_12() # Search
    # tester.test_13() # Search
    # tester.test_14() # Search
    # tester.test_15() # Search
    # tester.test_16() # Search
    # tester.test_17() # Default
    # tester.test_18() # Run graphs and plot
    # tester.test_19() # Run graphs
    tester.test_20() # Plot graphs