ResearchBenchmarksAutomata Learning on ProdCons K=5,P=3,C=3Follow32.59TimeCoal21.03299.0485177.065255.0815Apr 23, 2025Evaluation ResultsMethodMethodLinksTimeMemory Usage Count (memQ)Equality Query Count (eqQ)IterationsCompletion Count (com)Coalstates=30 344states=30 3442025.0432.59117—7CoalAstates=30 344states=30 3442025.0473.69234377L*states=30 344states=30 3442025.04321.54222193——