ResearchBenchmarksAutomata Learning on CloudOps W=1,C=1,N=4Follow1.93TimeCoal-7.431655.7592118.95182.1408Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Quantity (Q)Equation Quantity (Q)IterationsComplexity/Count (com)Coalstates=1 932states=1 9322025.041.9392326—6L*states=1 932states=1 9322025.0429.6222216——CoalAstates=1 932states=1 9322025.04235.9791157410