–ÚŽŸ
detail
detail_rev
compare
•\ 1: detail
|
|
|
|
|
|
|
|
|
|
Shortest error |
|
Longest error |
|
First error |
|
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
msmie.1.pm |
2336 |
125 |
335 |
3 |
60 |
11.58 |
5.35 |
46 |
|
14 |
14 |
1 |
24 |
119 |
4.96 |
14 |
14 |
1 |
msmie.2.pm |
10560 |
220 |
770 |
3 |
195 |
6.53 |
2.08 |
62 |
|
14 |
14 |
1 |
49 |
220 |
4.49 |
14 |
14 |
1 |
msmie.3.pm |
134846 |
1957 |
27763 |
3 |
1146 |
15.19 |
1.45 |
197 |
|
14 |
14 |
1 |
24 |
1560 |
65 |
14 |
14 |
1 |
needham.1.pm |
784 |
16 |
0 |
|
|
0.31 |
2.04 |
103 |
|
4 |
6 |
1.5 |
16 |
16 |
1 |
6 |
6 |
1 |
needham.2.pm |
15072 |
25 |
0 |
|
|
0.39 |
0.17 |
2512 |
|
4 |
4 |
1 |
25 |
25 |
1 |
10 |
10 |
1 |
needham.3.pm |
50214 |
29 |
0 |
|
|
0.37 |
0.06 |
6810 |
|
6 |
8 |
1.33 |
29 |
29 |
1 |
10 |
12 |
1.2 |
needham.4.pm |
360943 |
34 |
0 |
|
|
0.24 |
0.01 |
40984 |
|
6 |
6 |
1 |
33 |
34 |
1.03 |
10 |
14 |
1.4 |
public_subscribe.1.pm |
807 |
153 |
55 |
7 |
102 |
5.79 |
18.96 |
19 |
|
21 |
43 |
2.05 |
31 |
143 |
4.61 |
28 |
143 |
5.11 |
public_subscribe.2.pm |
485844 |
55934 |
196811 |
7 |
55374 |
32.11 |
11.51 |
318 |
|
24 |
74 |
3.08 |
73 |
51046 |
699.26 |
39 |
1804 |
46.26 |
public_subscribe.3.pm |
485844 |
55934 |
196811 |
7 |
55374 |
32.11 |
11.51 |
318 |
|
24 |
74 |
3.08 |
73 |
51046 |
699.26 |
39 |
1804 |
46.26 |
public_subscribe.4.pm |
485844 |
55934 |
196811 |
7 |
55374 |
32.11 |
11.51 |
318 |
|
24 |
74 |
3.08 |
73 |
51046 |
699.26 |
39 |
1804 |
46.26 |
reader_writer.1.pm |
3368 |
387 |
2636 |
2 |
276 |
45.78 |
11.49 |
74 |
|
4 |
4 |
1 |
13 |
385 |
29.62 |
4 |
4 |
1 |
reader_writer.2.pm |
8211 |
6049 |
24595 |
2 |
5436 |
46.15 |
73.67 |
8 |
|
|
|
|
|
|
|
|
|
|
telephony.1.pm |
1282 |
182 |
1031 |
2 |
123 |
36.64 |
14.2 |
22 |
|
|
|
|
|
|
|
|
|
|
telephony.2.pm |
51828 |
7377 |
64844 |
2 |
7171 |
46.17 |
14.23 |
66 |
|
|
|
|
|
|
|
|
|
|
telephony.3.pm |
765381 |
47007 |
909360 |
2 |
46713 |
44.62 |
6.14 |
231 |
|
|
|
|
|
|
|
|
|
|
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Min |
784 |
16 |
0 |
2 |
60 |
0.24 |
0.01 |
8 |
|
4 |
4 |
1 |
13 |
16 |
1 |
4 |
4 |
1 |
Max |
765381 |
55934 |
909360 |
7 |
55374 |
46.17 |
73.67 |
40984 |
|
24 |
74 |
3.08 |
73 |
51046 |
699.26 |
39 |
1804 |
46.26 |
Avg |
178947.75 |
14460.19 |
101363.88 |
3.92 |
18945.33 |
22.26 |
11.52 |
3255.5 |
|
13.25 |
27.92 |
1.68 |
38.58 |
12972.42 |
184.21 |
18.92 |
470.25 |
12.71 |
•\ 2: detail_rev
|
|
|
|
|
|
|
|
|
|
Shortest error |
|
Longest error |
|
First error |
|
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
msmie.1.pm |
2336 |
112 |
335 |
3 |
67 |
11 |
4.79 |
48 |
|
14 |
43 |
3.07 |
24 |
111 |
4.63 |
14 |
71 |
5.07 |
msmie.2.pm |
10560 |
220 |
770 |
3 |
195 |
6.48 |
2.08 |
62 |
|
14 |
15 |
1.07 |
49 |
220 |
4.49 |
14 |
219 |
15.64 |
msmie.3.pm |
134846 |
3552 |
28507 |
3 |
1762 |
14.22 |
2.63 |
255 |
|
14 |
53 |
3.79 |
24 |
3549 |
147.88 |
14 |
259 |
18.5 |
needham.1.pm |
784 |
16 |
0 |
|
|
0.31 |
2.04 |
92 |
|
4 |
5 |
1.25 |
16 |
16 |
1 |
6 |
8 |
1.33 |
needham.2.pm |
15072 |
25 |
0 |
|
|
4.21 |
0.17 |
2541 |
|
4 |
4 |
1 |
25 |
25 |
1 |
10 |
13 |
1.3 |
needham.3.pm |
50214 |
30 |
0 |
|
|
12.49 |
0.06 |
6970 |
|
6 |
7 |
1.17 |
29 |
30 |
1.03 |
10 |
13 |
1.3 |
needham.4.pm |
360943 |
34 |
0 |
|
|
9.12 |
0.01 |
43380 |
|
6 |
6 |
1 |
33 |
34 |
1.03 |
10 |
12 |
1.2 |
public_subscribe.1.pm |
807 |
130 |
40 |
7 |
98 |
5.79 |
16.11 |
16 |
|
21 |
32 |
1.52 |
31 |
100 |
3.23 |
28 |
66 |
2.36 |
public_subscribe.2.pm |
485844 |
55636 |
117438 |
7 |
54882 |
29.96 |
11.45 |
256 |
|
24 |
35 |
1.46 |
73 |
34373 |
470.86 |
39 |
12260 |
314.36 |
public_subscribe.3.pm |
485844 |
55636 |
117438 |
7 |
54882 |
29.96 |
11.45 |
256 |
|
24 |
35 |
1.46 |
73 |
34373 |
470.86 |
39 |
12260 |
314.36 |
public_subscribe.4.pm |
485844 |
55636 |
117438 |
7 |
54882 |
29.96 |
11.45 |
256 |
|
24 |
35 |
1.46 |
73 |
34373 |
470.86 |
39 |
12260 |
314.36 |
reader_writer.1.pm |
3368 |
386 |
3322 |
2 |
381 |
43.82 |
11.46 |
74 |
|
4 |
16 |
4 |
13 |
379 |
29.15 |
4 |
379 |
94.75 |
reader_writer.2.pm |
8211 |
6051 |
24595 |
2 |
6051 |
46.15 |
73.69 |
8 |
|
|
|
|
|
|
|
|
|
|
telephony.1.pm |
1282 |
190 |
1035 |
2 |
147 |
34.47 |
14.82 |
21 |
|
|
|
|
|
|
|
|
|
|
telephony.2.pm |
51828 |
8169 |
68117 |
2 |
8050 |
46.65 |
15.76 |
64 |
|
|
|
|
|
|
|
|
|
|
telephony.3.pm |
765381 |
55501 |
921705 |
2 |
55099 |
42.4 |
7.25 |
158 |
|
|
|
|
|
|
|
|
|
|
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Min |
784 |
16 |
0 |
2 |
67 |
0.31 |
0.01 |
8 |
|
4 |
4 |
1 |
13 |
16 |
1 |
4 |
8 |
1.2 |
Max |
765381 |
55636 |
921705 |
7 |
55099 |
46.65 |
73.69 |
43380 |
|
24 |
53 |
4 |
73 |
34373 |
470.86 |
39 |
12260 |
314.36 |
Avg |
178947.75 |
15082.75 |
87546.25 |
3.92 |
19708 |
22.94 |
11.58 |
3403.56 |
|
13.25 |
23.83 |
1.85 |
38.58 |
8965.25 |
133.84 |
18.92 |
3151.67 |
90.38 |
•\ 3: compare
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Shortest error |
|
Longest error |
|
First error |
|
|
States |
Depth |
Depth |
Ratio |
Cycle |
Cycle |
Ratio |
Shortest cycle |
Shortest cycle |
Ratio |
Largest cycle |
Largest cycle |
Ratio |
Max stack(%) |
Max stack(%) |
Ratio |
|
Depth |
Depth |
Ratio |
Depth |
Depth |
Ratio |
Depth |
Depth |
Ratio |
msmie.1.pm |
2336 |
125 |
112 |
0.9 |
335 |
335 |
1 |
3 |
3 |
1 |
60 |
67 |
1.12 |
5.35 |
4.79 |
0.9 |
|
14 |
43 |
3.07 |
119 |
111 |
0.93 |
14 |
71 |
5.07 |
msmie.2.pm |
10560 |
220 |
220 |
1 |
770 |
770 |
1 |
3 |
3 |
1 |
195 |
195 |
1 |
2.08 |
2.08 |
1 |
|
14 |
15 |
1.07 |
220 |
220 |
1 |
14 |
219 |
15.64 |
msmie.3.pm |
134846 |
1957 |
3552 |
1.82 |
27763 |
28507 |
1.03 |
3 |
3 |
1 |
1146 |
1762 |
1.54 |
1.45 |
2.63 |
1.82 |
|
14 |
53 |
3.79 |
1560 |
3549 |
2.28 |
14 |
259 |
18.5 |
needham.1.pm |
784 |
16 |
16 |
1 |
0 |
0 |
|
|
|
|
|
|
|
2.04 |
2.04 |
1 |
|
6 |
5 |
0.83 |
16 |
16 |
1 |
6 |
8 |
1.33 |
needham.2.pm |
15072 |
25 |
25 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.17 |
0.17 |
1 |
|
4 |
4 |
1 |
25 |
25 |
1 |
10 |
13 |
1.3 |
needham.3.pm |
50214 |
29 |
30 |
1.03 |
0 |
0 |
|
|
|
|
|
|
|
0.06 |
0.06 |
1.03 |
|
8 |
7 |
0.88 |
29 |
30 |
1.03 |
12 |
13 |
1.08 |
needham.4.pm |
360943 |
34 |
34 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.01 |
0.01 |
1 |
|
6 |
6 |
1 |
34 |
34 |
1 |
14 |
12 |
0.86 |
public_subscribe.1.pm |
807 |
153 |
130 |
0.85 |
55 |
40 |
0.73 |
7 |
7 |
1 |
102 |
98 |
0.96 |
18.96 |
16.11 |
0.85 |
|
43 |
32 |
0.74 |
143 |
100 |
0.7 |
143 |
66 |
0.46 |
public_subscribe.2.pm |
485844 |
55934 |
55636 |
0.99 |
196811 |
117438 |
0.6 |
7 |
7 |
1 |
55374 |
54882 |
0.99 |
11.51 |
11.45 |
0.99 |
|
74 |
35 |
0.47 |
51046 |
34373 |
0.67 |
1804 |
12260 |
6.8 |
public_subscribe.3.pm |
485844 |
55934 |
55636 |
0.99 |
196811 |
117438 |
0.6 |
7 |
7 |
1 |
55374 |
54882 |
0.99 |
11.51 |
11.45 |
0.99 |
|
74 |
35 |
0.47 |
51046 |
34373 |
0.67 |
1804 |
12260 |
6.8 |
public_subscribe.4.pm |
485844 |
55934 |
55636 |
0.99 |
196811 |
117438 |
0.6 |
7 |
7 |
1 |
55374 |
54882 |
0.99 |
11.51 |
11.45 |
0.99 |
|
74 |
35 |
0.47 |
51046 |
34373 |
0.67 |
1804 |
12260 |
6.8 |
reader_writer.1.pm |
3368 |
387 |
386 |
1 |
2636 |
3322 |
1.26 |
2 |
2 |
1 |
276 |
381 |
1.38 |
11.49 |
11.46 |
1 |
|
4 |
16 |
4 |
385 |
379 |
0.98 |
4 |
379 |
94.75 |
reader_writer.2.pm |
8211 |
6049 |
6051 |
1 |
24595 |
24595 |
1 |
2 |
2 |
1 |
5436 |
6051 |
1.11 |
73.67 |
73.69 |
1 |
|
|
|
|
|
|
|
|
|
|
telephony.1.pm |
1282 |
182 |
190 |
1.04 |
1031 |
1035 |
1 |
2 |
2 |
1 |
123 |
147 |
1.2 |
14.2 |
14.82 |
1.04 |
|
|
|
|
|
|
|
|
|
|
telephony.2.pm |
51828 |
7377 |
8169 |
1.11 |
64844 |
68117 |
1.05 |
2 |
2 |
1 |
7171 |
8050 |
1.12 |
14.23 |
15.76 |
1.11 |
|
|
|
|
|
|
|
|
|
|
telephony.3.pm |
765381 |
47007 |
55501 |
1.18 |
909360 |
921705 |
1.01 |
2 |
2 |
1 |
46713 |
55099 |
1.18 |
6.14 |
7.25 |
1.18 |
|
|
|
|
|
|
|
|
|
|
|
States |
Depth |
Depth |
Ratio |
Cycle |
Cycle |
Ratio |
Shortest cycle |
Shortest cycle |
Ratio |
Largest cycle |
Largest cycle |
Ratio |
Max stack(%) |
Max stack(%) |
Ratio |
|
Depth |
Depth |
Ratio |
Depth |
Depth |
Ratio |
Depth |
Depth |
Ratio |
Min |
784 |
16 |
16 |
0.85 |
0 |
0 |
0.6 |
2 |
2 |
1 |
60 |
67 |
0.96 |
0.01 |
0.01 |
0.85 |
|
4 |
4 |
0.47 |
16 |
16 |
0.67 |
4 |
8 |
0.46 |
Max |
765381 |
55934 |
55636 |
1.82 |
909360 |
921705 |
1.26 |
7 |
7 |
1 |
55374 |
55099 |
1.54 |
73.67 |
73.69 |
1.82 |
|
74 |
53 |
4 |
51046 |
34373 |
2.28 |
1804 |
12260 |
94.75 |
Avg |
178947.75 |
14460.19 |
15082.75 |
1.06 |
101363.88 |
87546.25 |
0.91 |
3.92 |
3.92 |
1 |
18945.33 |
19708 |
1.13 |
11.52 |
11.58 |
1.06 |
|
27.92 |
23.83 |
1.48 |
12972.42 |
8965.25 |
1 |
470.25 |
3151.67 |
13.28 |