Update README.md (added sdac usage)

README.md

@@ -30,10 +30,17 @@ Symple is callable with several configurations.
 Starting Symple with defaul configurations (bidirectional search, 100k node
 limit per transition relation):
 ```sh
-$ ./plan <domain> <problem> <plan-output-file>
+$ ./plan <domain.pddl> <problem.pddl> <plan-output-file>
 ```
 
-### 2.2 Predefined Configurations
+### 2.2 Defaul Configuration (SDAC)
+Starting Symple with defaul configurations (bidirectional search, 100k node
+limit per transition relation):
+```sh
+$ ./plan-sdac <problem.sas> <plan-output-file>
+```
+
+### 2.3 Predefined Configurations
 Starting Symple with predefinied configurations:
 ```sh
 $ .src/plan-ipc <planner> <domain> <problem> <plan-output-file>
@@ -46,7 +53,7 @@ the node limit of the transition relations.
 + **Progression**: symplePro, symplePro0, symplePro10000, symplePro25000, symplePro50000, symplePro100000, symplePro200000
 + **Regression**: sympleReg, sympleReg0, sympleReg10000, sympleReg25000, sympleReg50000, sympleReg100000, sympleReg200000
 
-### 2.3 Userdefined Configurations
+### 2.4 Userdefined Configurations
 In general, it is possible to define new configurations for Symple. The easiest
 way is to insert a new predined configuration to the [downward](src/search/downward) file.
 For more information, please visit the [Fast Downward](http://www.fast-downward.org/)
@@ -54,4 +61,4 @@ website.
 
 ## 3 Benchmarks
 + [Here](https://bitbucket.org/planning-researchers/classical-domains), you can find a benchmark set containing of former IPC domains.
-+ [Here](https://gkigit.informatik.uni-freiburg.de/dspeck/SDAC-Benchmarks), you can find a benchmark set containing of domains with state-dependent action costs.
++ [Here](https://gkigit.informatik.uni-freiburg.de/dspeck/SDAC-Benchmarks), you can find a benchmark set containing of domains with state-dependent action costs. Note that each domain consists of a "trans_sas" and "sas" folder. Symple is compatible with the files in the "sas" folder.