Planning (block world) (ad-hoc encodings)

CLP(FD) code:

increasingStacks.pl

ASP code:

increasingStacks.lp

Results:

Planning in blocks world.

Symbol `-' denotes no answer in less than 3 hours (usually the execution got stuck because of excessively growing dimension of the process image). Mark `*' denotes abnormal termination of the solver.

Instance		Plan	SModels	CModels			SICStus
Blocks	Length	exists		mChaff	Simo	zChaff
4	5	N	0.05	0.05	0.01	0.01	0.01
4	6	Y	0.06	0.05	0.01	0.01	0.01
5	11	N	0.23	0.11	0.10	0.06	0.01
5	12	N	0.29	0.12	0.15	0.08	0.01
5	13	Y	0.33	0.15	0.19	0.10	0.02
6	22	N	2.61	8.16	5.87	*	0.11
6	23	N	3.60	9.86	8.17	*	0.13
6	24	N	4.73	6.46	12.68	*	0.18
6	25	N	6.44	13.40	25.79	*	0.25
6	26	N	8.64	8.31	63.66	*	0.32
6	27	Y	12.17	6.56	10.16	*	0.26
7	33	N	38.64	175.96	151.46	*	2.49
7	34	N	47.34	222.07	516.71	*	3.42
7	35	N	58.01	153.02	845.36	*	4.71
7	36	N	71.40	106.57	2783.26	*	6.36
7	37	N	87.84	115.96	4736.09	*	8.70
7	38	N	107.11	157.32	3592.93	*	11.94
7	39	N	150.11	84.98	3317.55	*	16.33
7	40	N	177.69	115.40	-	*	22.22
7	41	N	253.65	217.10	3540.35	*	31.19
7	42	N	355.66	220.00	-	*	42.83
7	43	N	565.60	74.19	-	*	58.91
7	44	N	1126.52	169.01	1919.88	*	80.59
7	45	N	2710.53	139.66	1408.72	*	111.98
7	46	N	7477.13	299.01	-	*	158.03
7	47	N	-	180.63	3676.92	*	217.26
7	48	N	-	209.73	2443.35	*	299.31
7	49	N	-	463.56	-	*	417.63
7	50	N	-	542.98	-	*	586.73
7	51	N	-	991.56	-	*	824.61
7	52	N	-	1091.54	-	*	1097.13
7	53	N	-	2044.34	-	*	1509.35
7	54	Y	-	431.32	1081.11	*	1104.16
8	40	N	193.31	115.40	-	*	21.73
8	41	N	234.96	300.55	159.69	*	29.48
8	42	N	279.35	126.93	525.72	*	41.57
8	43	N	335.08	196.62	1744.87	*	55.66
8	44	N	404.43	874.70	2021.64	*	78.75
8	45	N	475.71	231.80	-	*	110.08
8	46	N	579.54	351.47	-	*	158.71
8	47	N	682.70	193.02	6172.86	*	205.57
8	48	N	808.11	52.04			285.94
8	49	N	947.37	463.65			386.23
8	50	N	1123.94	379.32			544.91
8	51	N	1328.18	192.87			748.38
8	52	N	1566.62	172.24			1049.58
8	53	N	1877.88	3440.71			1436.14
8	54	N	2257.87	212.60			2028.70
8	55	N	2717.22	178.01			2760.98
8	56	N	3308.28	4667.86			3875.05
8	57	N	4290.26	866.58			5101.24
8	58	N	5672.42	287.16			7240.92
8	59	N	7791.38	1769.51			9838.83
8	60	N	11079.03	903.10			13917.36
8	61	N	18376.59	488.78			19470.35
8	62	N	35835.76	4639.58			27030.19