–ÚŽŸ

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