–ÚŽŸ

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
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
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









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
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









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









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 1728 107 61 1 17 2.71 0.03 37
6 6 1 51 65 1.27 6 6 1
Max 779481 21211 203127 35 21182 55.22 27.57 11079
58 112 1.93 994 21191 21.32 58 112 1.93
Avg 160749.25 6370.81 34937.13 12.19 5773.38 17.93 10.37 1441.06
26.6 42.2 1.37 280.2 5047.4 9.53 28.2 42.6 1.26

•\ 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
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
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









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
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









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









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 1728 86 142 1 17 3.41 0.03 40
6 7 1.17 51 73 1.43 6 7 1.17
Max 779481 50064 245419 71 50060 58.17 36.67 11613
58 189 11.91 994 10381 10.95 58 221 14.73
Avg 160749.25 8479.5 45288.31 19.06 7448.81 20.87 12.41 1656
26.6 106.2 5.96 280.2 2683.8 6.91 28.2 142.2 7.09

•\ 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
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
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









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
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









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









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 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 1728 107 86 0.49 61 142 0.64 1 1 1 17 17 0.03 0.03 0.03 0.49
6 7 1.12 65 73 0.49 6 7 1.12
Max 779481 21211 50064 3.12 203127 245419 2.34 35 71 2.38 21182 50060 4.38 27.57 36.67 3.12
112 189 9.36 21191 10381 1.69 112 221 14.73
Avg 160749.25 6370.81 8479.5 1.4 34937.13 45288.31 1.34 12.19 19.06 1.22 5773.38 7448.81 1.28 10.37 12.41 1.4
42.2 106.2 4.54 5047.4 2683.8 1.09 42.6 142.2 6.69