–ÚŽŸ
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 |
brp.1.pm |
10146 |
1371 |
1284 |
17 |
1323 |
10.6 |
13.51 |
43 |
|
33 |
278 |
8.42 |
94 |
1344 |
14.3 |
49 |
1313 |
26.8 |
brp.2.pm |
18351 |
1004 |
2269 |
23 |
934 |
14.28 |
5.47 |
142 |
|
32 |
32 |
1 |
97 |
985 |
10.15 |
32 |
32 |
1 |
brp.3.pm |
579541 |
5625 |
36200 |
38 |
5487 |
12.74 |
0.97 |
1028 |
|
32 |
32 |
1 |
190 |
5601 |
29.48 |
32 |
32 |
1 |
cambridge.1.pm |
335847 |
28782 |
44756 |
4 |
28631 |
23.22 |
8.57 |
896 |
|
2 |
6 |
3 |
124 |
28765 |
231.98 |
6 |
6 |
1 |
cambridge.2.pm |
531799 |
31307 |
78881 |
3 |
29076 |
30.35 |
5.89 |
1790 |
|
2 |
6 |
3 |
124 |
31298 |
252.4 |
6 |
6 |
1 |
cambridge.3.pm |
593210 |
48739 |
79359 |
4 |
48090 |
24.14 |
8.22 |
1560 |
|
2 |
6 |
3 |
110 |
48645 |
442.23 |
6 |
6 |
1 |
firewire_link.1.pm |
2378 |
99 |
12 |
8 |
9 |
0.8 |
4.16 |
88 |
|
11 |
11 |
1 |
88 |
99 |
1.13 |
12 |
12 |
1 |
firewire_link.2.pm |
50160 |
192 |
278 |
8 |
9 |
0.84 |
0.38 |
892 |
|
14 |
14 |
1 |
167 |
192 |
1.15 |
18 |
18 |
1 |
firewire_link.4.pm |
18078 |
138 |
48 |
11 |
12 |
0.64 |
0.76 |
553 |
|
11 |
11 |
1 |
123 |
138 |
1.12 |
12 |
12 |
1 |
firewire_link.7.pm |
126938 |
178 |
180 |
14 |
15 |
0.55 |
0.14 |
3206 |
|
11 |
11 |
1 |
159 |
178 |
1.12 |
12 |
12 |
1 |
iprotocol.1.pm |
9828 |
205 |
2697 |
2 |
131 |
15.48 |
2.09 |
135 |
|
|
|
|
|
|
|
|
|
|
iprotocol.2.pm |
36775 |
302 |
9389 |
2 |
153 |
14.84 |
0.82 |
333 |
|
|
|
|
|
|
|
|
|
|
iprotocol.3.pm |
1237943 |
754 |
237029 |
2 |
289 |
12.69 |
0.06 |
4108 |
|
|
|
|
|
|
|
|
|
|
protocols.1.pm |
1504 |
594 |
975 |
8 |
496 |
36.76 |
39.49 |
20 |
|
|
|
|
|
|
|
|
|
|
protocols.2.pm |
3815 |
593 |
1830 |
2 |
526 |
32.45 |
15.54 |
37 |
|
|
|
|
|
|
|
|
|
|
protocols.3.pm |
5469 |
1075 |
2729 |
26 |
1013 |
27.65 |
19.66 |
39 |
|
33 |
37 |
1.12 |
46 |
879 |
19.11 |
33 |
37 |
1.12 |
protocols.4.pm |
1198445 |
155292 |
442137 |
105 |
154678 |
30.4 |
12.96 |
657 |
|
101 |
130 |
1.29 |
116 |
139908 |
1206.1 |
101 |
130 |
1.29 |
protocols.5.pm |
3125283 |
566664 |
1476635 |
177 |
559459 |
29.89 |
18.13 |
1232 |
|
124 |
163 |
1.31 |
150 |
500426 |
3336.17 |
124 |
163 |
1.31 |
rether.1.pm |
4731 |
2437 |
509 |
25 |
2208 |
8.91 |
51.51 |
11 |
|
63 |
387 |
6.14 |
99 |
2417 |
24.41 |
71 |
387 |
5.45 |
rether.2.pm |
10879 |
5150 |
1026 |
24 |
4947 |
7.8 |
47.34 |
14 |
|
57 |
295 |
5.18 |
90 |
5119 |
56.88 |
87 |
295 |
3.39 |
rether.3.pm |
67969 |
29335 |
2977 |
147 |
28462 |
4.67 |
43.16 |
12 |
|
55 |
799 |
14.53 |
158 |
28860 |
182.66 |
156 |
799 |
5.12 |
rether.4.pm |
252540 |
91151 |
16306 |
93 |
88841 |
11.4 |
36.09 |
24 |
|
74 |
1380 |
18.65 |
218 |
90756 |
416.31 |
156 |
1380 |
8.85 |
rether.5.pm |
293469 |
111276 |
17509 |
140 |
109759 |
5.99 |
37.92 |
18 |
|
69 |
1045 |
15.14 |
204 |
110417 |
541.26 |
201 |
1045 |
5.2 |
rether.6.pm |
532976 |
209278 |
15342 |
363 |
202780 |
3.07 |
39.27 |
15 |
|
78 |
2270 |
29.1 |
239 |
207577 |
868.52 |
197 |
2270 |
11.52 |
rether.7.pm |
726048 |
289785 |
57629 |
80 |
286649 |
7.17 |
39.91 |
26 |
|
89 |
1467 |
16.48 |
256 |
289071 |
1129.18 |
221 |
1467 |
6.64 |
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Min |
1504 |
99 |
12 |
2 |
9 |
0.55 |
0.06 |
11 |
|
2 |
6 |
1 |
46 |
99 |
1.12 |
6 |
6 |
1 |
Max |
3125283 |
566664 |
1476635 |
363 |
559459 |
36.76 |
51.51 |
4108 |
|
124 |
2270 |
29.1 |
256 |
500426 |
3336.17 |
221 |
2270 |
26.8 |
Avg |
390964.88 |
63253.04 |
101119.44 |
53.04 |
62159.08 |
14.69 |
18.08 |
675.16 |
|
44.65 |
419 |
6.62 |
142.6 |
74633.75 |
438.28 |
76.6 |
471.1 |
4.28 |
•\ 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 |
brp.1.pm |
10146 |
1538 |
1294 |
17 |
1388 |
11.12 |
15.16 |
46 |
|
33 |
345 |
10.45 |
94 |
1477 |
15.71 |
49 |
1390 |
28.37 |
brp.2.pm |
18351 |
1049 |
1944 |
23 |
988 |
14.85 |
5.72 |
82 |
|
32 |
371 |
11.59 |
97 |
941 |
9.7 |
32 |
835 |
26.09 |
brp.3.pm |
579541 |
8320 |
20223 |
38 |
7816 |
11.59 |
1.44 |
398 |
|
32 |
969 |
30.28 |
190 |
7793 |
41.02 |
32 |
7548 |
235.88 |
cambridge.1.pm |
335847 |
28966 |
49023 |
4 |
28855 |
19.64 |
8.62 |
1264 |
|
2 |
2 |
1 |
124 |
28962 |
233.56 |
6 |
3140 |
523.33 |
cambridge.2.pm |
531799 |
39912 |
113244 |
3 |
39801 |
31.83 |
7.51 |
1808 |
|
2 |
2 |
1 |
124 |
39911 |
321.86 |
6 |
1123 |
187.17 |
cambridge.3.pm |
593210 |
44848 |
79143 |
4 |
44656 |
22.12 |
7.56 |
1246 |
|
2 |
2 |
1 |
110 |
44846 |
407.69 |
6 |
3537 |
589.5 |
firewire_link.1.pm |
2378 |
89 |
12 |
8 |
9 |
0.75 |
3.74 |
92 |
|
11 |
11 |
1 |
88 |
89 |
1.01 |
12 |
12 |
1 |
firewire_link.2.pm |
50160 |
172 |
262 |
8 |
9 |
0.92 |
0.34 |
985 |
|
14 |
14 |
1 |
167 |
172 |
1.03 |
18 |
18 |
1 |
firewire_link.4.pm |
18078 |
126 |
48 |
11 |
12 |
0.57 |
0.7 |
558 |
|
11 |
11 |
1 |
123 |
126 |
1.02 |
12 |
12 |
1 |
firewire_link.7.pm |
126938 |
164 |
180 |
14 |
15 |
0.46 |
0.13 |
3161 |
|
11 |
11 |
1 |
159 |
164 |
1.03 |
12 |
12 |
1 |
iprotocol.1.pm |
9828 |
542 |
3311 |
2 |
280 |
19.17 |
5.51 |
65 |
|
|
|
|
|
|
|
|
|
|
iprotocol.2.pm |
36775 |
1154 |
11113 |
2 |
186 |
18.08 |
3.14 |
96 |
|
|
|
|
|
|
|
|
|
|
iprotocol.3.pm |
1237943 |
3105 |
291026 |
2 |
632 |
15.41 |
0.25 |
1094 |
|
|
|
|
|
|
|
|
|
|
protocols.1.pm |
1504 |
334 |
336 |
8 |
236 |
14.13 |
22.21 |
16 |
|
|
|
|
|
|
|
|
|
|
protocols.2.pm |
3815 |
715 |
1905 |
2 |
643 |
35.87 |
18.74 |
28 |
|
|
|
|
|
|
|
|
|
|
protocols.3.pm |
5469 |
961 |
1568 |
26 |
821 |
17.93 |
17.57 |
28 |
|
33 |
465 |
14.09 |
46 |
934 |
20.3 |
33 |
934 |
28.3 |
protocols.4.pm |
1198445 |
112927 |
220334 |
26 |
111827 |
27.81 |
9.42 |
231 |
|
101 |
104 |
1.03 |
116 |
83581 |
720.53 |
101 |
7398 |
73.25 |
protocols.5.pm |
3125283 |
355818 |
727836 |
33 |
348217 |
30.03 |
11.39 |
704 |
|
124 |
131 |
1.06 |
150 |
214312 |
1428.75 |
124 |
23686 |
191.02 |
rether.1.pm |
4731 |
1212 |
537 |
25 |
1115 |
8.63 |
25.62 |
17 |
|
63 |
664 |
10.54 |
99 |
1191 |
12.03 |
71 |
1044 |
14.7 |
rether.2.pm |
10879 |
1792 |
950 |
24 |
1776 |
8.73 |
16.47 |
24 |
|
57 |
562 |
9.86 |
90 |
1783 |
19.81 |
87 |
1037 |
11.92 |
rether.3.pm |
67969 |
4626 |
3061 |
82 |
4378 |
9.23 |
6.81 |
51 |
|
55 |
325 |
5.91 |
158 |
4550 |
28.8 |
156 |
1805 |
11.57 |
rether.4.pm |
252540 |
15184 |
17516 |
93 |
14906 |
13.31 |
6.01 |
98 |
|
74 |
1575 |
21.28 |
218 |
15184 |
69.65 |
156 |
6476 |
41.51 |
rether.5.pm |
293469 |
15430 |
15327 |
104 |
15167 |
9.05 |
5.26 |
119 |
|
69 |
1005 |
14.57 |
204 |
15284 |
74.92 |
201 |
3946 |
19.63 |
rether.6.pm |
532976 |
26730 |
29066 |
106 |
26395 |
12.03 |
5.02 |
127 |
|
78 |
2490 |
31.92 |
239 |
26644 |
111.48 |
197 |
6985 |
35.46 |
rether.7.pm |
726048 |
40112 |
50795 |
80 |
39794 |
8.94 |
5.52 |
187 |
|
89 |
2696 |
30.29 |
256 |
40090 |
156.6 |
221 |
16579 |
75.02 |
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Min |
1504 |
89 |
12 |
2 |
9 |
0.46 |
0.13 |
16 |
|
2 |
2 |
1 |
46 |
89 |
1.01 |
6 |
12 |
1 |
Max |
3125283 |
355818 |
727836 |
106 |
348217 |
35.87 |
25.62 |
3161 |
|
124 |
2696 |
31.92 |
256 |
214312 |
1428.75 |
221 |
23686 |
589.5 |
Avg |
390964.88 |
28233.04 |
65602.16 |
29.8 |
27596.88 |
14.49 |
8.39 |
501 |
|
44.65 |
587.75 |
9.99 |
142.6 |
26401.7 |
183.83 |
76.6 |
4375.85 |
104.84 |
•\ 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 |
brp.1.pm |
10146 |
1371 |
1538 |
1.12 |
1284 |
1294 |
1.01 |
17 |
17 |
1 |
1323 |
1388 |
1.05 |
13.51 |
15.16 |
1.12 |
|
278 |
345 |
1.24 |
1344 |
1477 |
1.1 |
1313 |
1390 |
1.06 |
brp.2.pm |
18351 |
1004 |
1049 |
1.04 |
2269 |
1944 |
0.86 |
23 |
23 |
1 |
934 |
988 |
1.06 |
5.47 |
5.72 |
1.04 |
|
32 |
371 |
11.59 |
985 |
941 |
0.96 |
32 |
835 |
26.09 |
brp.3.pm |
579541 |
5625 |
8320 |
1.48 |
36200 |
20223 |
0.56 |
38 |
38 |
1 |
5487 |
7816 |
1.42 |
0.97 |
1.44 |
1.48 |
|
32 |
969 |
30.28 |
5601 |
7793 |
1.39 |
32 |
7548 |
235.88 |
cambridge.1.pm |
335847 |
28782 |
28966 |
1.01 |
44756 |
49023 |
1.1 |
4 |
4 |
1 |
28631 |
28855 |
1.01 |
8.57 |
8.62 |
1.01 |
|
6 |
2 |
0.33 |
28765 |
28962 |
1.01 |
6 |
3140 |
523.33 |
cambridge.2.pm |
531799 |
31307 |
39912 |
1.27 |
78881 |
113244 |
1.44 |
3 |
3 |
1 |
29076 |
39801 |
1.37 |
5.89 |
7.51 |
1.27 |
|
6 |
2 |
0.33 |
31298 |
39911 |
1.28 |
6 |
1123 |
187.17 |
cambridge.3.pm |
593210 |
48739 |
44848 |
0.92 |
79359 |
79143 |
1 |
4 |
4 |
1 |
48090 |
44656 |
0.93 |
8.22 |
7.56 |
0.92 |
|
6 |
2 |
0.33 |
48645 |
44846 |
0.92 |
6 |
3537 |
589.5 |
firewire_link.1.pm |
2378 |
99 |
89 |
0.9 |
12 |
12 |
1 |
8 |
8 |
1 |
9 |
9 |
1 |
4.16 |
3.74 |
0.9 |
|
11 |
11 |
1 |
99 |
89 |
0.9 |
12 |
12 |
1 |
firewire_link.2.pm |
50160 |
192 |
172 |
0.9 |
278 |
262 |
0.94 |
8 |
8 |
1 |
9 |
9 |
1 |
0.38 |
0.34 |
0.9 |
|
14 |
14 |
1 |
192 |
172 |
0.9 |
18 |
18 |
1 |
firewire_link.4.pm |
18078 |
138 |
126 |
0.91 |
48 |
48 |
1 |
11 |
11 |
1 |
12 |
12 |
1 |
0.76 |
0.7 |
0.91 |
|
11 |
11 |
1 |
138 |
126 |
0.91 |
12 |
12 |
1 |
firewire_link.7.pm |
126938 |
178 |
164 |
0.92 |
180 |
180 |
1 |
14 |
14 |
1 |
15 |
15 |
1 |
0.14 |
0.13 |
0.92 |
|
11 |
11 |
1 |
178 |
164 |
0.92 |
12 |
12 |
1 |
iprotocol.1.pm |
9828 |
205 |
542 |
2.64 |
2697 |
3311 |
1.23 |
2 |
2 |
1 |
131 |
280 |
2.14 |
2.09 |
5.51 |
2.64 |
|
|
|
|
|
|
|
|
|
|
iprotocol.2.pm |
36775 |
302 |
1154 |
3.82 |
9389 |
11113 |
1.18 |
2 |
2 |
1 |
153 |
186 |
1.22 |
0.82 |
3.14 |
3.82 |
|
|
|
|
|
|
|
|
|
|
iprotocol.3.pm |
1237943 |
754 |
3105 |
4.12 |
237029 |
291026 |
1.23 |
2 |
2 |
1 |
289 |
632 |
2.19 |
0.06 |
0.25 |
4.12 |
|
|
|
|
|
|
|
|
|
|
protocols.1.pm |
1504 |
594 |
334 |
0.56 |
975 |
336 |
0.34 |
8 |
8 |
1 |
496 |
236 |
0.48 |
39.49 |
22.21 |
0.56 |
|
|
|
|
|
|
|
|
|
|
protocols.2.pm |
3815 |
593 |
715 |
1.21 |
1830 |
1905 |
1.04 |
2 |
2 |
1 |
526 |
643 |
1.22 |
15.54 |
18.74 |
1.21 |
|
|
|
|
|
|
|
|
|
|
protocols.3.pm |
5469 |
1075 |
961 |
0.89 |
2729 |
1568 |
0.57 |
26 |
26 |
1 |
1013 |
821 |
0.81 |
19.66 |
17.57 |
0.89 |
|
37 |
465 |
12.57 |
879 |
934 |
1.06 |
37 |
934 |
25.24 |
protocols.4.pm |
1198445 |
155292 |
112927 |
0.73 |
442137 |
220334 |
0.5 |
105 |
26 |
0.25 |
154678 |
111827 |
0.72 |
12.96 |
9.42 |
0.73 |
|
130 |
104 |
0.8 |
139908 |
83581 |
0.6 |
130 |
7398 |
56.91 |
protocols.5.pm |
3125283 |
566664 |
355818 |
0.63 |
1476635 |
727836 |
0.49 |
177 |
33 |
0.19 |
559459 |
348217 |
0.62 |
18.13 |
11.39 |
0.63 |
|
163 |
131 |
0.8 |
500426 |
214312 |
0.43 |
163 |
23686 |
145.31 |
rether.1.pm |
4731 |
2437 |
1212 |
0.5 |
509 |
537 |
1.06 |
25 |
25 |
1 |
2208 |
1115 |
0.5 |
51.51 |
25.62 |
0.5 |
|
387 |
664 |
1.72 |
2417 |
1191 |
0.49 |
387 |
1044 |
2.7 |
rether.2.pm |
10879 |
5150 |
1792 |
0.35 |
1026 |
950 |
0.93 |
24 |
24 |
1 |
4947 |
1776 |
0.36 |
47.34 |
16.47 |
0.35 |
|
295 |
562 |
1.91 |
5119 |
1783 |
0.35 |
295 |
1037 |
3.52 |
rether.3.pm |
67969 |
29335 |
4626 |
0.16 |
2977 |
3061 |
1.03 |
147 |
82 |
0.56 |
28462 |
4378 |
0.15 |
43.16 |
6.81 |
0.16 |
|
799 |
325 |
0.41 |
28860 |
4550 |
0.16 |
799 |
1805 |
2.26 |
rether.4.pm |
252540 |
91151 |
15184 |
0.17 |
16306 |
17516 |
1.07 |
93 |
93 |
1 |
88841 |
14906 |
0.17 |
36.09 |
6.01 |
0.17 |
|
1380 |
1575 |
1.14 |
90756 |
15184 |
0.17 |
1380 |
6476 |
4.69 |
rether.5.pm |
293469 |
111276 |
15430 |
0.14 |
17509 |
15327 |
0.88 |
140 |
104 |
0.74 |
109759 |
15167 |
0.14 |
37.92 |
5.26 |
0.14 |
|
1045 |
1005 |
0.96 |
110417 |
15284 |
0.14 |
1045 |
3946 |
3.78 |
rether.6.pm |
532976 |
209278 |
26730 |
0.13 |
15342 |
29066 |
1.89 |
363 |
106 |
0.29 |
202780 |
26395 |
0.13 |
39.27 |
5.02 |
0.13 |
|
2270 |
2490 |
1.1 |
207577 |
26644 |
0.13 |
2270 |
6985 |
3.08 |
rether.7.pm |
726048 |
289785 |
40112 |
0.14 |
57629 |
50795 |
0.88 |
80 |
80 |
1 |
286649 |
39794 |
0.14 |
39.91 |
5.52 |
0.14 |
|
1467 |
2696 |
1.84 |
289071 |
40090 |
0.14 |
1467 |
16579 |
11.3 |
|
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 |
1504 |
99 |
89 |
0.13 |
12 |
12 |
0.34 |
2 |
2 |
0.19 |
9 |
9 |
0.13 |
0.06 |
0.13 |
0.13 |
|
6 |
2 |
0.33 |
99 |
89 |
0.13 |
6 |
12 |
1 |
Max |
3125283 |
566664 |
355818 |
4.12 |
1476635 |
727836 |
1.89 |
363 |
106 |
1 |
559459 |
348217 |
2.19 |
51.51 |
25.62 |
4.12 |
|
2270 |
2696 |
30.28 |
500426 |
214312 |
1.39 |
2270 |
23686 |
589.5 |
Avg |
390964.88 |
63253.04 |
28233.04 |
1.07 |
101119.44 |
65602.16 |
0.97 |
53.04 |
29.8 |
0.88 |
62159.08 |
27596.88 |
0.87 |
18.08 |
8.39 |
1.07 |
|
419 |
587.75 |
3.57 |
74633.75 |
26401.7 |
0.7 |
471.1 |
4375.85 |
91.29 |