A Multistep Extending Truncation Method towards Model Construction of Infinite-State Markov Chains

Table 2

Experiments of advanced method of INFAMY.

Time bound 𝑡	Advanced
	Depth	Time (s)	𝑛	Prob
5.0	18	6.6	4071	[0.9𝐸−06, 1.50𝐸−06]
10.0	25	23.3	7118	[3.2𝐸−06, 3.9𝐸−06]
20.0	38	105.2	14434	[8.8𝐸−06, 9.5𝐸−06]
30.0	50	271.6	22426	[1.45𝐸−05, 1.52𝐸−05]
50.0	69	1491.5	38448	[2.61𝐸−05, 2.68𝐸−05]