Blocks World Planning Domain

More details about this benchmark can be found in the web page: BENCHMARK PROBLEMS FOR ANSWER SET PROGRAMMING SYSTEMS.

problem steps atoms rules Smodels Chaff2 SATZ SATO
-g60		 GRASP
bw.15 7 6274 72527 5.94 6.3 6.52 67.23 8.29
8 7058 81681 14.83 8.44 8.96 10.26 30.03
bw.17 8 8912 115109 10.46 9.73 10.75 15.49 13.94
9 9902 127999 28.94 13.62 15.1 --- 63.92
bw.19 9 12202 174099 16.07 14.78 17.36 24.36 20.39
10 13422 191621 47.50 19.76 24.34 416.17 66.3
bw.20 9 13442 200800 18.47 16.7 19.42 24.55 25.6
10 14786 221004 40.67 22.27 28.39 --- 75.43
bw.21 10 16216 253241 23.48 21.64 26.27 26.58 35.39
11 17690 276387 71.33 29.38 40.41 42.31 176.71
bw.22 11 19322 314824 31.99 27.41 36.5 37.64 59.14
12 20932 341184 --- 39.18 53.14 52.78 997.96
bw.23 11 21026 356663 35.34 30.66 37.36 114.48 72.97
12 22778 386521 247.51 41.4 54.1 323.38 482.8
bw.24 12 24702 435700 43.86 38.45 50.02 1408 96.59
13 26602 469352 388.22 54.54 71.5 --- ---
bw.25 13 28758 526631 61.2 47.38 61.45 --- ---
14 30812 564385 --- 65.75 100.97 2166 ---
bw.26 13 30998 588384 65.89 53.02 74.26 --- ---
14 33212 630560 377.03 71.15 --- --- ---
bw.27 14 35702 701709 77.95 64.05 --- 226.48 ---
15 38082 748639 --- 86.41 --- --- ---
bw.28 15 40834 830040 100.27 76.69 --- 2204.12 ---
16 43386 882068 --- 107.04 --- --- ---
bw.29 15 43682 917131 107.37 85.26 --- 1136.78 ---
16 46412 974613 --- 119.32 --- --- ---
bw.30 16 49540 1073408 127.23 104.58 --- 1036.82 ---
17 52454 1136712 --- 147.08 --- --- ---
bw.31 17 55874 1248163 168.57 124.24 --- 1184.29 ---
18 58978 1317669 --- 170.76 --- --- ---
bw.32 17 59402 1366664 187.54 132.06 --- 1972.09 ---
18 62702 1442764 --- 191.46 --- --- ---

bw.lp( Own to Niemela 1999).

bw.n means that this problem has n blocks. In particular, bw.15, bw.17, bw.19 are the same as bw-large.c, bw-large.d, and bw-large.e repectively in reference to Smodels.

Yuting Zhao
Last modified: Thursday April 11 2002