–ÚŽŸ

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