ResearchBenchmarksAutomata Learning on ProdCons K=3,P=2,C=2Follow1.4TimeCoal1.30241.96122.623.2788Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory UsageEquality Query Count (eqQ)Iteration Count (it.)Commit Count (com)Coalstates=1 664states=1 6642025.041.430113—5L*states=1 664states=1 6642025.043.05243——CoalAstates=1 664states=1 6642025.043.8468526235