–ÚŽŸ

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