Active Learning of Nondeterministic Finite State Machines

Table 4

Runs from 9 sample machines.

Machines	No. of states	𝑘	Output queries	EQ	Avg. time (ms)
M1	3	1	14	1	7.2
M2	3	8	144	1	103.1
M3	4	7	140	1	65.9
M4	4	10	260	1	363
M5	4	7	154	1	95.8
M6	6	11	462	2	251.9
M7	6	6	336	3	176.1
M8	7	10	510	2	307.6
M9	8	10	570	2	329.4