Action Theory

Specification:

actionthBlocks.txt

CLP(FD) solver:

actionSolv.pl

Specification translator (from Action theory into ASP):

Translator.pl

Results:

Planning in blocks world.

Symbol `-' denotes no answer within 20 minutes of CPU-time.

Instance (using (6), see code)		Plan	lparse	SMODELS	CMODELS		SICStus
Blocks	Length	exists			mChaff	Simo
5	5	N	2.31	0.14	0.02	0.02	0.20
5	6	N	2.29	0.17	0.11	0.06	0.11
5	7	Y	2.34	0.21	0.12	0.10	0.08
6	7	N	7.64	0.32	0.16	0.13	0.31
6	8	N	7.65	0.37	0.19	0.15	1.70
6	9	Y	7.69	0.55	0.27	0.43	0.99
7	9	N	22.96	0.64	0.32	0.27	6.23
7	10	N	23.06	0.75	0.39	0.32	38.24
7	11	Y	23.10	2.15	0.57	1.35	17.40
8	11	N	36.71	1.18	0.63	0.53	154.96
8	12	N	36.81	1.92	0.74	0.62	948.31
8	13	Y	37.10	7.98	2.14	10.36	422.51
9	13	N	98.69	2.25	1.09	0.93	-
9	14	N	98.45	5.99	1.46	1.13	-
9	15	Y	100.01	433.28	4.16	23.07	-
Instance (using (6'), see code)		Plan	lparse	SMODELS	CMODELS		SICStus
Blocks	Length	exists			mChaff	Simo
4	4	N	0.40	0.05	0.00	0.00	0.08
4	5	N	0.41	0.06	0.06	0.02	0.01
4	6	Y	0.42	0.06	0.06	0.02	0.01
5	11	N	1.67	0.35	0.18	0.33	2.17
5	12	N	1.68	0.59	0.26	0.64	5.92
5	13	Y	1.68	0.75	0.28	0.50	8.07
6	25	N	3.38	-	685.43	-	-
6	26	N	3.38	-	1173.55	-	-
6	27	Y	3.41	-	1181.99	-	-