–ÚŽŸ

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
anderson.1.pm 352666 2638 3740 10 2620 0.91 0.75 522









anderson.2.pm 1461 628 699 15 570 25.33 42.98 19









anderson.4.pm 29643 12018 22718 20 11900 33.11 40.54 74









at.1.pm 39356 5582 13712 1 5394 33.02 14.18 83









at.2.pm 49445 6304 18268 1 6088 36.25 12.75 143









at.3.pm 1711622 207578 734585 1 207196 45.74 12.13 436









bakery.1.pm 1485 240 166 10 240 9 16.16 24
87 189 2.17 99 237 2.39 97 237 2.44
bakery.2.pm 1125 254 171 10 240 9.5 22.58 14
57 207 3.63 69 249 3.61 59 239 4.05
bakery.3.pm 29958 3762 4246 13 3653 15.85 12.56 123
40 108 2.7 96 3618 37.69 43 108 2.51
bakery.4.pm 151290 24156 33712 13 23855 15.53 15.97 203
66 6787 102.83 99 24155 243.99 66 6787 102.83
driving_phils.1.pm 5203 843 706 19 669 10.78 16.2 79









driving_phils.2.pm 7575 557 651 24 480 6.97 7.35 77









fischer.1.pm 636 154 212 1 137 21.19 24.21 20









fischer.2.pm 21735 3031 7658 1 2685 49.56 13.95 166









fischer.4.pm 1272256 28925 115585 1 28413 27.05 2.27 12833









lamport.1.pm 6727 1543 2757 7 1447 26.61 22.94 37









lamport.2.pm 21268 2736 6630 7 2659 29.19 12.86 130
11 172 15.64 13 1326 102 11 172 15.64
lamport.3.pm 8658 2342 3646 7 2086 26.97 27.05 41
15 43 2.87 21 1256 59.81 15 43 2.87
lamport.5.pm 175584 41640 106073 7 41447 35.42 23.72 237









lamport.6.pm 976246 138997 437036 7 138034 43.63 14.24 590
14 436 31.14 31 85004 2742.06 15 436 29.07
lamport_nonatomic.1.pm 125253 28468 87104 2 28142 42.85 22.73 171









lamport_nonatomic.2.pm 107177 7714 56781 2 7115 35.2 7.2 350









lamport_nonatomic.3.pm 246498 56105 166957 2 55432 42.12 22.76 332









lann.1.pm 71621 7872 19119 12 6678 17.69 10.99 188
25 53 2.12 140 7870 56.21 139 1022 7.35
lann.2.pm 104130 668 3882 16 389 12.52 0.64 1299









mcs.1.pm 4241 1099 1758 5 1089 25.73 25.91 23









mcs.2.pm 696 42 15 5 25 3.74 6.03 39
22 29 1.32 22 42 1.91 22 29 1.32
mcs.3.pm 287034 71524 195084 5 71148 35.65 24.92 220









mcs.4.pm 3992 74 60 5 60 4.79 1.85 139
22 27 1.23 22 67 3.05 22 27 1.23
mcs.6.pm 36600 132 139 5 100 4.9 0.36 1142
27 32 1.19 27 132 4.89 27 32 1.19
peterson.1.pm 8145 1596 2824 15 1444 17.98 19.59 53









peterson.2.pm 114516 23505 54386 15 23052 29.92 20.53 943









peterson.3.pm 35142 12899 27689 9 12438 38.91 36.71 115









peterson.4.pm 752460 68989 224208 24 67538 23.16 9.17 1330









phils.1.pm 80 50 61 4 36 33.49 62.5 4
4 12 3 4 12 3 4 12 3
phils.2.pm 581 412 910 2 324 39.57 70.91 7









phils.3.pm 729 495 962 4 456 37.69 67.9 7









phils.4.pm 340789 291549 1449707 2 291370 47.47 85.55 33









phils.5.pm 531440 434031 1960291 4 433000 49.53 81.67 66
12 24316 2026.33 12 24316 2026.33 12 24316 2026.33
szymanski.1.pm 18435 2079 2754 9 1972 10.53 11.28 310









szymanski.2.pm 29748 2051 2832 16 1993 13.7 6.89 238









szymanski.3.pm 998794 46277 139669 10 44972 9.33 4.63 5087










States Depth Cycle Shortest cycle Largest cycle Back edge(%) Max stack(%) Max width
Level Depth Ratio Level Depth Ratio Level Depth Ratio
Min 80 42 15 1 25 0.91 0.36 4
4 12 1.19 4 12 1.91 4 12 1.19
Max 1711622 434031 1960291 24 433000 49.56 85.55 12833
87 24316 2026.33 140 85004 2742.06 139 24316 2026.33
Avg 206715.24 36703.79 140718.17 8.29 36394.9 25.67 22.76 665.4
30.92 2493.15 168.94 50.38 11406.46 406.69 40.92 2573.85 169.22

•\ 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
anderson.1.pm 352666 2638 3740 10 2620 0.91 0.75 522









anderson.2.pm 1461 628 699 15 570 25.33 42.98 19









anderson.4.pm 29643 12018 22718 20 11900 33.11 40.54 74









at.1.pm 39356 5723 14257 1 5611 32.03 14.54 274









at.2.pm 49445 6555 18256 1 6523 32.64 13.26 236









at.3.pm 1711622 221252 770287 1 220977 48.24 12.93 1466









bakery.1.pm 1485 301 187 10 290 10.17 20.27 14
87 159 1.83 99 297 3 97 297 3.06
bakery.2.pm 1125 290 169 10 290 9.89 25.78 18
57 157 2.75 69 289 4.19 59 279 4.73
bakery.3.pm 29958 3515 4187 13 3445 14.95 11.73 247
40 112 2.8 96 3267 34.03 43 2006 46.65
bakery.4.pm 151290 24360 34690 13 24141 17.82 16.1 292
66 11420 173.03 99 24303 245.48 66 11441 173.35
driving_phils.1.pm 5203 552 275 19 480 5.31 10.61 87









driving_phils.2.pm 7575 653 224 24 432 3.69 8.62 84









fischer.1.pm 636 196 215 1 176 21.69 30.82 32









fischer.2.pm 21735 3248 8042 1 3207 46.8 14.94 170









fischer.4.pm 1272256 33194 116010 1 33087 24.62 2.61 39197









lamport.1.pm 6727 1527 2650 7 1483 27.26 22.7 62









lamport.2.pm 21268 2733 6396 7 2624 28.04 12.85 141
11 174 15.82 13 1193 91.77 11 862 78.36
lamport.3.pm 8658 2128 3613 7 1992 28.11 24.58 64
15 43 2.87 21 2005 95.48 15 43 2.87
lamport.5.pm 175584 42701 107290 7 42446 36.11 24.32 285









lamport.6.pm 976246 141584 440254 7 140783 43.58 14.5 779
14 437 31.21 31 59595 1922.42 15 2440 162.67
lamport_nonatomic.1.pm 125253 37430 89666 2 37211 36.44 29.88 323









lamport_nonatomic.2.pm 107177 9863 63655 2 9029 40.15 9.2 106









lamport_nonatomic.3.pm 246498 69932 175644 2 69706 40.18 28.37 338









lann.1.pm 71621 5312 13988 12 4875 15.04 7.42 134
25 29 1.16 140 5006 35.76 139 2130 15.32
lann.2.pm 104130 246 2453 16 197 9.54 0.24 2278









mcs.1.pm 4241 1141 1683 5 1095 25.92 26.9 39









mcs.2.pm 696 42 14 5 25 2.36 6.03 36
22 29 1.32 22 42 1.91 22 42 1.91
mcs.3.pm 287034 79708 194555 5 79350 36.67 27.77 106









mcs.4.pm 3992 67 38 5 45 2.98 1.68 280
22 27 1.23 22 67 3.05 22 67 3.05
mcs.6.pm 36600 147 137 5 125 3.28 0.4 837
27 32 1.19 27 147 5.44 27 147 5.44
peterson.1.pm 8145 1150 1685 15 1016 16.85 14.12 90









peterson.2.pm 114516 22298 46603 15 22134 25.97 19.47 722









peterson.3.pm 35142 12736 22597 9 12579 31.04 36.24 79









peterson.4.pm 752460 54438 146650 24 51377 23.92 7.23 1180









phils.1.pm 80 57 55 4 52 28.3 71.25 4
4 40 10 4 40 10 4 40 10
phils.2.pm 581 467 944 2 442 41.19 80.38 10









phils.3.pm 729 517 943 4 496 37.55 70.92 9









phils.4.pm 340789 308043 1434114 2 307336 46.62 90.39 22









phils.5.pm 531440 459238 1791942 4 459036 44.22 86.41 28
12 46784 3898.67 12 46784 3898.67 12 46784 3898.67
szymanski.1.pm 18435 1685 1741 9 1651 7.59 9.14 214









szymanski.2.pm 29748 3743 3424 17 3232 12.79 12.58 191









szymanski.3.pm 998794 51478 114519 10 49985 9.69 5.15 4337










States Depth Cycle Shortest cycle Largest cycle Back edge(%) Max stack(%) Max width
Level Depth Ratio Level Depth Ratio Level Depth Ratio
Min 80 42 14 1 25 0.91 0.24 4
4 27 1.16 4 40 1.91 4 40 1.91
Max 1711622 459238 1791942 24 459036 48.24 90.39 39197
87 46784 3898.67 140 59595 3898.67 139 46784 3898.67
Avg 206715.24 38703.19 134790.69 8.31 38430.26 24.49 23.97 1319.67
30.92 4572.54 318.76 50.38 11002.69 488.55 40.92 5121.38 338.93

•\ 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
anderson.1.pm 352666 2638 2638 1 3740 3740 1 10 10 1 2620 2620 1 0.75 0.75 1









anderson.2.pm 1461 628 628 1 699 699 1 15 15 1 570 570 1 42.98 42.98 1









anderson.4.pm 29643 12018 12018 1 22718 22718 1 20 20 1 11900 11900 1 40.54 40.54 1









at.1.pm 39356 5582 5723 1.03 13712 14257 1.04 1 1 1 5394 5611 1.04 14.18 14.54 1.03









at.2.pm 49445 6304 6555 1.04 18268 18256 1 1 1 1 6088 6523 1.07 12.75 13.26 1.04









at.3.pm 1711622 207578 221252 1.07 734585 770287 1.05 1 1 1 207196 220977 1.07 12.13 12.93 1.07









bakery.1.pm 1485 240 301 1.25 166 187 1.13 10 10 1 240 290 1.21 16.16 20.27 1.25
189 159 0.84 237 297 1.25 237 297 1.25
bakery.2.pm 1125 254 290 1.14 171 169 0.99 10 10 1 240 290 1.21 22.58 25.78 1.14
207 157 0.76 249 289 1.16 239 279 1.17
bakery.3.pm 29958 3762 3515 0.93 4246 4187 0.99 13 13 1 3653 3445 0.94 12.56 11.73 0.93
108 112 1.04 3618 3267 0.9 108 2006 18.57
bakery.4.pm 151290 24156 24360 1.01 33712 34690 1.03 13 13 1 23855 24141 1.01 15.97 16.1 1.01
6787 11420 1.68 24155 24303 1.01 6787 11441 1.69
driving_phils.1.pm 5203 843 552 0.65 706 275 0.39 19 19 1 669 480 0.72 16.2 10.61 0.65









driving_phils.2.pm 7575 557 653 1.17 651 224 0.34 24 24 1 480 432 0.9 7.35 8.62 1.17









fischer.1.pm 636 154 196 1.27 212 215 1.01 1 1 1 137 176 1.28 24.21 30.82 1.27









fischer.2.pm 21735 3031 3248 1.07 7658 8042 1.05 1 1 1 2685 3207 1.19 13.95 14.94 1.07









fischer.4.pm 1272256 28925 33194 1.15 115585 116010 1 1 1 1 28413 33087 1.16 2.27 2.61 1.15









lamport.1.pm 6727 1543 1527 0.99 2757 2650 0.96 7 7 1 1447 1483 1.02 22.94 22.7 0.99









lamport.2.pm 21268 2736 2733 1 6630 6396 0.96 7 7 1 2659 2624 0.99 12.86 12.85 1
172 174 1.01 1326 1193 0.9 172 862 5.01
lamport.3.pm 8658 2342 2128 0.91 3646 3613 0.99 7 7 1 2086 1992 0.95 27.05 24.58 0.91
43 43 1 1256 2005 1.6 43 43 1
lamport.5.pm 175584 41640 42701 1.03 106073 107290 1.01 7 7 1 41447 42446 1.02 23.72 24.32 1.03









lamport.6.pm 976246 138997 141584 1.02 437036 440254 1.01 7 7 1 138034 140783 1.02 14.24 14.5 1.02
436 437 1 85004 59595 0.7 436 2440 5.6
lamport_nonatomic.1.pm 125253 28468 37430 1.31 87104 89666 1.03 2 2 1 28142 37211 1.32 22.73 29.88 1.31









lamport_nonatomic.2.pm 107177 7714 9863 1.28 56781 63655 1.12 2 2 1 7115 9029 1.27 7.2 9.2 1.28









lamport_nonatomic.3.pm 246498 56105 69932 1.25 166957 175644 1.05 2 2 1 55432 69706 1.26 22.76 28.37 1.25









lann.1.pm 71621 7872 5312 0.67 19119 13988 0.73 12 12 1 6678 4875 0.73 10.99 7.42 0.67
53 29 0.55 7870 5006 0.64 1022 2130 2.08
lann.2.pm 104130 668 246 0.37 3882 2453 0.63 16 16 1 389 197 0.51 0.64 0.24 0.37









mcs.1.pm 4241 1099 1141 1.04 1758 1683 0.96 5 5 1 1089 1095 1.01 25.91 26.9 1.04









mcs.2.pm 696 42 42 1 15 14 0.93 5 5 1 25 25 1 6.03 6.03 1
29 29 1 42 42 1 29 42 1.45
mcs.3.pm 287034 71524 79708 1.11 195084 194555 1 5 5 1 71148 79350 1.12 24.92 27.77 1.11









mcs.4.pm 3992 74 67 0.91 60 38 0.63 5 5 1 60 45 0.75 1.85 1.68 0.91
27 27 1 67 67 1 27 67 2.48
mcs.6.pm 36600 132 147 1.11 139 137 0.99 5 5 1 100 125 1.25 0.36 0.4 1.11
32 32 1 132 147 1.11 32 147 4.59
peterson.1.pm 8145 1596 1150 0.72 2824 1685 0.6 15 15 1 1444 1016 0.7 19.59 14.12 0.72









peterson.2.pm 114516 23505 22298 0.95 54386 46603 0.86 15 15 1 23052 22134 0.96 20.53 19.47 0.95









peterson.3.pm 35142 12899 12736 0.99 27689 22597 0.82 9 9 1 12438 12579 1.01 36.71 36.24 0.99









peterson.4.pm 752460 68989 54438 0.79 224208 146650 0.65 24 24 1 67538 51377 0.76 9.17 7.23 0.79









phils.1.pm 80 50 57 1.14 61 55 0.9 4 4 1 36 52 1.44 62.5 71.25 1.14
12 40 3.33 12 40 3.33 12 40 3.33
phils.2.pm 581 412 467 1.13 910 944 1.04 2 2 1 324 442 1.36 70.91 80.38 1.13









phils.3.pm 729 495 517 1.04 962 943 0.98 4 4 1 456 496 1.09 67.9 70.92 1.04









phils.4.pm 340789 291549 308043 1.06 1449707 1434114 0.99 2 2 1 291370 307336 1.05 85.55 90.39 1.06









phils.5.pm 531440 434031 459238 1.06 1960291 1791942 0.91 4 4 1 433000 459036 1.06 81.67 86.41 1.06
24316 46784 1.92 24316 46784 1.92 24316 46784 1.92
szymanski.1.pm 18435 2079 1685 0.81 2754 1741 0.63 9 9 1 1972 1651 0.84 11.28 9.14 0.81









szymanski.2.pm 29748 2051 3743 1.82 2832 3424 1.21 16 17 1.06 1993 3232 1.62 6.89 12.58 1.82









szymanski.3.pm 998794 46277 51478 1.11 139669 114519 0.82 10 10 1 44972 49985 1.11 4.63 5.15 1.11










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 80 42 42 0.37 15 14 0.34 1 1 1 25 25 0.51 0.36 0.24 0.37
12 27 0.55 12 40 0.64 12 40 1
Max 1711622 434031 459238 1.82 1960291 1791942 1.21 24 24 1.06 433000 459036 1.62 85.55 90.39 1.82
24316 46784 3.33 85004 59595 3.33 24316 46784 18.57
Avg 206715.24 36703.79 38703.19 1.03 140718.17 134790.69 0.92 8.29 8.31 1 36394.9 38430.26 1.05 22.76 23.97 1.03
2493.15 4572.54 1.24 11406.46 11002.69 1.27 2573.85 5121.38 3.86