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

Table 4

Experiment data under different extending solutions.

Time bound 𝑡	Advanced (one step per extending)			Two-step per extending			Three-step per extending
	Depth	Time (s)	𝑛	Depth	Time (s)	𝑛	Depth	Time (s)	𝑛
5.0	18	6.6	4071	20	8.9	4756	33	15.0	7895
10.0	25	23.3	7118	29	26.5	8027	38	41.3	11849
20.0	38	105.2	14434	42	115.3	16315	52	174.0	20816
30.0	50	271.6	22426	54	327.6	25308	64	456.0	30785
50.0	69	1491.5	38448	72	1006.5	43824	82	1572.6	50942
𝑡	Synthesis solution 1			Synthesis solution 2			Solution D
5.0	35	11.9	6539	20	9.6	4564	20	8.6	4459
10.0	42	35.4	9772	26	29.7	7646	26	24.9	7383
20.0	53	131.2	17777	41	111.7	15621	39	91.1	15170
30.0	61	367.4	26362	53	279.7	24239	50	250.9	23063
50.0	74	1349.6	45170	71	989.1	42703	71	791	40403