Made domain version naming format in IPC 2006 more consistent.

potassco · Jul 27, 2017 · 4f0699d · 4f0699d
1 parent 3403584
commit 4f0699d
Show file tree

Hide file tree

Showing 170 changed files with 10 additions and 10 deletions.
diff --git a/ipc-2006/README.md b/ipc-2006/README.md
@@ -8,19 +8,19 @@
 | [openstacks](domains/openstacks-propositional-strips) | propositional | STRIPS |
 | [openstacks](domains/openstacks-time) | time | PDDL |
 | [openstacks](domains/openstacks-time-strips) | time | STRIPS |
-| [openstacks](domains/openstacks-time-metric) | time (metric) | PDDL |
-| [openstacks](domains/openstacks-time-metric-strips) | time (metric) | STRIPS |
+| [openstacks](domains/openstacks-metric-time) | metric, time | PDDL |
+| [openstacks](domains/openstacks-metric-time-strips) | metric, time | STRIPS |
 | [openstacks](domains/openstacks-preferences-simple) | preferences (simple) | PDDL |
 | [openstacks](domains/openstacks-preferences-qualitative) | preferences (qualitative) | PDDL |
 | [pathways](domains/pathways-propositional) | propositional | PDDL |
 | [pathways](domains/pathways-propositional-strips) | propositional | STRIPS |
-| [pathways](domains/pathways-time-metric) | time (metric) | PDDL |
+| [pathways](domains/pathways-metric-time) | metric, time | PDDL |
 | [pathways](domains/pathways-preferences-simple) | preferences (simple) | PDDL |
 | [pathways](domains/pathways-preferences-complex) | preferences (complex) | PDDL |
 | [pipesworld](domains/pipesworld-propositional) | propositional | PDDL |
 | [pipesworld](domains/pipesworld-propositional-strips) | propositional | STRIPS |
-| [pipesworld](domains/pipesworld-time-metric) | time (metric) | PDDL |
-| [pipesworld](domains/pipesworld-time-metric-constraints) | time (metric), constraints | PDDL |
+| [pipesworld](domains/pipesworld-metric-time) | metric, time | PDDL |
+| [pipesworld](domains/pipesworld-metric-time-constraints) | metric, time, constraints | PDDL |
 | [pipesworld](domains/pipesworld-preferences-complex) | preferences (complex) | PDDL |
 | [rovers](domains/rovers-propositional) | propositional | PDDL |
 | [rovers](domains/rovers-propositional-strips) | propositional | STRIPS |

diff --git a/...s/openstacks-time-metric-strips/README.md → ...s/openstacks-metric-time-strips/README.md b/...s/openstacks-time-metric-strips/README.md → ...s/openstacks-metric-time-strips/README.md
@@ -1,4 +1,4 @@
-# Openstacks (Time (Metric), STRIPS)
+# Openstacks (Metric, Time, STRIPS)
 
 ## Domain Description
 

diff --git a/...-time-metric-strips/domains/domain-1.pddl → ...-metric-time-strips/domains/domain-1.pddl b/...-time-metric-strips/domains/domain-1.pddl → ...-metric-time-strips/domains/domain-1.pddl
diff --git a/...time-metric-strips/domains/domain-10.pddl → ...metric-time-strips/domains/domain-10.pddl b/...time-metric-strips/domains/domain-10.pddl → ...metric-time-strips/domains/domain-10.pddl
diff --git a/...time-metric-strips/domains/domain-11.pddl → ...metric-time-strips/domains/domain-11.pddl b/...time-metric-strips/domains/domain-11.pddl → ...metric-time-strips/domains/domain-11.pddl
diff --git a/...time-metric-strips/domains/domain-12.pddl → ...metric-time-strips/domains/domain-12.pddl b/...time-metric-strips/domains/domain-12.pddl → ...metric-time-strips/domains/domain-12.pddl
diff --git a/...time-metric-strips/domains/domain-13.pddl → ...metric-time-strips/domains/domain-13.pddl b/...time-metric-strips/domains/domain-13.pddl → ...metric-time-strips/domains/domain-13.pddl
diff --git a/...time-metric-strips/domains/domain-14.pddl → ...metric-time-strips/domains/domain-14.pddl b/...time-metric-strips/domains/domain-14.pddl → ...metric-time-strips/domains/domain-14.pddl
diff --git a/...time-metric-strips/domains/domain-15.pddl → ...metric-time-strips/domains/domain-15.pddl b/...time-metric-strips/domains/domain-15.pddl → ...metric-time-strips/domains/domain-15.pddl
diff --git a/...time-metric-strips/domains/domain-16.pddl → ...metric-time-strips/domains/domain-16.pddl b/...time-metric-strips/domains/domain-16.pddl → ...metric-time-strips/domains/domain-16.pddl
diff --git a/...time-metric-strips/domains/domain-17.pddl → ...metric-time-strips/domains/domain-17.pddl b/...time-metric-strips/domains/domain-17.pddl → ...metric-time-strips/domains/domain-17.pddl
diff --git a/...time-metric-strips/domains/domain-18.pddl → ...metric-time-strips/domains/domain-18.pddl b/...time-metric-strips/domains/domain-18.pddl → ...metric-time-strips/domains/domain-18.pddl
diff --git a/...time-metric-strips/domains/domain-19.pddl → ...metric-time-strips/domains/domain-19.pddl b/...time-metric-strips/domains/domain-19.pddl → ...metric-time-strips/domains/domain-19.pddl
diff --git a/...-time-metric-strips/domains/domain-2.pddl → ...-metric-time-strips/domains/domain-2.pddl b/...-time-metric-strips/domains/domain-2.pddl → ...-metric-time-strips/domains/domain-2.pddl
diff --git a/...time-metric-strips/domains/domain-20.pddl → ...metric-time-strips/domains/domain-20.pddl b/...time-metric-strips/domains/domain-20.pddl → ...metric-time-strips/domains/domain-20.pddl
diff --git a/...-time-metric-strips/domains/domain-3.pddl → ...-metric-time-strips/domains/domain-3.pddl b/...-time-metric-strips/domains/domain-3.pddl → ...-metric-time-strips/domains/domain-3.pddl
diff --git a/...-time-metric-strips/domains/domain-4.pddl → ...-metric-time-strips/domains/domain-4.pddl b/...-time-metric-strips/domains/domain-4.pddl → ...-metric-time-strips/domains/domain-4.pddl
diff --git a/...-time-metric-strips/domains/domain-5.pddl → ...-metric-time-strips/domains/domain-5.pddl b/...-time-metric-strips/domains/domain-5.pddl → ...-metric-time-strips/domains/domain-5.pddl
diff --git a/...-time-metric-strips/domains/domain-6.pddl → ...-metric-time-strips/domains/domain-6.pddl b/...-time-metric-strips/domains/domain-6.pddl → ...-metric-time-strips/domains/domain-6.pddl
diff --git a/...-time-metric-strips/domains/domain-7.pddl → ...-metric-time-strips/domains/domain-7.pddl b/...-time-metric-strips/domains/domain-7.pddl → ...-metric-time-strips/domains/domain-7.pddl
diff --git a/...-time-metric-strips/domains/domain-8.pddl → ...-metric-time-strips/domains/domain-8.pddl b/...-time-metric-strips/domains/domain-8.pddl → ...-metric-time-strips/domains/domain-8.pddl
diff --git a/...-time-metric-strips/domains/domain-9.pddl → ...-metric-time-strips/domains/domain-9.pddl b/...-time-metric-strips/domains/domain-9.pddl → ...-metric-time-strips/domains/domain-9.pddl
diff --git a/...e-metric-strips/instances/instance-1.pddl → ...ric-time-strips/instances/instance-1.pddl b/...e-metric-strips/instances/instance-1.pddl → ...ric-time-strips/instances/instance-1.pddl
diff --git a/...-metric-strips/instances/instance-10.pddl → ...ic-time-strips/instances/instance-10.pddl b/...-metric-strips/instances/instance-10.pddl → ...ic-time-strips/instances/instance-10.pddl
diff --git a/...-metric-strips/instances/instance-11.pddl → ...ic-time-strips/instances/instance-11.pddl b/...-metric-strips/instances/instance-11.pddl → ...ic-time-strips/instances/instance-11.pddl
diff --git a/...-metric-strips/instances/instance-12.pddl → ...ic-time-strips/instances/instance-12.pddl b/...-metric-strips/instances/instance-12.pddl → ...ic-time-strips/instances/instance-12.pddl
diff --git a/...-metric-strips/instances/instance-13.pddl → ...ic-time-strips/instances/instance-13.pddl b/...-metric-strips/instances/instance-13.pddl → ...ic-time-strips/instances/instance-13.pddl
diff --git a/...-metric-strips/instances/instance-14.pddl → ...ic-time-strips/instances/instance-14.pddl b/...-metric-strips/instances/instance-14.pddl → ...ic-time-strips/instances/instance-14.pddl
diff --git a/...-metric-strips/instances/instance-15.pddl → ...ic-time-strips/instances/instance-15.pddl b/...-metric-strips/instances/instance-15.pddl → ...ic-time-strips/instances/instance-15.pddl
diff --git a/...-metric-strips/instances/instance-16.pddl → ...ic-time-strips/instances/instance-16.pddl b/...-metric-strips/instances/instance-16.pddl → ...ic-time-strips/instances/instance-16.pddl
diff --git a/...-metric-strips/instances/instance-17.pddl → ...ic-time-strips/instances/instance-17.pddl b/...-metric-strips/instances/instance-17.pddl → ...ic-time-strips/instances/instance-17.pddl
diff --git a/...-metric-strips/instances/instance-18.pddl → ...ic-time-strips/instances/instance-18.pddl b/...-metric-strips/instances/instance-18.pddl → ...ic-time-strips/instances/instance-18.pddl
diff --git a/...-metric-strips/instances/instance-19.pddl → ...ic-time-strips/instances/instance-19.pddl b/...-metric-strips/instances/instance-19.pddl → ...ic-time-strips/instances/instance-19.pddl
diff --git a/...e-metric-strips/instances/instance-2.pddl → ...ric-time-strips/instances/instance-2.pddl b/...e-metric-strips/instances/instance-2.pddl → ...ric-time-strips/instances/instance-2.pddl
diff --git a/...-metric-strips/instances/instance-20.pddl → ...ic-time-strips/instances/instance-20.pddl b/...-metric-strips/instances/instance-20.pddl → ...ic-time-strips/instances/instance-20.pddl
diff --git a/...e-metric-strips/instances/instance-3.pddl → ...ric-time-strips/instances/instance-3.pddl b/...e-metric-strips/instances/instance-3.pddl → ...ric-time-strips/instances/instance-3.pddl
diff --git a/...e-metric-strips/instances/instance-4.pddl → ...ric-time-strips/instances/instance-4.pddl b/...e-metric-strips/instances/instance-4.pddl → ...ric-time-strips/instances/instance-4.pddl
diff --git a/...e-metric-strips/instances/instance-5.pddl → ...ric-time-strips/instances/instance-5.pddl b/...e-metric-strips/instances/instance-5.pddl → ...ric-time-strips/instances/instance-5.pddl
diff --git a/...e-metric-strips/instances/instance-6.pddl → ...ric-time-strips/instances/instance-6.pddl b/...e-metric-strips/instances/instance-6.pddl → ...ric-time-strips/instances/instance-6.pddl
diff --git a/...e-metric-strips/instances/instance-7.pddl → ...ric-time-strips/instances/instance-7.pddl b/...e-metric-strips/instances/instance-7.pddl → ...ric-time-strips/instances/instance-7.pddl
diff --git a/...e-metric-strips/instances/instance-8.pddl → ...ric-time-strips/instances/instance-8.pddl b/...e-metric-strips/instances/instance-8.pddl → ...ric-time-strips/instances/instance-8.pddl
diff --git a/...e-metric-strips/instances/instance-9.pddl → ...ric-time-strips/instances/instance-9.pddl b/...e-metric-strips/instances/instance-9.pddl → ...ric-time-strips/instances/instance-9.pddl
diff --git a/.../domains/openstacks-time-metric/README.md → .../domains/openstacks-metric-time/README.md b/.../domains/openstacks-time-metric/README.md → .../domains/openstacks-metric-time/README.md
@@ -1,4 +1,4 @@
-# Openstacks (Time (Metric))
+# Openstacks (Metric, Time)
 
 ## Domain Description
 

diff --git a/...omains/openstacks-time-metric/domain.pddl → ...omains/openstacks-metric-time/domain.pddl b/...omains/openstacks-time-metric/domain.pddl → ...omains/openstacks-metric-time/domain.pddl
diff --git a/...cks-time-metric/instances/instance-1.pddl → ...cks-metric-time/instances/instance-1.pddl b/...cks-time-metric/instances/instance-1.pddl → ...cks-metric-time/instances/instance-1.pddl
diff --git a/...ks-time-metric/instances/instance-10.pddl → ...ks-metric-time/instances/instance-10.pddl b/...ks-time-metric/instances/instance-10.pddl → ...ks-metric-time/instances/instance-10.pddl
diff --git a/...ks-time-metric/instances/instance-11.pddl → ...ks-metric-time/instances/instance-11.pddl b/...ks-time-metric/instances/instance-11.pddl → ...ks-metric-time/instances/instance-11.pddl
diff --git a/...ks-time-metric/instances/instance-12.pddl → ...ks-metric-time/instances/instance-12.pddl b/...ks-time-metric/instances/instance-12.pddl → ...ks-metric-time/instances/instance-12.pddl
diff --git a/...ks-time-metric/instances/instance-13.pddl → ...ks-metric-time/instances/instance-13.pddl b/...ks-time-metric/instances/instance-13.pddl → ...ks-metric-time/instances/instance-13.pddl
diff --git a/...ks-time-metric/instances/instance-14.pddl → ...ks-metric-time/instances/instance-14.pddl b/...ks-time-metric/instances/instance-14.pddl → ...ks-metric-time/instances/instance-14.pddl
diff --git a/...ks-time-metric/instances/instance-15.pddl → ...ks-metric-time/instances/instance-15.pddl b/...ks-time-metric/instances/instance-15.pddl → ...ks-metric-time/instances/instance-15.pddl
diff --git a/...ks-time-metric/instances/instance-16.pddl → ...ks-metric-time/instances/instance-16.pddl b/...ks-time-metric/instances/instance-16.pddl → ...ks-metric-time/instances/instance-16.pddl
diff --git a/...ks-time-metric/instances/instance-17.pddl → ...ks-metric-time/instances/instance-17.pddl b/...ks-time-metric/instances/instance-17.pddl → ...ks-metric-time/instances/instance-17.pddl
diff --git a/...ks-time-metric/instances/instance-18.pddl → ...ks-metric-time/instances/instance-18.pddl b/...ks-time-metric/instances/instance-18.pddl → ...ks-metric-time/instances/instance-18.pddl
diff --git a/...ks-time-metric/instances/instance-19.pddl → ...ks-metric-time/instances/instance-19.pddl b/...ks-time-metric/instances/instance-19.pddl → ...ks-metric-time/instances/instance-19.pddl
diff --git a/...cks-time-metric/instances/instance-2.pddl → ...cks-metric-time/instances/instance-2.pddl b/...cks-time-metric/instances/instance-2.pddl → ...cks-metric-time/instances/instance-2.pddl
diff --git a/...ks-time-metric/instances/instance-20.pddl → ...ks-metric-time/instances/instance-20.pddl b/...ks-time-metric/instances/instance-20.pddl → ...ks-metric-time/instances/instance-20.pddl
diff --git a/...cks-time-metric/instances/instance-3.pddl → ...cks-metric-time/instances/instance-3.pddl b/...cks-time-metric/instances/instance-3.pddl → ...cks-metric-time/instances/instance-3.pddl
diff --git a/...cks-time-metric/instances/instance-4.pddl → ...cks-metric-time/instances/instance-4.pddl b/...cks-time-metric/instances/instance-4.pddl → ...cks-metric-time/instances/instance-4.pddl
diff --git a/...cks-time-metric/instances/instance-5.pddl → ...cks-metric-time/instances/instance-5.pddl b/...cks-time-metric/instances/instance-5.pddl → ...cks-metric-time/instances/instance-5.pddl
diff --git a/...cks-time-metric/instances/instance-6.pddl → ...cks-metric-time/instances/instance-6.pddl b/...cks-time-metric/instances/instance-6.pddl → ...cks-metric-time/instances/instance-6.pddl
diff --git a/...cks-time-metric/instances/instance-7.pddl → ...cks-metric-time/instances/instance-7.pddl b/...cks-time-metric/instances/instance-7.pddl → ...cks-metric-time/instances/instance-7.pddl
diff --git a/...cks-time-metric/instances/instance-8.pddl → ...cks-metric-time/instances/instance-8.pddl b/...cks-time-metric/instances/instance-8.pddl → ...cks-metric-time/instances/instance-8.pddl
diff --git a/...cks-time-metric/instances/instance-9.pddl → ...cks-metric-time/instances/instance-9.pddl b/...cks-time-metric/instances/instance-9.pddl → ...cks-metric-time/instances/instance-9.pddl
diff --git a/...06/domains/pathways-time-metric/README.md → ...06/domains/pathways-metric-time/README.md b/...06/domains/pathways-time-metric/README.md → ...06/domains/pathways-metric-time/README.md
@@ -1,4 +1,4 @@
-# Pathways (Time (Metric))
+# Pathways (Metric, Time)
 
 ## Domain Description
 

diff --git a/.../domains/pathways-time-metric/domain.pddl → .../domains/pathways-metric-time/domain.pddl b/.../domains/pathways-time-metric/domain.pddl → .../domains/pathways-metric-time/domain.pddl
diff --git a/...ays-time-metric/instances/instance-1.pddl → ...ays-metric-time/instances/instance-1.pddl b/...ays-time-metric/instances/instance-1.pddl → ...ays-metric-time/instances/instance-1.pddl
diff --git a/...ys-time-metric/instances/instance-10.pddl → ...ys-metric-time/instances/instance-10.pddl b/...ys-time-metric/instances/instance-10.pddl → ...ys-metric-time/instances/instance-10.pddl
diff --git a/...ys-time-metric/instances/instance-11.pddl → ...ys-metric-time/instances/instance-11.pddl b/...ys-time-metric/instances/instance-11.pddl → ...ys-metric-time/instances/instance-11.pddl
diff --git a/...ys-time-metric/instances/instance-12.pddl → ...ys-metric-time/instances/instance-12.pddl b/...ys-time-metric/instances/instance-12.pddl → ...ys-metric-time/instances/instance-12.pddl
diff --git a/...ys-time-metric/instances/instance-13.pddl → ...ys-metric-time/instances/instance-13.pddl b/...ys-time-metric/instances/instance-13.pddl → ...ys-metric-time/instances/instance-13.pddl
diff --git a/...ys-time-metric/instances/instance-14.pddl → ...ys-metric-time/instances/instance-14.pddl b/...ys-time-metric/instances/instance-14.pddl → ...ys-metric-time/instances/instance-14.pddl
diff --git a/...ys-time-metric/instances/instance-15.pddl → ...ys-metric-time/instances/instance-15.pddl b/...ys-time-metric/instances/instance-15.pddl → ...ys-metric-time/instances/instance-15.pddl
diff --git a/...ys-time-metric/instances/instance-16.pddl → ...ys-metric-time/instances/instance-16.pddl b/...ys-time-metric/instances/instance-16.pddl → ...ys-metric-time/instances/instance-16.pddl
diff --git a/...ys-time-metric/instances/instance-17.pddl → ...ys-metric-time/instances/instance-17.pddl b/...ys-time-metric/instances/instance-17.pddl → ...ys-metric-time/instances/instance-17.pddl
diff --git a/...ys-time-metric/instances/instance-18.pddl → ...ys-metric-time/instances/instance-18.pddl b/...ys-time-metric/instances/instance-18.pddl → ...ys-metric-time/instances/instance-18.pddl
diff --git a/...ys-time-metric/instances/instance-19.pddl → ...ys-metric-time/instances/instance-19.pddl b/...ys-time-metric/instances/instance-19.pddl → ...ys-metric-time/instances/instance-19.pddl
diff --git a/...ays-time-metric/instances/instance-2.pddl → ...ays-metric-time/instances/instance-2.pddl b/...ays-time-metric/instances/instance-2.pddl → ...ays-metric-time/instances/instance-2.pddl
diff --git a/...ys-time-metric/instances/instance-20.pddl → ...ys-metric-time/instances/instance-20.pddl b/...ys-time-metric/instances/instance-20.pddl → ...ys-metric-time/instances/instance-20.pddl
diff --git a/...ys-time-metric/instances/instance-21.pddl → ...ys-metric-time/instances/instance-21.pddl b/...ys-time-metric/instances/instance-21.pddl → ...ys-metric-time/instances/instance-21.pddl
diff --git a/...ys-time-metric/instances/instance-22.pddl → ...ys-metric-time/instances/instance-22.pddl b/...ys-time-metric/instances/instance-22.pddl → ...ys-metric-time/instances/instance-22.pddl
diff --git a/...ys-time-metric/instances/instance-23.pddl → ...ys-metric-time/instances/instance-23.pddl b/...ys-time-metric/instances/instance-23.pddl → ...ys-metric-time/instances/instance-23.pddl
diff --git a/...ys-time-metric/instances/instance-24.pddl → ...ys-metric-time/instances/instance-24.pddl b/...ys-time-metric/instances/instance-24.pddl → ...ys-metric-time/instances/instance-24.pddl
diff --git a/...ys-time-metric/instances/instance-25.pddl → ...ys-metric-time/instances/instance-25.pddl b/...ys-time-metric/instances/instance-25.pddl → ...ys-metric-time/instances/instance-25.pddl
diff --git a/...ys-time-metric/instances/instance-26.pddl → ...ys-metric-time/instances/instance-26.pddl b/...ys-time-metric/instances/instance-26.pddl → ...ys-metric-time/instances/instance-26.pddl
diff --git a/...ys-time-metric/instances/instance-27.pddl → ...ys-metric-time/instances/instance-27.pddl b/...ys-time-metric/instances/instance-27.pddl → ...ys-metric-time/instances/instance-27.pddl
diff --git a/...ys-time-metric/instances/instance-28.pddl → ...ys-metric-time/instances/instance-28.pddl b/...ys-time-metric/instances/instance-28.pddl → ...ys-metric-time/instances/instance-28.pddl
diff --git a/...ys-time-metric/instances/instance-29.pddl → ...ys-metric-time/instances/instance-29.pddl b/...ys-time-metric/instances/instance-29.pddl → ...ys-metric-time/instances/instance-29.pddl
diff --git a/...ays-time-metric/instances/instance-3.pddl → ...ays-metric-time/instances/instance-3.pddl b/...ays-time-metric/instances/instance-3.pddl → ...ays-metric-time/instances/instance-3.pddl
diff --git a/...ys-time-metric/instances/instance-30.pddl → ...ys-metric-time/instances/instance-30.pddl b/...ys-time-metric/instances/instance-30.pddl → ...ys-metric-time/instances/instance-30.pddl
diff --git a/...ays-time-metric/instances/instance-4.pddl → ...ays-metric-time/instances/instance-4.pddl b/...ays-time-metric/instances/instance-4.pddl → ...ays-metric-time/instances/instance-4.pddl
diff --git a/...ays-time-metric/instances/instance-5.pddl → ...ays-metric-time/instances/instance-5.pddl b/...ays-time-metric/instances/instance-5.pddl → ...ays-metric-time/instances/instance-5.pddl
diff --git a/...ays-time-metric/instances/instance-6.pddl → ...ays-metric-time/instances/instance-6.pddl b/...ays-time-metric/instances/instance-6.pddl → ...ays-metric-time/instances/instance-6.pddl
diff --git a/...ays-time-metric/instances/instance-7.pddl → ...ays-metric-time/instances/instance-7.pddl b/...ays-time-metric/instances/instance-7.pddl → ...ays-metric-time/instances/instance-7.pddl
diff --git a/...ays-time-metric/instances/instance-8.pddl → ...ays-metric-time/instances/instance-8.pddl b/...ays-time-metric/instances/instance-8.pddl → ...ays-metric-time/instances/instance-8.pddl
diff --git a/...ays-time-metric/instances/instance-9.pddl → ...ays-metric-time/instances/instance-9.pddl b/...ays-time-metric/instances/instance-9.pddl → ...ays-metric-time/instances/instance-9.pddl
diff --git a/...esworld-time-metric-constraints/README.md → ...esworld-metric-time-constraints/README.md b/...esworld-time-metric-constraints/README.md → ...esworld-metric-time-constraints/README.md
@@ -1,4 +1,4 @@
-# Pipesworld (Time (Metric), Constraints)
+# Pipesworld (Metric, Time, Constraints)
 
 ## Domain Description
 

diff --git a/...world-time-metric-constraints/domain.pddl → ...world-metric-time-constraints/domain.pddl b/...world-time-metric-constraints/domain.pddl → ...world-metric-time-constraints/domain.pddl
diff --git a/...ric-constraints/instances/instance-1.pddl → ...ime-constraints/instances/instance-1.pddl b/...ric-constraints/instances/instance-1.pddl → ...ime-constraints/instances/instance-1.pddl
diff --git a/...ic-constraints/instances/instance-10.pddl → ...me-constraints/instances/instance-10.pddl b/...ic-constraints/instances/instance-10.pddl → ...me-constraints/instances/instance-10.pddl
diff --git a/...ic-constraints/instances/instance-11.pddl → ...me-constraints/instances/instance-11.pddl b/...ic-constraints/instances/instance-11.pddl → ...me-constraints/instances/instance-11.pddl
diff --git a/...ic-constraints/instances/instance-12.pddl → ...me-constraints/instances/instance-12.pddl b/...ic-constraints/instances/instance-12.pddl → ...me-constraints/instances/instance-12.pddl
diff --git a/...ic-constraints/instances/instance-13.pddl → ...me-constraints/instances/instance-13.pddl b/...ic-constraints/instances/instance-13.pddl → ...me-constraints/instances/instance-13.pddl
diff --git a/...ic-constraints/instances/instance-14.pddl → ...me-constraints/instances/instance-14.pddl b/...ic-constraints/instances/instance-14.pddl → ...me-constraints/instances/instance-14.pddl
diff --git a/...ic-constraints/instances/instance-15.pddl → ...me-constraints/instances/instance-15.pddl b/...ic-constraints/instances/instance-15.pddl → ...me-constraints/instances/instance-15.pddl
diff --git a/...ic-constraints/instances/instance-16.pddl → ...me-constraints/instances/instance-16.pddl b/...ic-constraints/instances/instance-16.pddl → ...me-constraints/instances/instance-16.pddl
diff --git a/...ic-constraints/instances/instance-17.pddl → ...me-constraints/instances/instance-17.pddl b/...ic-constraints/instances/instance-17.pddl → ...me-constraints/instances/instance-17.pddl
diff --git a/...ic-constraints/instances/instance-18.pddl → ...me-constraints/instances/instance-18.pddl b/...ic-constraints/instances/instance-18.pddl → ...me-constraints/instances/instance-18.pddl
diff --git a/...ic-constraints/instances/instance-19.pddl → ...me-constraints/instances/instance-19.pddl b/...ic-constraints/instances/instance-19.pddl → ...me-constraints/instances/instance-19.pddl
diff --git a/...ric-constraints/instances/instance-2.pddl → ...ime-constraints/instances/instance-2.pddl b/...ric-constraints/instances/instance-2.pddl → ...ime-constraints/instances/instance-2.pddl
diff --git a/...ic-constraints/instances/instance-20.pddl → ...me-constraints/instances/instance-20.pddl b/...ic-constraints/instances/instance-20.pddl → ...me-constraints/instances/instance-20.pddl
diff --git a/...ric-constraints/instances/instance-3.pddl → ...ime-constraints/instances/instance-3.pddl b/...ric-constraints/instances/instance-3.pddl → ...ime-constraints/instances/instance-3.pddl
diff --git a/...ric-constraints/instances/instance-4.pddl → ...ime-constraints/instances/instance-4.pddl b/...ric-constraints/instances/instance-4.pddl → ...ime-constraints/instances/instance-4.pddl
diff --git a/...ric-constraints/instances/instance-5.pddl → ...ime-constraints/instances/instance-5.pddl b/...ric-constraints/instances/instance-5.pddl → ...ime-constraints/instances/instance-5.pddl
diff --git a/...ric-constraints/instances/instance-6.pddl → ...ime-constraints/instances/instance-6.pddl b/...ric-constraints/instances/instance-6.pddl → ...ime-constraints/instances/instance-6.pddl
diff --git a/...ric-constraints/instances/instance-7.pddl → ...ime-constraints/instances/instance-7.pddl b/...ric-constraints/instances/instance-7.pddl → ...ime-constraints/instances/instance-7.pddl
diff --git a/...ric-constraints/instances/instance-8.pddl → ...ime-constraints/instances/instance-8.pddl b/...ric-constraints/instances/instance-8.pddl → ...ime-constraints/instances/instance-8.pddl
diff --git a/...ric-constraints/instances/instance-9.pddl → ...ime-constraints/instances/instance-9.pddl b/...ric-constraints/instances/instance-9.pddl → ...ime-constraints/instances/instance-9.pddl
diff --git a/.../domains/pipesworld-time-metric/README.md → .../domains/pipesworld-metric-time/README.md b/.../domains/pipesworld-time-metric/README.md → .../domains/pipesworld-metric-time/README.md
@@ -1,4 +1,4 @@
-# Pipesworld (Time (Metric))
+# Pipesworld (Metric, Time)
 
 ## Domain Description
 

diff --git a/...omains/pipesworld-time-metric/domain.pddl → ...omains/pipesworld-metric-time/domain.pddl b/...omains/pipesworld-time-metric/domain.pddl → ...omains/pipesworld-metric-time/domain.pddl
diff --git a/...rld-time-metric/instances/instance-1.pddl → ...rld-metric-time/instances/instance-1.pddl b/...rld-time-metric/instances/instance-1.pddl → ...rld-metric-time/instances/instance-1.pddl
diff --git a/...ld-time-metric/instances/instance-10.pddl → ...ld-metric-time/instances/instance-10.pddl b/...ld-time-metric/instances/instance-10.pddl → ...ld-metric-time/instances/instance-10.pddl
diff --git a/...ld-time-metric/instances/instance-11.pddl → ...ld-metric-time/instances/instance-11.pddl b/...ld-time-metric/instances/instance-11.pddl → ...ld-metric-time/instances/instance-11.pddl
diff --git a/...ld-time-metric/instances/instance-12.pddl → ...ld-metric-time/instances/instance-12.pddl b/...ld-time-metric/instances/instance-12.pddl → ...ld-metric-time/instances/instance-12.pddl
diff --git a/...ld-time-metric/instances/instance-13.pddl → ...ld-metric-time/instances/instance-13.pddl b/...ld-time-metric/instances/instance-13.pddl → ...ld-metric-time/instances/instance-13.pddl
diff --git a/...ld-time-metric/instances/instance-14.pddl → ...ld-metric-time/instances/instance-14.pddl b/...ld-time-metric/instances/instance-14.pddl → ...ld-metric-time/instances/instance-14.pddl
diff --git a/...ld-time-metric/instances/instance-15.pddl → ...ld-metric-time/instances/instance-15.pddl b/...ld-time-metric/instances/instance-15.pddl → ...ld-metric-time/instances/instance-15.pddl
diff --git a/...ld-time-metric/instances/instance-16.pddl → ...ld-metric-time/instances/instance-16.pddl b/...ld-time-metric/instances/instance-16.pddl → ...ld-metric-time/instances/instance-16.pddl
diff --git a/...ld-time-metric/instances/instance-17.pddl → ...ld-metric-time/instances/instance-17.pddl b/...ld-time-metric/instances/instance-17.pddl → ...ld-metric-time/instances/instance-17.pddl
diff --git a/...ld-time-metric/instances/instance-18.pddl → ...ld-metric-time/instances/instance-18.pddl b/...ld-time-metric/instances/instance-18.pddl → ...ld-metric-time/instances/instance-18.pddl
diff --git a/...ld-time-metric/instances/instance-19.pddl → ...ld-metric-time/instances/instance-19.pddl b/...ld-time-metric/instances/instance-19.pddl → ...ld-metric-time/instances/instance-19.pddl
diff --git a/...rld-time-metric/instances/instance-2.pddl → ...rld-metric-time/instances/instance-2.pddl b/...rld-time-metric/instances/instance-2.pddl → ...rld-metric-time/instances/instance-2.pddl
diff --git a/...ld-time-metric/instances/instance-20.pddl → ...ld-metric-time/instances/instance-20.pddl b/...ld-time-metric/instances/instance-20.pddl → ...ld-metric-time/instances/instance-20.pddl
diff --git a/...ld-time-metric/instances/instance-21.pddl → ...ld-metric-time/instances/instance-21.pddl b/...ld-time-metric/instances/instance-21.pddl → ...ld-metric-time/instances/instance-21.pddl
diff --git a/...ld-time-metric/instances/instance-22.pddl → ...ld-metric-time/instances/instance-22.pddl b/...ld-time-metric/instances/instance-22.pddl → ...ld-metric-time/instances/instance-22.pddl
diff --git a/...ld-time-metric/instances/instance-23.pddl → ...ld-metric-time/instances/instance-23.pddl b/...ld-time-metric/instances/instance-23.pddl → ...ld-metric-time/instances/instance-23.pddl
diff --git a/...ld-time-metric/instances/instance-24.pddl → ...ld-metric-time/instances/instance-24.pddl b/...ld-time-metric/instances/instance-24.pddl → ...ld-metric-time/instances/instance-24.pddl
diff --git a/...ld-time-metric/instances/instance-25.pddl → ...ld-metric-time/instances/instance-25.pddl b/...ld-time-metric/instances/instance-25.pddl → ...ld-metric-time/instances/instance-25.pddl
diff --git a/...ld-time-metric/instances/instance-26.pddl → ...ld-metric-time/instances/instance-26.pddl b/...ld-time-metric/instances/instance-26.pddl → ...ld-metric-time/instances/instance-26.pddl
diff --git a/...ld-time-metric/instances/instance-27.pddl → ...ld-metric-time/instances/instance-27.pddl b/...ld-time-metric/instances/instance-27.pddl → ...ld-metric-time/instances/instance-27.pddl
diff --git a/...ld-time-metric/instances/instance-28.pddl → ...ld-metric-time/instances/instance-28.pddl b/...ld-time-metric/instances/instance-28.pddl → ...ld-metric-time/instances/instance-28.pddl
diff --git a/...ld-time-metric/instances/instance-29.pddl → ...ld-metric-time/instances/instance-29.pddl b/...ld-time-metric/instances/instance-29.pddl → ...ld-metric-time/instances/instance-29.pddl
diff --git a/...rld-time-metric/instances/instance-3.pddl → ...rld-metric-time/instances/instance-3.pddl b/...rld-time-metric/instances/instance-3.pddl → ...rld-metric-time/instances/instance-3.pddl
diff --git a/...ld-time-metric/instances/instance-30.pddl → ...ld-metric-time/instances/instance-30.pddl b/...ld-time-metric/instances/instance-30.pddl → ...ld-metric-time/instances/instance-30.pddl
diff --git a/...ld-time-metric/instances/instance-31.pddl → ...ld-metric-time/instances/instance-31.pddl b/...ld-time-metric/instances/instance-31.pddl → ...ld-metric-time/instances/instance-31.pddl
diff --git a/...ld-time-metric/instances/instance-32.pddl → ...ld-metric-time/instances/instance-32.pddl b/...ld-time-metric/instances/instance-32.pddl → ...ld-metric-time/instances/instance-32.pddl
diff --git a/...ld-time-metric/instances/instance-33.pddl → ...ld-metric-time/instances/instance-33.pddl b/...ld-time-metric/instances/instance-33.pddl → ...ld-metric-time/instances/instance-33.pddl
diff --git a/...ld-time-metric/instances/instance-34.pddl → ...ld-metric-time/instances/instance-34.pddl b/...ld-time-metric/instances/instance-34.pddl → ...ld-metric-time/instances/instance-34.pddl
diff --git a/...ld-time-metric/instances/instance-35.pddl → ...ld-metric-time/instances/instance-35.pddl b/...ld-time-metric/instances/instance-35.pddl → ...ld-metric-time/instances/instance-35.pddl
diff --git a/...ld-time-metric/instances/instance-36.pddl → ...ld-metric-time/instances/instance-36.pddl b/...ld-time-metric/instances/instance-36.pddl → ...ld-metric-time/instances/instance-36.pddl
diff --git a/...ld-time-metric/instances/instance-37.pddl → ...ld-metric-time/instances/instance-37.pddl b/...ld-time-metric/instances/instance-37.pddl → ...ld-metric-time/instances/instance-37.pddl
diff --git a/...ld-time-metric/instances/instance-38.pddl → ...ld-metric-time/instances/instance-38.pddl b/...ld-time-metric/instances/instance-38.pddl → ...ld-metric-time/instances/instance-38.pddl
diff --git a/...ld-time-metric/instances/instance-39.pddl → ...ld-metric-time/instances/instance-39.pddl b/...ld-time-metric/instances/instance-39.pddl → ...ld-metric-time/instances/instance-39.pddl
diff --git a/...rld-time-metric/instances/instance-4.pddl → ...rld-metric-time/instances/instance-4.pddl b/...rld-time-metric/instances/instance-4.pddl → ...rld-metric-time/instances/instance-4.pddl
diff --git a/...ld-time-metric/instances/instance-40.pddl → ...ld-metric-time/instances/instance-40.pddl b/...ld-time-metric/instances/instance-40.pddl → ...ld-metric-time/instances/instance-40.pddl
diff --git a/...ld-time-metric/instances/instance-41.pddl → ...ld-metric-time/instances/instance-41.pddl b/...ld-time-metric/instances/instance-41.pddl → ...ld-metric-time/instances/instance-41.pddl
diff --git a/...ld-time-metric/instances/instance-42.pddl → ...ld-metric-time/instances/instance-42.pddl b/...ld-time-metric/instances/instance-42.pddl → ...ld-metric-time/instances/instance-42.pddl
diff --git a/...ld-time-metric/instances/instance-43.pddl → ...ld-metric-time/instances/instance-43.pddl b/...ld-time-metric/instances/instance-43.pddl → ...ld-metric-time/instances/instance-43.pddl
diff --git a/...ld-time-metric/instances/instance-44.pddl → ...ld-metric-time/instances/instance-44.pddl b/...ld-time-metric/instances/instance-44.pddl → ...ld-metric-time/instances/instance-44.pddl
diff --git a/...ld-time-metric/instances/instance-45.pddl → ...ld-metric-time/instances/instance-45.pddl b/...ld-time-metric/instances/instance-45.pddl → ...ld-metric-time/instances/instance-45.pddl
diff --git a/...ld-time-metric/instances/instance-46.pddl → ...ld-metric-time/instances/instance-46.pddl b/...ld-time-metric/instances/instance-46.pddl → ...ld-metric-time/instances/instance-46.pddl
diff --git a/...ld-time-metric/instances/instance-47.pddl → ...ld-metric-time/instances/instance-47.pddl b/...ld-time-metric/instances/instance-47.pddl → ...ld-metric-time/instances/instance-47.pddl
diff --git a/...ld-time-metric/instances/instance-48.pddl → ...ld-metric-time/instances/instance-48.pddl b/...ld-time-metric/instances/instance-48.pddl → ...ld-metric-time/instances/instance-48.pddl
diff --git a/...ld-time-metric/instances/instance-49.pddl → ...ld-metric-time/instances/instance-49.pddl b/...ld-time-metric/instances/instance-49.pddl → ...ld-metric-time/instances/instance-49.pddl
diff --git a/...rld-time-metric/instances/instance-5.pddl → ...rld-metric-time/instances/instance-5.pddl b/...rld-time-metric/instances/instance-5.pddl → ...rld-metric-time/instances/instance-5.pddl
diff --git a/...ld-time-metric/instances/instance-50.pddl → ...ld-metric-time/instances/instance-50.pddl b/...ld-time-metric/instances/instance-50.pddl → ...ld-metric-time/instances/instance-50.pddl
diff --git a/...rld-time-metric/instances/instance-6.pddl → ...rld-metric-time/instances/instance-6.pddl b/...rld-time-metric/instances/instance-6.pddl → ...rld-metric-time/instances/instance-6.pddl
diff --git a/...rld-time-metric/instances/instance-7.pddl → ...rld-metric-time/instances/instance-7.pddl b/...rld-time-metric/instances/instance-7.pddl → ...rld-metric-time/instances/instance-7.pddl
diff --git a/...rld-time-metric/instances/instance-8.pddl → ...rld-metric-time/instances/instance-8.pddl b/...rld-time-metric/instances/instance-8.pddl → ...rld-metric-time/instances/instance-8.pddl
diff --git a/...rld-time-metric/instances/instance-9.pddl → ...rld-metric-time/instances/instance-9.pddl b/...rld-time-metric/instances/instance-9.pddl → ...rld-metric-time/instances/instance-9.pddl