Dear Spot Fans, It is frustrating that I encountered some problems when using ltlcross. I have  implemented a tool to get BA from LTL formula. Then I want to use ltlcross to compare spot with my tools. When I ran the ltlcross, I got the following result：//failed to create lcr-o0-fdbDS4 Besides, I tried the following and still failed：//failed to create lcr-o0-kSl51L I sincerely hope you can help to see my question I would appreciate it if I could get some guidance on the use of ltlcross from you. Looking forward to your reply! Best Regards! Shengping Shaw, ECNU