ResearchBenchmarksAutomata Learning on CloudOps W=2,C=1,N=3Follow12.69TimeL*-1.102891.9986185.1278.2014Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Usage (memQ)Query Count (eqQ)Iterations (it.)Component Count (com)L*states=3 858states=3 8582025.0412.691299——CoalAstates=3 858states=3 8582025.04232.872598638Coalstates=3 858states=3 8582025.04357.51929—5