ResearchBenchmarksAutomata Learning on ProdCons K=7,P=2,C=2Follow2.2TimeCoal1.61125.58569.5613.5344Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Usage (memQ)Equal Query Count (eqQ)Iterations (it.)Composition Count (com)Coalstates=2 816states=2 8162025.042.230715—5CoalAstates=2 816states=2 8162025.045.2671529255L*states=2 816states=2 8162025.0416.9215135——