–ÚŽŸ

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