States	Avg ble length	Ble(%)	BFS height	Diameter	Ratio	Max ble length	BFS max level(%)	Avg degree	Max in-degree	Max out-degree
anderson.1.pm	352666	1143.01	0.8	1294			1279	0.15	2	256	2
anderson.2.pm	1461	14	19.67	47	56	1.19	14	6.37	2.54	7	3
anderson.4.pm	29643	19	17.86	82	95	1.16	19	4.7	3.29	10	4
at.1.pm	39356	7.66	31.74	39	67	1.72	29	5.4	2.76	22	4
at.2.pm	49445	7.47	34.82	49			27	5.04	2.97	22	4
at.3.pm	1711622	8.75	36.57	71			34	5.77	3.55	34	5
bakery.1.pm	1485	34.49	10.85	100	117	1.17	99	1.48	1.79	18	2
bakery.2.pm	1125	25.44	8.81	70	87	1.24	69	2.04	1.82	12	2
bakery.3.pm	29958	29.04	11.85	116	151	1.3	64	2.37	2.56	12	3
bakery.4.pm	151290	20.09	8.81	104			90	2.45	2.61	18	3
driving_phils.1.pm	5203	24.07	10.46	127	133	1.05	62	4.57	1.94	8	6
driving_phils.2.pm	7575	24.04	8.65	77	85	1.1	47	7.05	2.54	9	9
fischer.1.pm	636	3.7	37.22	19	28	1.47	11	11.01	2.2	8	4
fischer.2.pm	21735	7.37	48.01	51	65	1.27	25	6.02	3.11	14	5
fischer.4.pm	1272256	4.41	39.08	31			11	10.08	3.62	18	8
lamport.1.pm	6727	7.27	23.91	36	54	1.5	16	6.17	2.57	12	3
lamport.2.pm	21268	13.01	29.67	63	82	1.3	42	3.58	2.69	12	3
lamport.3.pm	8658	9.13	25.96	49	58	1.18	25	4.68	2.63	12	3
lamport.5.pm	175584	7.38	23.88	54			17	5.53	3.31	17	4
lamport.6.pm	976246	14.39	32.5	100			70	2.67	3.54	17	4
lamport_nonatomic.1.pm	125253	7.58	13.22	56			35	5.01	3.02	11	9
lamport_nonatomic.2.pm	107177	8.36	16.1	57			26	4.98	3.16	10	9
lamport_nonatomic.3.pm	246498	8.14	12.53	60			40	4.75	3.14	12	9
lann.1.pm	71621	6.69	15.45	142			55	2.44	2.43	9	6
lann.2.pm	104130	6.34	18.51	68			26	3.53	3.3	14	6
mcs.1.pm	4241	7.44	30.47	50	63	1.26	17	5.02	2.4	9	4
mcs.2.pm	696	1.86	3.41	22	23	1.05	4	10.34	1.77	4	4
mcs.3.pm	287034	7.45	39.45	71			36	3.86	3.19	16	6
mcs.4.pm	3992	4	0.34	22	23	1.05	4	13.23	2.37	5	5
mcs.6.pm	36600	4	0.08	27	28	1.04	4	11.42	2.7	7	6
peterson.1.pm	8145	12.4	23.37	61	77	1.26	41	4.17	2.51	18	5
peterson.2.pm	114516	8.79	15.46	55			29	6.95	2.82	26	6
peterson.3.pm	35142	6.58	19.61	42	52	1.24	26	6.69	2.93	12	6
peterson.4.pm	752460	16.51	22.56	160			88	2.76	3.31	31	7
phils.1.pm	80	3	32.08	9	18	2	3	20	2.65	4	4
phils.2.pm	581	1.87	37.87	12	22	1.83	3	18.07	4.04	7	7
phils.3.pm	729	3	33.33	16	24	1.5	3	15.64	4	6	6
phils.4.pm	340789	1.79	39.79	28			3	11.72	9.17	15	15
phils.5.pm	531440	3	33.33	33			3	10.33	8	12	12
szymanski.1.pm	18435	4.84	10.66	64	123	1.92	26	4.28	2.48	8	4
szymanski.2.pm	29748	8.3	12.8	71	136	1.92	58	4.35	2.53	8	5
szymanski.3.pm	998794	4.1	12.88	101			31	3.33	3.06	18	7
Min	80	1.79	0.08	9	18	1.04	3	0.15	1.77	4	2
Max	1711622	1143.01	48.01	1294	151	2	1279	20	9.17	256	15
Avg	206715.24	37.14	21.53	90.62	69.46	1.36	62.17	6.43	3.07	19.05	5.45