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

	Name	Last modified	Size	Description
	Parent Directory		-
	HandCoded/	2004-03-12 12:14	-
	pfile1	2002-03-21 14:30	662
	probs	2002-03-20 22:38	841
	pfile2	2002-03-21 14:30	951
	pfile3	2002-03-21 14:30	1.3K
	pfile4	2002-03-21 14:30	1.3K
	pfile6	2002-03-21 14:30	1.7K
	strips_sat.pddl	2002-03-20 22:33	2.0K
	pfile7	2002-03-21 14:30	2.3K
	pfile5	2002-03-21 14:30	2.5K
	pfile8	2002-03-21 14:30	2.9K
	pfile11	2002-03-21 14:30	3.0K
	pfile10	2002-03-21 14:30	3.2K
	pfile9	2002-03-21 14:30	3.2K
	pfile12	2002-03-21 14:30	3.5K
	pfile18	2002-03-21 14:30	3.6K
	pfile13	2002-03-21 14:30	3.7K
	pfile14	2002-03-21 14:30	4.1K
	pfile15	2002-03-21 14:30	5.2K
	pfile16	2002-03-21 14:30	6.2K
	pfile17	2002-03-21 14:30	6.3K
	pfile19	2002-03-21 14:30	6.4K
	pfile20	2002-03-21 14:30	7.4K