let option_name = "-ltl-simple-AI"