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

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