downward-benchmarks/data-network-sat18-strips at master · guicho271828/downward-benchmarks · GitHub

Name		Name	Last commit message	Last commit date
parent directory ..
domain.pddl		domain.pddl
p01.pddl		p01.pddl
p02.pddl		p02.pddl
p03.pddl		p03.pddl
p04.pddl		p04.pddl
p05.pddl		p05.pddl
p06.pddl		p06.pddl
p07.pddl		p07.pddl
p08.pddl		p08.pddl
p09.pddl		p09.pddl
p10.pddl		p10.pddl
p11.pddl		p11.pddl
p12.pddl		p12.pddl
p13.pddl		p13.pddl
p14.pddl		p14.pddl
p15.pddl		p15.pddl
p16.pddl		p16.pddl
p17.pddl		p17.pddl
p18.pddl		p18.pddl
p19.pddl		p19.pddl
p20.pddl		p20.pddl