ResearchBenchmarksAutomata Learning on CloudOps W=1,C=1,N=3Follow1.27TimeCoal-7.687652.7762113.24173.7038Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Usage (memQ)Equal Query Count (eqQ)Iterations (it.)Commands (com)Coalstates=690states=6902025.041.2788024—5L*states=690states=6902025.043.29288——CoalAstates=690states=6902025.04225.217106679