–ÚŽŸ
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 |
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 |
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 |
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 |
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 |
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Min |
3886 |
84 |
0 |
1 |
99 |
0 |
0.02 |
13 |
|
4 |
15 |
1 |
13 |
60 |
1 |
8 |
15 |
1 |
Max |
721518 |
487724 |
1047376 |
2 |
486208 |
50 |
70.13 |
16960 |
|
23 |
177479 |
7716.48 |
110 |
177479 |
7716.48 |
23 |
177479 |
7716.48 |
Avg |
209164.38 |
67378.88 |
191263.13 |
1.67 |
89478.5 |
30.01 |
30.91 |
2421.25 |
|
14 |
25395.71 |
1106.94 |
39.71 |
25514.29 |
1112.36 |
14.86 |
25395.71 |
1105.72 |
•\ 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 |
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 |
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 |
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 |
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 |
|
States |
Depth |
Cycle |
Shortest cycle |
Largest cycle |
Back edge(%) |
Max stack(%) |
Max width |
|
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Level |
Depth |
Ratio |
Min |
3886 |
93 |
0 |
1 |
108 |
0 |
0.02 |
20 |
|
4 |
17 |
1.13 |
13 |
58 |
1.1 |
8 |
17 |
1.13 |
Max |
721518 |
359980 |
1047376 |
2 |
358696 |
50 |
51.76 |
14940 |
|
23 |
348619 |
15157.35 |
110 |
348619 |
15157.35 |
23 |
348619 |
15157.35 |
Avg |
209164.38 |
50419.63 |
190442.75 |
1.67 |
66693 |
28.73 |
24.33 |
2132.63 |
|
14 |
49929 |
2176.49 |
39.71 |
50172 |
2189.71 |
14.86 |
50141 |
2200.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 |
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 |
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 |
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 |
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 |
|
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 |
3886 |
84 |
93 |
0.64 |
0 |
0 |
0.94 |
1 |
1 |
1 |
99 |
108 |
0.63 |
0.02 |
0.02 |
0.64 |
|
15 |
17 |
0.96 |
60 |
58 |
0.97 |
15 |
17 |
0.96 |
Max |
721518 |
487724 |
359980 |
1.93 |
1047376 |
1047376 |
1 |
2 |
2 |
1 |
486208 |
358696 |
1.09 |
70.13 |
51.76 |
1.93 |
|
177479 |
348619 |
6.13 |
177479 |
348619 |
5.93 |
177479 |
348619 |
27.28 |
Avg |
209164.38 |
67378.88 |
50419.63 |
1.13 |
191263.13 |
190442.75 |
0.98 |
1.67 |
1.67 |
1 |
89478.5 |
66693 |
0.86 |
30.91 |
24.33 |
1.13 |
|
25395.71 |
49929 |
2.13 |
25514.29 |
50172 |
2.1 |
25395.71 |
50141 |
5.79 |