–ÚŽŸ
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 |