Index of /~TDDC17/info/labs/planning/2011/sat/satellite/Timed

	Name	Last modified	Size	Description
	Parent Directory		-
	probs	2011-09-07 12:17	901
	pfile1	2011-09-07 12:17	2.6K
	timed_sat.pddl	2011-09-07 12:17	2.6K
	adl_timed_sat.pddl	2011-09-07 12:17	2.7K
	pfile2	2011-09-07 12:17	3.4K
	pfile3	2011-09-07 12:17	3.7K
	pfile4	2011-09-07 12:17	5.0K
	pfile6	2011-09-07 12:17	6.1K
	pfile5	2011-09-07 12:17	7.0K
	pfile7	2011-09-07 12:17	8.2K
	pfile8	2011-09-07 12:17	12K
	pfile9	2011-09-07 12:17	12K
	pfile10	2011-09-07 12:17	14K
	pfile11	2011-09-07 12:17	18K
	pfile12	2011-09-07 12:17	28K
	pfile18	2011-09-07 12:17	29K
	pfile15	2011-09-07 12:17	30K
	pfile14	2011-09-07 12:17	31K
	pfile16	2011-09-07 12:17	32K
	pfile19	2011-09-07 12:17	32K
	pfile17	2011-09-07 12:17	33K
	pfile20	2011-09-07 12:17	33K
	pfile13	2011-09-07 12:17	39K