Index of /~TDDC17/info/labs/planning/2004/sat/satellite/Numeric

	Name	Last modified	Size	Description
	Parent Directory		-
	adl_numeric_sat.pddl	2002-04-13 14:24	2.5K
	numeric_sat.pddl	2002-04-13 14:24	2.4K
	pfile1	2002-04-13 14:24	3.1K
	pfile2	2002-04-13 14:24	3.9K
	pfile3	2002-04-13 14:24	4.2K
	pfile4	2002-04-13 14:24	5.7K
	pfile5	2002-04-13 14:24	7.4K
	pfile6	2002-04-13 14:24	7.0K
	pfile7	2002-04-13 14:24	8.9K
	pfile8	2002-04-13 14:24	13K
	pfile9	2002-04-13 14:24	14K
	pfile10	2002-04-13 14:24	16K
	pfile11	2002-04-13 14:24	21K
	pfile12	2002-04-13 14:24	31K
	pfile13	2002-04-13 14:24	43K
	pfile14	2002-04-13 14:24	34K
	pfile15	2002-04-13 14:24	33K
	pfile16	2002-04-13 14:24	35K
	pfile17	2002-04-13 14:24	36K
	pfile18	2002-04-13 14:24	32K
	pfile19	2002-04-13 14:24	37K
	pfile20	2002-04-13 14:24	39K
	probs	2002-03-20 22:52	901