–ÚŽŸ
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 |
adding.1.pm |
7372 |
39 |
0 |
|
|
17.79 |
0.53 |
695 |
|
15 |
15 |
1 |
30 |
39 |
1.3 |
15 |
15 |
1 |
adding.2.pm |
836838 |
77 |
0 |
|
|
20.91 |
0.01 |
52012 |
|
24 |
24 |
1 |
57 |
75 |
1.32 |
24 |
24 |
1 |
adding.3.pm |
1894376 |
84 |
0 |
|
|
21 |
0 |
112047 |
|
27 |
27 |
1 |
63 |
84 |
1.33 |
27 |
27 |
1 |
adding.4.pm |
3370680 |
90 |
0 |
|
|
21.33 |
0 |
193622 |
|
27 |
27 |
1 |
66 |
90 |
1.36 |
27 |
27 |
1 |
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 |
blocks.2.pm |
7059 |
4264 |
9276 |
2 |
4224 |
49.99 |
60.41 |
13 |
|
|
|
|
|
|
|
|
|
|
blocks.3.pm |
695420 |
487724 |
1047376 |
2 |
486208 |
50 |
70.13 |
66 |
|
23 |
177479 |
7716.48 |
23 |
177479 |
7716.48 |
23 |
177479 |
7716.48 |
bopdp.1.pm |
11447 |
107 |
61 |
16 |
17 |
2.71 |
0.93 |
343 |
|
47 |
65 |
1.38 |
51 |
65 |
1.27 |
47 |
65 |
1.38 |
bopdp.2.pm |
18005 |
2133 |
12774 |
1 |
2045 |
15.74 |
11.85 |
172 |
|
|
|
|
|
|
|
|
|
|
bopdp.3.pm |
764375 |
205 |
2025 |
16 |
17 |
6.11 |
0.03 |
11079 |
|
58 |
112 |
1.93 |
62 |
112 |
1.81 |
58 |
112 |
1.93 |
bridge.1.pm |
96194 |
47 |
0 |
|
|
4.26 |
0.05 |
5842 |
|
12 |
12 |
1 |
39 |
47 |
1.21 |
14 |
17 |
1.21 |
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 |
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 |
|
|
|
|
|
|
|
|
|
|
elevator.1.pm |
87461 |
19169 |
27167 |
23 |
19089 |
23.47 |
21.92 |
220 |
|
|
|
|
|
|
|
|
|
|
elevator.2.pm |
23969 |
6608 |
7937 |
18 |
6458 |
17.9 |
27.57 |
74 |
|
|
|
|
|
|
|
|
|
|
elevator2.1.pm |
1728 |
452 |
666 |
12 |
434 |
21.14 |
26.16 |
37 |
|
|
|
|
|
|
|
|
|
|
elevator2.2.pm |
179200 |
18092 |
141748 |
7 |
11434 |
55.22 |
10.1 |
967 |
|
|
|
|
|
|
|
|
|
|
elevator_planning.1.pm |
27632 |
14811 |
95750 |
1 |
14543 |
41.57 |
53.6 |
28 |
|
17 |
98 |
5.76 |
18 |
102 |
5.67 |
17 |
98 |
5.76 |
elevator_planning.3.pm |
52498 |
31047 |
259524 |
1 |
30941 |
44.37 |
59.14 |
30 |
|
16 |
53 |
3.31 |
17 |
60 |
3.53 |
16 |
53 |
3.31 |
extinction.1.pm |
345881 |
119 |
0 |
|
|
0.22 |
0.03 |
6098 |
|
18 |
18 |
1 |
114 |
119 |
1.04 |
18 |
18 |
1 |
extinction.2.pm |
436043 |
118 |
0 |
|
|
0.24 |
0.03 |
8358 |
|
18 |
18 |
1 |
114 |
118 |
1.04 |
18 |
18 |
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 |
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 |
|
|
|
|
|
|
|
|
|
|
frogs.1.pm |
5096 |
83 |
0 |
|
|
0 |
1.63 |
116 |
|
10 |
10 |
1 |
83 |
83 |
1 |
10 |
10 |
1 |
frogs.2.pm |
18209 |
32 |
0 |
|
|
4.14 |
0.18 |
1821 |
|
7 |
7 |
1 |
25 |
30 |
1.2 |
7 |
7 |
1 |
frogs.3.pm |
760791 |
258 |
0 |
|
|
0 |
0.03 |
7612 |
|
10 |
10 |
1 |
258 |
258 |
1 |
17 |
17 |
1 |
gear.1.pm |
53171 |
3211 |
5425 |
1 |
3182 |
7.78 |
6.04 |
121 |
|
11 |
14 |
1.27 |
194 |
3191 |
16.45 |
15 |
15 |
1 |
gear.2.pm |
324971 |
21211 |
35025 |
1 |
21182 |
8.3 |
6.53 |
121 |
|
11 |
14 |
1.27 |
994 |
21191 |
21.32 |
15 |
15 |
1 |
hanoi.1.pm |
6563 |
6562 |
9840 |
2 |
4375 |
49.99 |
99.98 |
1 |
|
|
|
|
|
|
|
|
|
|
hanoi.2.pm |
531443 |
531442 |
797160 |
2 |
354295 |
50 |
100 |
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 |
|
|
|
|
|
|
|
|
|
|
krebs.1.pm |
59202 |
84 |
0 |
|
|
0 |
0.14 |
1652 |
|
15 |
15 |
1 |
84 |
84 |
1 |
15 |
15 |
1 |
krebs.2.pm |
721518 |
110 |
0 |
|
|
0 |
0.02 |
16960 |
|
15 |
15 |
1 |
110 |
110 |
1 |
15 |
15 |
1 |
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 |
|
|
|
|
|
|
|
|
|
|
leader_filters.1.pm |
4807 |
38 |
0 |
|
|
0 |
0.79 |
249 |
|
13 |
13 |
1 |
38 |
38 |
1 |
13 |
13 |
1 |
leader_filters.2.pm |
16409 |
38 |
0 |
|
|
0.58 |
0.23 |
973 |
|
23 |
28 |
1.22 |
38 |
38 |
1 |
33 |
33 |
1 |
leader_filters.3.pm |
87709 |
44 |
0 |
|
|
0 |
0.05 |
4672 |
|
14 |
14 |
1 |
44 |
44 |
1 |
14 |
14 |
1 |
leader_filters.4.pm |
47025 |
34 |
0 |
|
|
0 |
0.07 |
2660 |
|
14 |
14 |
1 |
34 |
34 |
1 |
14 |
14 |
1 |
loyd.1.pm |
722 |
226 |
840 |
2 |
140 |
49.91 |
31.3 |
10 |
|
|
|
|
|
|
|
|
|
|
loyd.2.pm |
362882 |
199347 |
483840 |
2 |
114842 |
50 |
54.93 |
56 |
|
|
|
|
|
|
|
|
|
|
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 |
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 |
peg_solitaire.1.pm |
32183 |
16 |
0 |
|
|
0 |
0.05 |
7933 |
|
5 |
5 |
1 |
16 |
16 |
1 |
15 |
15 |
1 |
peg_solitaire.4.pm |
873328 |
24 |
0 |
|
|
0 |
0 |
150737 |
|
10 |
10 |
1 |
24 |
24 |
1 |
21 |
21 |
1 |
peg_solitaire.5.pm |
84193 |
17 |
0 |
|
|
0 |
0.02 |
19220 |
|
8 |
8 |
1 |
17 |
17 |
1 |
13 |
13 |
1 |
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 |
pouring.1.pm |
503 |
418 |
3095 |
2 |
413 |
70.45 |
83.1 |
6 |
|
|
|
|
|
|
|
|
|
|
pouring.2.pm |
51624 |
46701 |
1002509 |
2 |
46562 |
82.46 |
90.46 |
16 |
|
|
|
|
|
|
|
|
|
|
production_cell.1.pm |
63585 |
13883 |
26706 |
35 |
13688 |
20.11 |
21.83 |
188 |
|
|
|
|
|
|
|
|
|
|
production_cell.2.pm |
63585 |
13883 |
26706 |
35 |
13688 |
20.11 |
21.83 |
188 |
|
|
|
|
|
|
|
|
|
|
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 |
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 |
|
|
|
|
|
|
|
|
|
|
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 |
rushhour.1.pm |
1050 |
473 |
2527 |
2 |
268 |
47.98 |
45.05 |
7 |
|
|
|
|
|
|
|
|
|
|
rushhour.2.pm |
2244 |
889 |
5957 |
2 |
334 |
47.68 |
39.62 |
8 |
|
|
|
|
|
|
|
|
|
|
rushhour.3.pm |
156725 |
137635 |
791990 |
2 |
131752 |
50 |
87.82 |
8 |
|
|
|
|
|
|
|
|
|
|
rushhour.4.pm |
327677 |
295917 |
1695117 |
2 |
283042 |
50 |
90.31 |
9 |
|
|
|
|
|
|
|
|
|
|
schedule_world.1.pm |
3886 |
118 |
3958 |
2 |
99 |
28.14 |
3.04 |
104 |
|
8 |
52 |
6.5 |
13 |
95 |
7.31 |
10 |
52 |
5.2 |
schedule_world.2.pm |
106100 |
873 |
114221 |
2 |
856 |
25.96 |
0.82 |
517 |
|
4 |
58 |
14.5 |
13 |
670 |
51.54 |
8 |
58 |
7.25 |
sokoban.1.pm |
91455 |
1525 |
105493 |
2 |
1346 |
49.67 |
1.67 |
303 |
|
114 |
1404 |
12.32 |
123 |
1413 |
11.49 |
114 |
1404 |
12.32 |
sokoban.2.pm |
761635 |
690 |
914369 |
2 |
318 |
48.36 |
0.09 |
2943 |
|
89 |
581 |
6.53 |
96 |
594 |
6.19 |
89 |
581 |
6.53 |
sorter.1.pm |
14719 |
506 |
3410 |
1 |
145 |
14.36 |
3.44 |
143 |
|
|
|
|
|
|
|
|
|
|
sorter.2.pm |
4744 |
223 |
1082 |
1 |
35 |
13.39 |
4.7 |
66 |
|
|
|
|
|
|
|
|
|
|
sorter.3.pm |
779481 |
800 |
203127 |
1 |
150 |
15.39 |
0.1 |
7435 |
|
|
|
|
|
|
|
|
|
|
sorter.5.pm |
151947 |
749 |
63299 |
1 |
150 |
23.52 |
0.49 |
1452 |
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
train-gate.1.pm |
29600 |
701 |
1836 |
26 |
660 |
21.56 |
2.37 |
451 |
|
6 |
6 |
1 |
100 |
678 |
6.78 |
6 |
6 |
1 |
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Min |
80 |
16 |
0 |
1 |
9 |
0 |
0 |
1 |
|
2 |
4 |
1 |
4 |
12 |
1 |
4 |
4 |
1 |
Max |
3370680 |
566664 |
1960291 |
363 |
559459 |
82.46 |
100 |
193622 |
|
124 |
177479 |
7716.48 |
994 |
500426 |
7716.48 |
221 |
177479 |
7716.48 |
Avg |
270413.87 |
38369.08 |
132072.11 |
17.26 |
43157.87 |
22.54 |
20.1 |
5274.82 |
|
28.2 |
2912.53 |
133.42 |
91.16 |
26363.5 |
317.55 |
39.99 |
3010.47 |
134.48 |
•\ 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 |
adding.1.pm |
7372 |
39 |
0 |
|
|
17.79 |
0.53 |
695 |
|
15 |
15 |
1 |
30 |
39 |
1.3 |
15 |
15 |
1 |
adding.2.pm |
836838 |
77 |
0 |
|
|
20.91 |
0.01 |
52012 |
|
24 |
24 |
1 |
57 |
75 |
1.32 |
24 |
24 |
1 |
adding.3.pm |
1894376 |
84 |
0 |
|
|
21 |
0 |
112047 |
|
27 |
27 |
1 |
63 |
84 |
1.33 |
27 |
27 |
1 |
adding.4.pm |
3370680 |
90 |
0 |
|
|
21.33 |
0 |
193622 |
|
27 |
27 |
1 |
66 |
90 |
1.36 |
27 |
27 |
1 |
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 |
blocks.2.pm |
7059 |
2710 |
9276 |
2 |
2654 |
49.99 |
38.39 |
44 |
|
|
|
|
|
|
|
|
|
|
blocks.3.pm |
695420 |
359980 |
1047376 |
2 |
358696 |
50 |
51.76 |
159 |
|
23 |
348619 |
15157.35 |
23 |
348619 |
15157.35 |
23 |
348619 |
15157.35 |
bopdp.1.pm |
11447 |
86 |
142 |
16 |
17 |
3.41 |
0.75 |
491 |
|
47 |
73 |
1.55 |
51 |
73 |
1.43 |
47 |
73 |
1.55 |
bopdp.2.pm |
18005 |
1935 |
13952 |
1 |
1715 |
22.58 |
10.75 |
136 |
|
|
|
|
|
|
|
|
|
|
bopdp.3.pm |
764375 |
205 |
4573 |
16 |
17 |
9.99 |
0.03 |
11613 |
|
58 |
189 |
3.26 |
62 |
189 |
3.05 |
58 |
189 |
3.26 |
bridge.1.pm |
96194 |
66 |
0 |
|
|
2.89 |
0.07 |
3528 |
|
12 |
14 |
1.17 |
39 |
66 |
1.69 |
14 |
56 |
4 |
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 |
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 |
|
|
|
|
|
|
|
|
|
|
elevator.1.pm |
87461 |
32075 |
63554 |
24 |
31953 |
38.18 |
36.67 |
161 |
|
|
|
|
|
|
|
|
|
|
elevator.2.pm |
23969 |
6398 |
13018 |
19 |
6334 |
32.69 |
26.69 |
90 |
|
|
|
|
|
|
|
|
|
|
elevator2.1.pm |
1728 |
509 |
926 |
12 |
502 |
32.57 |
29.46 |
40 |
|
|
|
|
|
|
|
|
|
|
elevator2.2.pm |
179200 |
50064 |
245419 |
7 |
50060 |
58.17 |
27.94 |
1836 |
|
|
|
|
|
|
|
|
|
|
elevator_planning.1.pm |
27632 |
13901 |
95750 |
1 |
13315 |
41.57 |
50.31 |
27 |
|
17 |
601 |
35.35 |
18 |
605 |
33.61 |
17 |
601 |
35.35 |
elevator_planning.3.pm |
52498 |
24660 |
259524 |
1 |
24521 |
44.37 |
46.97 |
20 |
|
16 |
51 |
3.19 |
17 |
58 |
3.41 |
16 |
51 |
3.19 |
extinction.1.pm |
345881 |
127 |
0 |
|
|
0 |
0.04 |
5750 |
|
18 |
22 |
1.22 |
114 |
127 |
1.11 |
18 |
22 |
1.22 |
extinction.2.pm |
436043 |
127 |
0 |
|
|
0 |
0.03 |
8393 |
|
18 |
22 |
1.22 |
114 |
127 |
1.11 |
18 |
22 |
1.22 |
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 |
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 |
|
|
|
|
|
|
|
|
|
|
frogs.1.pm |
5096 |
83 |
0 |
|
|
0 |
1.63 |
116 |
|
10 |
10 |
1 |
83 |
83 |
1 |
10 |
10 |
1 |
frogs.2.pm |
18209 |
31 |
0 |
|
|
4.48 |
0.17 |
1804 |
|
7 |
7 |
1 |
25 |
30 |
1.2 |
7 |
7 |
1 |
frogs.3.pm |
760791 |
258 |
0 |
|
|
0 |
0.03 |
7612 |
|
10 |
10 |
1 |
258 |
258 |
1 |
17 |
17 |
1 |
gear.1.pm |
53171 |
1685 |
3537 |
1 |
628 |
6.59 |
3.17 |
209 |
|
11 |
131 |
11.91 |
194 |
1681 |
8.66 |
15 |
221 |
14.73 |
gear.2.pm |
324971 |
10385 |
22562 |
1 |
628 |
6.61 |
3.2 |
209 |
|
11 |
131 |
11.91 |
994 |
10381 |
10.44 |
15 |
221 |
14.73 |
hanoi.1.pm |
6563 |
4377 |
9840 |
2 |
4376 |
49.99 |
66.69 |
7 |
|
|
|
|
|
|
|
|
|
|
hanoi.2.pm |
531443 |
354297 |
797160 |
2 |
354296 |
50 |
66.67 |
11 |
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
krebs.1.pm |
59202 |
93 |
0 |
|
|
0 |
0.16 |
1455 |
|
15 |
17 |
1.13 |
84 |
93 |
1.11 |
15 |
17 |
1.13 |
krebs.2.pm |
721518 |
121 |
0 |
|
|
0 |
0.02 |
14940 |
|
15 |
17 |
1.13 |
110 |
121 |
1.1 |
15 |
17 |
1.13 |
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 |
|
|
|
|
|
|
|
|
|
|
leader_filters.1.pm |
4807 |
38 |
0 |
|
|
0 |
0.79 |
249 |
|
13 |
13 |
1 |
38 |
38 |
1 |
13 |
13 |
1 |
leader_filters.2.pm |
16409 |
38 |
0 |
|
|
0.76 |
0.23 |
973 |
|
23 |
28 |
1.22 |
38 |
38 |
1 |
33 |
33 |
1 |
leader_filters.3.pm |
87709 |
44 |
0 |
|
|
0 |
0.05 |
4672 |
|
14 |
14 |
1 |
44 |
44 |
1 |
14 |
14 |
1 |
leader_filters.4.pm |
47025 |
34 |
0 |
|
|
0 |
0.07 |
2660 |
|
14 |
14 |
1 |
34 |
34 |
1 |
14 |
14 |
1 |
loyd.1.pm |
722 |
341 |
840 |
2 |
318 |
49.91 |
47.23 |
3 |
|
|
|
|
|
|
|
|
|
|
loyd.2.pm |
362882 |
166633 |
483840 |
2 |
114842 |
50 |
45.92 |
57 |
|
|
|
|
|
|
|
|
|
|
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 |
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 |
peg_solitaire.1.pm |
32183 |
16 |
0 |
|
|
0 |
0.05 |
7933 |
|
5 |
5 |
1 |
16 |
16 |
1 |
15 |
15 |
1 |
peg_solitaire.4.pm |
873328 |
24 |
0 |
|
|
0 |
0 |
150737 |
|
10 |
10 |
1 |
24 |
24 |
1 |
21 |
21 |
1 |
peg_solitaire.5.pm |
84193 |
17 |
0 |
|
|
0 |
0.02 |
19220 |
|
8 |
8 |
1 |
17 |
17 |
1 |
13 |
13 |
1 |
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 |
pouring.1.pm |
503 |
370 |
3290 |
2 |
366 |
77.57 |
73.56 |
9 |
|
|
|
|
|
|
|
|
|
|
pouring.2.pm |
51624 |
42693 |
958254 |
2 |
42535 |
80.99 |
82.7 |
35 |
|
|
|
|
|
|
|
|
|
|
production_cell.1.pm |
63585 |
12863 |
30003 |
71 |
12796 |
25.98 |
20.23 |
180 |
|
|
|
|
|
|
|
|
|
|
production_cell.2.pm |
63585 |
12863 |
30003 |
71 |
12796 |
25.98 |
20.23 |
180 |
|
|
|
|
|
|
|
|
|
|
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 |
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 |
|
|
|
|
|
|
|
|
|
|
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 |
rushhour.1.pm |
1050 |
534 |
2527 |
2 |
292 |
49.74 |
50.86 |
5 |
|
|
|
|
|
|
|
|
|
|
rushhour.2.pm |
2244 |
980 |
5957 |
2 |
318 |
52.68 |
43.67 |
8 |
|
|
|
|
|
|
|
|
|
|
rushhour.3.pm |
156725 |
143471 |
791990 |
2 |
138854 |
50 |
91.54 |
10 |
|
|
|
|
|
|
|
|
|
|
rushhour.4.pm |
327677 |
303716 |
1695117 |
2 |
301008 |
50 |
92.69 |
12 |
|
|
|
|
|
|
|
|
|
|
schedule_world.1.pm |
3886 |
211 |
3757 |
2 |
108 |
23.36 |
5.43 |
73 |
|
8 |
98 |
12.25 |
13 |
122 |
9.38 |
10 |
100 |
10 |
schedule_world.2.pm |
106100 |
1681 |
107859 |
2 |
864 |
20.54 |
1.58 |
343 |
|
4 |
100 |
25 |
13 |
1586 |
122 |
8 |
1582 |
197.75 |
sokoban.1.pm |
91455 |
1315 |
105059 |
2 |
1106 |
49.6 |
1.44 |
320 |
|
114 |
1268 |
11.12 |
123 |
1277 |
10.38 |
114 |
1268 |
11.12 |
sokoban.2.pm |
761635 |
441 |
914512 |
2 |
324 |
48.53 |
0.06 |
7883 |
|
89 |
161 |
1.81 |
96 |
179 |
1.86 |
89 |
161 |
1.81 |
sorter.1.pm |
14719 |
1581 |
4686 |
1 |
217 |
17.68 |
10.74 |
143 |
|
|
|
|
|
|
|
|
|
|
sorter.2.pm |
4744 |
176 |
997 |
1 |
35 |
12.72 |
3.71 |
125 |
|
|
|
|
|
|
|
|
|
|
sorter.3.pm |
779481 |
2158 |
224016 |
1 |
248 |
10.76 |
0.28 |
9141 |
|
|
|
|
|
|
|
|
|
|
sorter.5.pm |
151947 |
1590 |
66007 |
1 |
248 |
13.99 |
1.05 |
1752 |
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
train-gate.1.pm |
29600 |
1099 |
1218 |
62 |
987 |
16.04 |
3.71 |
190 |
|
6 |
7 |
1.17 |
100 |
1095 |
10.95 |
6 |
7 |
1.17 |
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Min |
80 |
16 |
0 |
1 |
9 |
0 |
0 |
3 |
|
2 |
2 |
1 |
4 |
16 |
1 |
4 |
7 |
1 |
Max |
3370680 |
459238 |
1791942 |
106 |
459036 |
80.99 |
92.69 |
193622 |
|
124 |
348619 |
15157.35 |
994 |
348619 |
15157.35 |
221 |
348619 |
15157.35 |
Avg |
270413.87 |
30382.9 |
122930.47 |
13.1 |
35561.62 |
22.57 |
18.1 |
5487.85 |
|
28.2 |
5568.64 |
258.71 |
91.16 |
15077.91 |
355.63 |
39.99 |
7176.21 |
303.45 |
•\ 3: compare
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Shortest error |
|
Longest error |
|
First error |
|
|
States |
Depth |
Rev |
Ratio |
Cycle |
Rev |
Ratio |
Shortest cycle |
Rev |
Ratio |
Largest cycle |
Rev |
Ratio |
Max stack(%) |
Rev |
Ratio |
|
Depth |
Rev |
Ratio |
Depth |
Rev |
Ratio |
Depth |
Rev |
Ratio |
adding.1.pm |
7372 |
39 |
39 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.53 |
0.53 |
1 |
|
15 |
15 |
1 |
39 |
39 |
1 |
15 |
15 |
1 |
adding.2.pm |
836838 |
77 |
77 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.01 |
0.01 |
1 |
|
24 |
24 |
1 |
75 |
75 |
1 |
24 |
24 |
1 |
adding.3.pm |
1894376 |
84 |
84 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0 |
0 |
1 |
|
27 |
27 |
1 |
84 |
84 |
1 |
27 |
27 |
1 |
adding.4.pm |
3370680 |
90 |
90 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0 |
0 |
1 |
|
27 |
27 |
1 |
90 |
90 |
1 |
27 |
27 |
1 |
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 |
blocks.2.pm |
7059 |
4264 |
2710 |
0.64 |
9276 |
9276 |
1 |
2 |
2 |
1 |
4224 |
2654 |
0.63 |
60.41 |
38.39 |
0.64 |
|
|
|
|
|
|
|
|
|
|
blocks.3.pm |
695420 |
487724 |
359980 |
0.74 |
1047376 |
1047376 |
1 |
2 |
2 |
1 |
486208 |
358696 |
0.74 |
70.13 |
51.76 |
0.74 |
|
177479 |
348619 |
1.96 |
177479 |
348619 |
1.96 |
177479 |
348619 |
1.96 |
bopdp.1.pm |
11447 |
107 |
86 |
0.8 |
61 |
142 |
2.33 |
16 |
16 |
1 |
17 |
17 |
1 |
0.93 |
0.75 |
0.8 |
|
65 |
73 |
1.12 |
65 |
73 |
1.12 |
65 |
73 |
1.12 |
bopdp.2.pm |
18005 |
2133 |
1935 |
0.91 |
12774 |
13952 |
1.09 |
1 |
1 |
1 |
2045 |
1715 |
0.84 |
11.85 |
10.75 |
0.91 |
|
|
|
|
|
|
|
|
|
|
bopdp.3.pm |
764375 |
205 |
205 |
1 |
2025 |
4573 |
2.26 |
16 |
16 |
1 |
17 |
17 |
1 |
0.03 |
0.03 |
1 |
|
112 |
189 |
1.69 |
112 |
189 |
1.69 |
112 |
189 |
1.69 |
bridge.1.pm |
96194 |
47 |
66 |
1.4 |
0 |
0 |
|
|
|
|
|
|
|
0.05 |
0.07 |
1.4 |
|
12 |
14 |
1.17 |
47 |
66 |
1.4 |
17 |
56 |
3.29 |
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 |
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 |
|
|
|
|
|
|
|
|
|
|
elevator.1.pm |
87461 |
19169 |
32075 |
1.67 |
27167 |
63554 |
2.34 |
23 |
24 |
1.04 |
19089 |
31953 |
1.67 |
21.92 |
36.67 |
1.67 |
|
|
|
|
|
|
|
|
|
|
elevator.2.pm |
23969 |
6608 |
6398 |
0.97 |
7937 |
13018 |
1.64 |
18 |
19 |
1.06 |
6458 |
6334 |
0.98 |
27.57 |
26.69 |
0.97 |
|
|
|
|
|
|
|
|
|
|
elevator2.1.pm |
1728 |
452 |
509 |
1.13 |
666 |
926 |
1.39 |
12 |
12 |
1 |
434 |
502 |
1.16 |
26.16 |
29.46 |
1.13 |
|
|
|
|
|
|
|
|
|
|
elevator2.2.pm |
179200 |
18092 |
50064 |
2.77 |
141748 |
245419 |
1.73 |
7 |
7 |
1 |
11434 |
50060 |
4.38 |
10.1 |
27.94 |
2.77 |
|
|
|
|
|
|
|
|
|
|
elevator_planning.1.pm |
27632 |
14811 |
13901 |
0.94 |
95750 |
95750 |
1 |
1 |
1 |
1 |
14543 |
13315 |
0.92 |
53.6 |
50.31 |
0.94 |
|
98 |
601 |
6.13 |
102 |
605 |
5.93 |
98 |
601 |
6.13 |
elevator_planning.3.pm |
52498 |
31047 |
24660 |
0.79 |
259524 |
259524 |
1 |
1 |
1 |
1 |
30941 |
24521 |
0.79 |
59.14 |
46.97 |
0.79 |
|
53 |
51 |
0.96 |
60 |
58 |
0.97 |
53 |
51 |
0.96 |
extinction.1.pm |
345881 |
119 |
127 |
1.07 |
0 |
0 |
|
|
|
|
|
|
|
0.03 |
0.04 |
1.07 |
|
18 |
22 |
1.22 |
119 |
127 |
1.07 |
18 |
22 |
1.22 |
extinction.2.pm |
436043 |
118 |
127 |
1.08 |
0 |
0 |
|
|
|
|
|
|
|
0.03 |
0.03 |
1.08 |
|
18 |
22 |
1.22 |
118 |
127 |
1.08 |
18 |
22 |
1.22 |
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 |
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 |
|
|
|
|
|
|
|
|
|
|
frogs.1.pm |
5096 |
83 |
83 |
1 |
0 |
0 |
|
|
|
|
|
|
|
1.63 |
1.63 |
1 |
|
10 |
10 |
1 |
83 |
83 |
1 |
10 |
10 |
1 |
frogs.2.pm |
18209 |
32 |
31 |
0.97 |
0 |
0 |
|
|
|
|
|
|
|
0.18 |
0.17 |
0.97 |
|
7 |
7 |
1 |
30 |
30 |
1 |
7 |
7 |
1 |
frogs.3.pm |
760791 |
258 |
258 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.03 |
0.03 |
1 |
|
10 |
10 |
1 |
258 |
258 |
1 |
17 |
17 |
1 |
gear.1.pm |
53171 |
3211 |
1685 |
0.52 |
5425 |
3537 |
0.65 |
1 |
1 |
1 |
3182 |
628 |
0.2 |
6.04 |
3.17 |
0.52 |
|
14 |
131 |
9.36 |
3191 |
1681 |
0.53 |
15 |
221 |
14.73 |
gear.2.pm |
324971 |
21211 |
10385 |
0.49 |
35025 |
22562 |
0.64 |
1 |
1 |
1 |
21182 |
628 |
0.03 |
6.53 |
3.2 |
0.49 |
|
14 |
131 |
9.36 |
21191 |
10381 |
0.49 |
15 |
221 |
14.73 |
hanoi.1.pm |
6563 |
6562 |
4377 |
0.67 |
9840 |
9840 |
1 |
2 |
2 |
1 |
4375 |
4376 |
1 |
99.98 |
66.69 |
0.67 |
|
|
|
|
|
|
|
|
|
|
hanoi.2.pm |
531443 |
531442 |
354297 |
0.67 |
797160 |
797160 |
1 |
2 |
2 |
1 |
354295 |
354296 |
1 |
100 |
66.67 |
0.67 |
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
krebs.1.pm |
59202 |
84 |
93 |
1.11 |
0 |
0 |
|
|
|
|
|
|
|
0.14 |
0.16 |
1.11 |
|
15 |
17 |
1.13 |
84 |
93 |
1.11 |
15 |
17 |
1.13 |
krebs.2.pm |
721518 |
110 |
121 |
1.1 |
0 |
0 |
|
|
|
|
|
|
|
0.02 |
0.02 |
1.1 |
|
15 |
17 |
1.13 |
110 |
121 |
1.1 |
15 |
17 |
1.13 |
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 |
|
|
|
|
|
|
|
|
|
|
leader_filters.1.pm |
4807 |
38 |
38 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.79 |
0.79 |
1 |
|
13 |
13 |
1 |
38 |
38 |
1 |
13 |
13 |
1 |
leader_filters.2.pm |
16409 |
38 |
38 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.23 |
0.23 |
1 |
|
28 |
28 |
1 |
38 |
38 |
1 |
33 |
33 |
1 |
leader_filters.3.pm |
87709 |
44 |
44 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.05 |
0.05 |
1 |
|
14 |
14 |
1 |
44 |
44 |
1 |
14 |
14 |
1 |
leader_filters.4.pm |
47025 |
34 |
34 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.07 |
0.07 |
1 |
|
14 |
14 |
1 |
34 |
34 |
1 |
14 |
14 |
1 |
loyd.1.pm |
722 |
226 |
341 |
1.51 |
840 |
840 |
1 |
2 |
2 |
1 |
140 |
318 |
2.27 |
31.3 |
47.23 |
1.51 |
|
|
|
|
|
|
|
|
|
|
loyd.2.pm |
362882 |
199347 |
166633 |
0.84 |
483840 |
483840 |
1 |
2 |
2 |
1 |
114842 |
114842 |
1 |
54.93 |
45.92 |
0.84 |
|
|
|
|
|
|
|
|
|
|
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 |
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 |
peg_solitaire.1.pm |
32183 |
16 |
16 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.05 |
0.05 |
1 |
|
5 |
5 |
1 |
16 |
16 |
1 |
15 |
15 |
1 |
peg_solitaire.4.pm |
873328 |
24 |
24 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0 |
0 |
1 |
|
10 |
10 |
1 |
24 |
24 |
1 |
21 |
21 |
1 |
peg_solitaire.5.pm |
84193 |
17 |
17 |
1 |
0 |
0 |
|
|
|
|
|
|
|
0.02 |
0.02 |
1 |
|
8 |
8 |
1 |
17 |
17 |
1 |
13 |
13 |
1 |
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 |
pouring.1.pm |
503 |
418 |
370 |
0.89 |
3095 |
3290 |
1.06 |
2 |
2 |
1 |
413 |
366 |
0.89 |
83.1 |
73.56 |
0.89 |
|
|
|
|
|
|
|
|
|
|
pouring.2.pm |
51624 |
46701 |
42693 |
0.91 |
1002509 |
958254 |
0.96 |
2 |
2 |
1 |
46562 |
42535 |
0.91 |
90.46 |
82.7 |
0.91 |
|
|
|
|
|
|
|
|
|
|
production_cell.1.pm |
63585 |
13883 |
12863 |
0.93 |
26706 |
30003 |
1.12 |
35 |
71 |
2.03 |
13688 |
12796 |
0.93 |
21.83 |
20.23 |
0.93 |
|
|
|
|
|
|
|
|
|
|
production_cell.2.pm |
63585 |
13883 |
12863 |
0.93 |
26706 |
30003 |
1.12 |
35 |
71 |
2.03 |
13688 |
12796 |
0.93 |
21.83 |
20.23 |
0.93 |
|
|
|
|
|
|
|
|
|
|
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 |
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 |
|
|
|
|
|
|
|
|
|
|
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 |
rushhour.1.pm |
1050 |
473 |
534 |
1.13 |
2527 |
2527 |
1 |
2 |
2 |
1 |
268 |
292 |
1.09 |
45.05 |
50.86 |
1.13 |
|
|
|
|
|
|
|
|
|
|
rushhour.2.pm |
2244 |
889 |
980 |
1.1 |
5957 |
5957 |
1 |
2 |
2 |
1 |
334 |
318 |
0.95 |
39.62 |
43.67 |
1.1 |
|
|
|
|
|
|
|
|
|
|
rushhour.3.pm |
156725 |
137635 |
143471 |
1.04 |
791990 |
791990 |
1 |
2 |
2 |
1 |
131752 |
138854 |
1.05 |
87.82 |
91.54 |
1.04 |
|
|
|
|
|
|
|
|
|
|
rushhour.4.pm |
327677 |
295917 |
303716 |
1.03 |
1695117 |
1695117 |
1 |
2 |
2 |
1 |
283042 |
301008 |
1.06 |
90.31 |
92.69 |
1.03 |
|
|
|
|
|
|
|
|
|
|
schedule_world.1.pm |
3886 |
118 |
211 |
1.79 |
3958 |
3757 |
0.95 |
2 |
2 |
1 |
99 |
108 |
1.09 |
3.04 |
5.43 |
1.79 |
|
52 |
98 |
1.88 |
95 |
122 |
1.28 |
52 |
100 |
1.92 |
schedule_world.2.pm |
106100 |
873 |
1681 |
1.93 |
114221 |
107859 |
0.94 |
2 |
2 |
1 |
856 |
864 |
1.01 |
0.82 |
1.58 |
1.93 |
|
58 |
100 |
1.72 |
670 |
1586 |
2.37 |
58 |
1582 |
27.28 |
sokoban.1.pm |
91455 |
1525 |
1315 |
0.86 |
105493 |
105059 |
1 |
2 |
2 |
1 |
1346 |
1106 |
0.82 |
1.67 |
1.44 |
0.86 |
|
1404 |
1268 |
0.9 |
1413 |
1277 |
0.9 |
1404 |
1268 |
0.9 |
sokoban.2.pm |
761635 |
690 |
441 |
0.64 |
914369 |
914512 |
1 |
2 |
2 |
1 |
318 |
324 |
1.02 |
0.09 |
0.06 |
0.64 |
|
581 |
161 |
0.28 |
594 |
179 |
0.3 |
581 |
161 |
0.28 |
sorter.1.pm |
14719 |
506 |
1581 |
3.12 |
3410 |
4686 |
1.37 |
1 |
1 |
1 |
145 |
217 |
1.5 |
3.44 |
10.74 |
3.12 |
|
|
|
|
|
|
|
|
|
|
sorter.2.pm |
4744 |
223 |
176 |
0.79 |
1082 |
997 |
0.92 |
1 |
1 |
1 |
35 |
35 |
1 |
4.7 |
3.71 |
0.79 |
|
|
|
|
|
|
|
|
|
|
sorter.3.pm |
779481 |
800 |
2158 |
2.7 |
203127 |
224016 |
1.1 |
1 |
1 |
1 |
150 |
248 |
1.65 |
0.1 |
0.28 |
2.7 |
|
|
|
|
|
|
|
|
|
|
sorter.5.pm |
151947 |
749 |
1590 |
2.12 |
63299 |
66007 |
1.04 |
1 |
1 |
1 |
150 |
248 |
1.65 |
0.49 |
1.05 |
2.12 |
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
train-gate.1.pm |
29600 |
701 |
1099 |
1.57 |
1836 |
1218 |
0.66 |
26 |
62 |
2.38 |
660 |
987 |
1.5 |
2.37 |
3.71 |
1.57 |
|
6 |
7 |
1.17 |
678 |
1095 |
1.62 |
6 |
7 |
1.17 |
|
States |
Depth |
Rev |
Ratio |
Cycle |
Rev |
Ratio |
Shortest cycle |
Rev |
Ratio |
Largest cycle |
Rev |
Ratio |
Max stack(%) |
Rev |
Ratio |
|
Depth |
Rev |
Ratio |
Depth |
Rev |
Ratio |
Depth |
Rev |
Ratio |
Min |
80 |
16 |
16 |
0.13 |
0 |
0 |
0.34 |
1 |
1 |
0.19 |
9 |
9 |
0.03 |
0 |
0 |
0.13 |
|
4 |
2 |
0.28 |
12 |
16 |
0.13 |
4 |
7 |
0.28 |
Max |
3370680 |
566664 |
459238 |
4.12 |
1960291 |
1791942 |
2.34 |
363 |
106 |
2.38 |
559459 |
459036 |
4.38 |
100 |
92.69 |
4.12 |
|
177479 |
348619 |
30.28 |
500426 |
348619 |
5.93 |
177479 |
348619 |
589.5 |
Avg |
270413.87 |
38369.08 |
30382.9 |
1.08 |
132072.11 |
122930.47 |
1 |
17.26 |
13.1 |
1.01 |
43157.87 |
35561.62 |
1.05 |
20.1 |
18.1 |
1.08 |
|
2912.53 |
5568.64 |
2.13 |
26363.5 |
15077.91 |
1.07 |
3010.47 |
7176.21 |
28.03 |