init
added metric ff
added fastdownward
Create sokodan-domain.pddl
Create sokodan-p1.pddl
Create sokodan-p2.pddl
Create sokodan-p3.pddl
Create sokodan-p4.pddl
Create blackbox_sokoban_p1.log
Rename sokodan-domain.pddl to sokoban-domain.pddl
Rename sokodan-p1.pddl to sokoban-p1.pddl
Rename sokodan-p2.pddl to sokoban-p2.pddl
Rename sokodan-p3.pddl to sokoban-p3.pddl
Rename sokodan-p4.pddl to sokoban-p4.pddl
Create blackbox_sokoban_p2.log
Update sokoban-p1.pddl
Update sokoban-p2.pddl
Update sokoban-p3.pddl
Update sokoban-p4.pddl
Update blackbox_sokoban_p1.log