ResearchBenchmarksAutomata Learning on CloudOps W=2,C=1,N=4Follow143.28TimeL*120.6532273.3841426.115578.8459Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Usage (memQ)Equality Query Count (eqQ)Iteration Count (it.)Comparison Query Count (com)L*states=10 824states=10 8242025.04143.2891227——Coalstates=10 824states=10 8242025.04555.82930—6CoalAstates=10 824states=10 8242025.04708.95331117210