From 8f5ded06559e278afa360892cf39f0d1c9131395 Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Fri, 26 Feb 2021 16:56:13 +0100 Subject: [PATCH 01/11] Corrected typo in non existing predicate of domain satellite --- .../instances/instance-31.pddl | 2 +- .../instances/instance-31.pddl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/ipc-2004/domains/satellite-time-time-windows-compiled-strips/instances/instance-31.pddl b/ipc-2004/domains/satellite-time-time-windows-compiled-strips/instances/instance-31.pddl index 92c9f5f8..b00cfab0 100644 --- a/ipc-2004/domains/satellite-time-time-windows-compiled-strips/instances/instance-31.pddl +++ b/ipc-2004/domains/satellite-time-time-windows-compiled-strips/instances/instance-31.pddl @@ -24597,7 +24597,7 @@ (sent_image Planet151 infrared0) (sent_image Phenomenon152 infrared0) (sent_image Phenomenon153 infrared1) - (senty_image Planet154 infrared1) + (sent_image Planet154 infrared1) )) (:metric minimize (total-time)) diff --git a/ipc-2004/domains/satellite-time-time-windows-strips/instances/instance-31.pddl b/ipc-2004/domains/satellite-time-time-windows-strips/instances/instance-31.pddl index 683ee4df..69885d05 100644 --- a/ipc-2004/domains/satellite-time-time-windows-strips/instances/instance-31.pddl +++ b/ipc-2004/domains/satellite-time-time-windows-strips/instances/instance-31.pddl @@ -24849,7 +24849,7 @@ (sent_image Planet151 infrared0) (sent_image Phenomenon152 infrared0) (sent_image Phenomenon153 infrared1) - (senty_image Planet154 infrared1) + (sent_image Planet154 infrared1) )) (:metric minimize (total-time)) From 22c8c5104ef3de7ddc305a8fbe93b0bb5b3ca61e Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Fri, 26 Feb 2021 17:34:16 +0100 Subject: [PATCH 02/11] Corrected undeclared :action-costs requirement in floor tile domains --- ipc-2011/domains/floor-tile-sequential-multi-core/domain.pddl | 2 +- ipc-2011/domains/floor-tile-sequential-optimal/domain.pddl | 2 +- ipc-2011/domains/floor-tile-sequential-satisficing/domain.pddl | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/ipc-2011/domains/floor-tile-sequential-multi-core/domain.pddl b/ipc-2011/domains/floor-tile-sequential-multi-core/domain.pddl index 27dc743c..124cb219 100644 --- a/ipc-2011/domains/floor-tile-sequential-multi-core/domain.pddl +++ b/ipc-2011/domains/floor-tile-sequential-multi-core/domain.pddl @@ -2,7 +2,7 @@ ;;Domain for painting floor tiles with two colors (define (domain floor-tile) -(:requirements :typing) +(:requirements :typing :action-costs) (:types robot tile color - object) (:predicates diff --git a/ipc-2011/domains/floor-tile-sequential-optimal/domain.pddl b/ipc-2011/domains/floor-tile-sequential-optimal/domain.pddl index 27dc743c..124cb219 100644 --- a/ipc-2011/domains/floor-tile-sequential-optimal/domain.pddl +++ b/ipc-2011/domains/floor-tile-sequential-optimal/domain.pddl @@ -2,7 +2,7 @@ ;;Domain for painting floor tiles with two colors (define (domain floor-tile) -(:requirements :typing) +(:requirements :typing :action-costs) (:types robot tile color - object) (:predicates diff --git a/ipc-2011/domains/floor-tile-sequential-satisficing/domain.pddl b/ipc-2011/domains/floor-tile-sequential-satisficing/domain.pddl index 27dc743c..124cb219 100644 --- a/ipc-2011/domains/floor-tile-sequential-satisficing/domain.pddl +++ b/ipc-2011/domains/floor-tile-sequential-satisficing/domain.pddl @@ -2,7 +2,7 @@ ;;Domain for painting floor tiles with two colors (define (domain floor-tile) -(:requirements :typing) +(:requirements :typing :action-costs) (:types robot tile color - object) (:predicates From 202dd6488830b2dd00d571ed89dd027fc89aa83d Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Fri, 26 Feb 2021 18:03:24 +0100 Subject: [PATCH 03/11] Corrected double declaration of kiln0 object in domain temporal-machine-shop --- .../instances/instance-1.pddl | 3 +-- .../instances/instance-10.pddl | 3 +-- .../instances/instance-11.pddl | 3 +-- .../instances/instance-12.pddl | 3 +-- .../instances/instance-13.pddl | 3 +-- .../instances/instance-14.pddl | 3 +-- .../instances/instance-15.pddl | 3 +-- .../instances/instance-16.pddl | 3 +-- .../instances/instance-17.pddl | 3 +-- .../instances/instance-18.pddl | 3 +-- .../instances/instance-19.pddl | 3 +-- .../instances/instance-2.pddl | 3 +-- .../instances/instance-20.pddl | 3 +-- .../instances/instance-3.pddl | 3 +-- .../instances/instance-4.pddl | 3 +-- .../instances/instance-5.pddl | 3 +-- .../instances/instance-6.pddl | 3 +-- .../instances/instance-7.pddl | 3 +-- .../instances/instance-8.pddl | 3 +-- .../instances/instance-9.pddl | 3 +-- .../instances/instance-1.pddl | 3 +-- .../instances/instance-10.pddl | 3 +-- .../instances/instance-11.pddl | 3 +-- .../instances/instance-12.pddl | 3 +-- .../instances/instance-13.pddl | 3 +-- .../instances/instance-14.pddl | 3 +-- .../instances/instance-15.pddl | 3 +-- .../instances/instance-16.pddl | 3 +-- .../instances/instance-17.pddl | 3 +-- .../instances/instance-18.pddl | 3 +-- .../instances/instance-19.pddl | 3 +-- .../instances/instance-2.pddl | 3 +-- .../instances/instance-20.pddl | 3 +-- .../instances/instance-3.pddl | 3 +-- .../instances/instance-4.pddl | 3 +-- .../instances/instance-5.pddl | 3 +-- .../instances/instance-6.pddl | 3 +-- .../instances/instance-7.pddl | 3 +-- .../instances/instance-8.pddl | 3 +-- .../instances/instance-9.pddl | 3 +-- 40 files changed, 40 insertions(+), 80 deletions(-) diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-1.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-1.pddl index c300efc8..a3abd83d 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-1.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-1.pddl @@ -1,8 +1,7 @@ (define (problem pfile0) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-10.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-10.pddl index 44cf3377..95d8f9f7 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-10.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-10.pddl @@ -1,8 +1,7 @@ (define (problem pfile9) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-11.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-11.pddl index 3e60ed42..ed52a165 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-11.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-11.pddl @@ -1,8 +1,7 @@ (define (problem pfile10) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-12.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-12.pddl index cfbe09e7..be5c7d62 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-12.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-12.pddl @@ -1,8 +1,7 @@ (define (problem pfile11) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-13.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-13.pddl index fe64b867..351c1cbe 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-13.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-13.pddl @@ -1,8 +1,7 @@ (define (problem pfile12) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-14.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-14.pddl index e4e2e8bf..4a30e588 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-14.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-14.pddl @@ -1,8 +1,7 @@ (define (problem pfile13) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-15.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-15.pddl index edbbbab1..a135e6b9 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-15.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-15.pddl @@ -1,8 +1,7 @@ (define (problem pfile14) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-16.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-16.pddl index 7a156608..0a161485 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-16.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-16.pddl @@ -1,8 +1,7 @@ (define (problem pfile15) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-17.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-17.pddl index b6d443fe..a7cbd4ed 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-17.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-17.pddl @@ -1,8 +1,7 @@ (define (problem pfile16) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-18.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-18.pddl index a6084556..8cd2802d 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-18.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-18.pddl @@ -1,8 +1,7 @@ (define (problem pfile17) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-19.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-19.pddl index 90507e4c..6eb85ec8 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-19.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-19.pddl @@ -1,8 +1,7 @@ (define (problem pfile18) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-2.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-2.pddl index 27802a13..25f6c4c9 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-2.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-2.pddl @@ -1,8 +1,7 @@ (define (problem pfile1) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-20.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-20.pddl index 0a44597a..0700fc38 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-20.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-20.pddl @@ -1,8 +1,7 @@ (define (problem pfile19) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 pone46 pone47 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 ptwo69 ptwo70 ptwo71 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 pthree115 pthree116 pthree117 pthree118 pthree119 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-3.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-3.pddl index 2b54ef17..3a43b1c4 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-3.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-3.pddl @@ -1,8 +1,7 @@ (define (problem pfile2) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-4.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-4.pddl index 1d481f20..2546206e 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-4.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-4.pddl @@ -1,8 +1,7 @@ (define (problem pfile3) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-5.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-5.pddl index 6f9918ae..594811c7 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-5.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-5.pddl @@ -1,8 +1,7 @@ (define (problem pfile4) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-6.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-6.pddl index 706eac64..447cbd98 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-6.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-6.pddl @@ -1,8 +1,7 @@ (define (problem pfile5) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-7.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-7.pddl index 65326a79..c2da13e6 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-7.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-7.pddl @@ -1,8 +1,7 @@ (define (problem pfile6) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-8.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-8.pddl index 83289530..2d8fd212 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-8.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-8.pddl @@ -1,8 +1,7 @@ (define (problem pfile7) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 - piecetype3 diff --git a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-9.pddl b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-9.pddl index 438bb036..32a74a7f 100644 --- a/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-9.pddl +++ b/ipc-2011/domains/temporal-machine-shop-temporal-satisficing/instances/instance-9.pddl @@ -1,8 +1,7 @@ (define (problem pfile8) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-1.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-1.pddl index 33e60587..c9a39cf6 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-1.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-1.pddl @@ -1,8 +1,7 @@ (define (problem prob1) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-10.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-10.pddl index 0cbceed7..0eb8fb0f 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-10.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-10.pddl @@ -1,8 +1,7 @@ (define (problem prob10) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-11.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-11.pddl index 75d1aa4a..57716319 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-11.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-11.pddl @@ -1,8 +1,7 @@ (define (problem prob11) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-12.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-12.pddl index 97abddf3..ff4d380d 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-12.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-12.pddl @@ -1,8 +1,7 @@ (define (problem prob12) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-13.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-13.pddl index a2e9a77e..e7940317 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-13.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-13.pddl @@ -1,8 +1,7 @@ (define (problem prob13) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-14.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-14.pddl index 8e09b07b..41049a35 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-14.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-14.pddl @@ -1,8 +1,7 @@ (define (problem prob14) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-15.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-15.pddl index fb9167bf..b702ef08 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-15.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-15.pddl @@ -1,8 +1,7 @@ (define (problem prob15) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 pone46 pone47 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 ptwo69 ptwo70 ptwo71 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 pthree115 pthree116 pthree117 pthree118 pthree119 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-16.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-16.pddl index f087ab27..1a87b648 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-16.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-16.pddl @@ -1,8 +1,7 @@ (define (problem prob16) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 pone46 pone47 pone48 pone49 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 ptwo69 ptwo70 ptwo71 ptwo72 ptwo73 ptwo74 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 pthree115 pthree116 pthree117 pthree118 pthree119 pthree120 pthree121 pthree122 pthree123 pthree124 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-17.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-17.pddl index 942aa9be..26533c5d 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-17.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-17.pddl @@ -1,8 +1,7 @@ (define (problem prob17) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 pone46 pone47 pone48 pone49 pone50 pone51 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 ptwo69 ptwo70 ptwo71 ptwo72 ptwo73 ptwo74 ptwo75 ptwo76 ptwo77 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 pthree115 pthree116 pthree117 pthree118 pthree119 pthree120 pthree121 pthree122 pthree123 pthree124 pthree125 pthree126 pthree127 pthree128 pthree129 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-18.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-18.pddl index 5a170d60..dafc802e 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-18.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-18.pddl @@ -1,8 +1,7 @@ (define (problem prob18) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 pone46 pone47 pone48 pone49 pone50 pone51 pone52 pone53 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 ptwo69 ptwo70 ptwo71 ptwo72 ptwo73 ptwo74 ptwo75 ptwo76 ptwo77 ptwo78 ptwo79 ptwo80 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 pthree115 pthree116 pthree117 pthree118 pthree119 pthree120 pthree121 pthree122 pthree123 pthree124 pthree125 pthree126 pthree127 pthree128 pthree129 pthree130 pthree131 pthree132 pthree133 pthree134 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-19.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-19.pddl index 57ac509c..7859d723 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-19.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-19.pddl @@ -1,8 +1,7 @@ (define (problem prob19) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 pone46 pone47 pone48 pone49 pone50 pone51 pone52 pone53 pone54 pone55 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 ptwo69 ptwo70 ptwo71 ptwo72 ptwo73 ptwo74 ptwo75 ptwo76 ptwo77 ptwo78 ptwo79 ptwo80 ptwo81 ptwo82 ptwo83 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 pthree115 pthree116 pthree117 pthree118 pthree119 pthree120 pthree121 pthree122 pthree123 pthree124 pthree125 pthree126 pthree127 pthree128 pthree129 pthree130 pthree131 pthree132 pthree133 pthree134 pthree135 pthree136 pthree137 pthree138 pthree139 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-2.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-2.pddl index c683f678..e7d0a355 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-2.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-2.pddl @@ -1,8 +1,7 @@ (define (problem prob2) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-20.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-20.pddl index 1a1d0a29..540c08fc 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-20.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-20.pddl @@ -1,8 +1,7 @@ (define (problem prob20) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 pone36 pone37 pone38 pone39 pone40 pone41 pone42 pone43 pone44 pone45 pone46 pone47 pone48 pone49 pone50 pone51 pone52 pone53 pone54 pone55 pone56 pone57 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 ptwo54 ptwo55 ptwo56 ptwo57 ptwo58 ptwo59 ptwo60 ptwo61 ptwo62 ptwo63 ptwo64 ptwo65 ptwo66 ptwo67 ptwo68 ptwo69 ptwo70 ptwo71 ptwo72 ptwo73 ptwo74 ptwo75 ptwo76 ptwo77 ptwo78 ptwo79 ptwo80 ptwo81 ptwo82 ptwo83 ptwo84 ptwo85 ptwo86 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 pthree90 pthree91 pthree92 pthree93 pthree94 pthree95 pthree96 pthree97 pthree98 pthree99 pthree100 pthree101 pthree102 pthree103 pthree104 pthree105 pthree106 pthree107 pthree108 pthree109 pthree110 pthree111 pthree112 pthree113 pthree114 pthree115 pthree116 pthree117 pthree118 pthree119 pthree120 pthree121 pthree122 pthree123 pthree124 pthree125 pthree126 pthree127 pthree128 pthree129 pthree130 pthree131 pthree132 pthree133 pthree134 pthree135 pthree136 pthree137 pthree138 pthree139 pthree140 pthree141 pthree142 pthree143 pthree144 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-3.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-3.pddl index ee10bdb7..6899c16c 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-3.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-3.pddl @@ -1,8 +1,7 @@ (define (problem prob3) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-4.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-4.pddl index f4ad6db9..bf98fb83 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-4.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-4.pddl @@ -1,8 +1,7 @@ (define (problem prob4) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-5.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-5.pddl index 1f9b03ee..5bbbd52b 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-5.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-5.pddl @@ -1,8 +1,7 @@ (define (problem prob5) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-6.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-6.pddl index fd3b030b..732c6a0f 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-6.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-6.pddl @@ -1,8 +1,7 @@ (define (problem prob6) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-7.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-7.pddl index e1bc3e0b..b99f08f0 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-7.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-7.pddl @@ -1,8 +1,7 @@ (define (problem prob7) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-8.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-8.pddl index 9c4e6908..d9857c32 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-8.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-8.pddl @@ -1,8 +1,7 @@ (define (problem prob8) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 - piecetype3 diff --git a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-9.pddl b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-9.pddl index ae48a77a..0d92bc24 100644 --- a/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-9.pddl +++ b/ipc-2014/domains/temporal-machine-shop-temporal-satisficing/instances/instance-9.pddl @@ -1,8 +1,7 @@ (define (problem prob9) (:domain domain-tms-2-3-light) (:objects - kiln0 - kiln8 - kiln0 - kiln20 + kiln0 - (either kiln8 kiln20) pone0 pone1 pone2 pone3 pone4 pone5 pone6 pone7 pone8 pone9 pone10 pone11 pone12 pone13 pone14 pone15 pone16 pone17 pone18 pone19 pone20 pone21 pone22 pone23 pone24 pone25 pone26 pone27 pone28 pone29 pone30 pone31 pone32 pone33 pone34 pone35 - piecetype1 ptwo0 ptwo1 ptwo2 ptwo3 ptwo4 ptwo5 ptwo6 ptwo7 ptwo8 ptwo9 ptwo10 ptwo11 ptwo12 ptwo13 ptwo14 ptwo15 ptwo16 ptwo17 ptwo18 ptwo19 ptwo20 ptwo21 ptwo22 ptwo23 ptwo24 ptwo25 ptwo26 ptwo27 ptwo28 ptwo29 ptwo30 ptwo31 ptwo32 ptwo33 ptwo34 ptwo35 ptwo36 ptwo37 ptwo38 ptwo39 ptwo40 ptwo41 ptwo42 ptwo43 ptwo44 ptwo45 ptwo46 ptwo47 ptwo48 ptwo49 ptwo50 ptwo51 ptwo52 ptwo53 - piecetype2 pthree0 pthree1 pthree2 pthree3 pthree4 pthree5 pthree6 pthree7 pthree8 pthree9 pthree10 pthree11 pthree12 pthree13 pthree14 pthree15 pthree16 pthree17 pthree18 pthree19 pthree20 pthree21 pthree22 pthree23 pthree24 pthree25 pthree26 pthree27 pthree28 pthree29 pthree30 pthree31 pthree32 pthree33 pthree34 pthree35 pthree36 pthree37 pthree38 pthree39 pthree40 pthree41 pthree42 pthree43 pthree44 pthree45 pthree46 pthree47 pthree48 pthree49 pthree50 pthree51 pthree52 pthree53 pthree54 pthree55 pthree56 pthree57 pthree58 pthree59 pthree60 pthree61 pthree62 pthree63 pthree64 pthree65 pthree66 pthree67 pthree68 pthree69 pthree70 pthree71 pthree72 pthree73 pthree74 pthree75 pthree76 pthree77 pthree78 pthree79 pthree80 pthree81 pthree82 pthree83 pthree84 pthree85 pthree86 pthree87 pthree88 pthree89 - piecetype3 From cf08a8bd5571ec92261e8a14a3c0a52e5a2869f0 Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Fri, 26 Feb 2021 18:45:10 +0100 Subject: [PATCH 04/11] Correct missing negative preconditions requirement in domain tidybot --- ipc-2011/domains/tidybot-sequential-multi-core/domain.pddl | 2 +- ipc-2011/domains/tidybot-sequential-optimal/domain.pddl | 2 +- ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl | 2 +- ipc-2014/domains/tidybot-sequential-optimal/domain.pddl | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/ipc-2011/domains/tidybot-sequential-multi-core/domain.pddl b/ipc-2011/domains/tidybot-sequential-multi-core/domain.pddl index 5d137baa..9da609e4 100644 --- a/ipc-2011/domains/tidybot-sequential-multi-core/domain.pddl +++ b/ipc-2011/domains/tidybot-sequential-multi-core/domain.pddl @@ -4,7 +4,7 @@ ; 0, 0 at top left (define (domain TIDYBOT) - (:requirements :strips :typing :equality) + (:requirements :strips :typing :equality :negative-preconditions) (:types robot cart object xc yc xrel yrel) (:predicates ;; Constant preds diff --git a/ipc-2011/domains/tidybot-sequential-optimal/domain.pddl b/ipc-2011/domains/tidybot-sequential-optimal/domain.pddl index 5d137baa..9da609e4 100644 --- a/ipc-2011/domains/tidybot-sequential-optimal/domain.pddl +++ b/ipc-2011/domains/tidybot-sequential-optimal/domain.pddl @@ -4,7 +4,7 @@ ; 0, 0 at top left (define (domain TIDYBOT) - (:requirements :strips :typing :equality) + (:requirements :strips :typing :equality :negative-preconditions) (:types robot cart object xc yc xrel yrel) (:predicates ;; Constant preds diff --git a/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl b/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl index 5d137baa..9da609e4 100644 --- a/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl +++ b/ipc-2011/domains/tidybot-sequential-satisficing/domain.pddl @@ -4,7 +4,7 @@ ; 0, 0 at top left (define (domain TIDYBOT) - (:requirements :strips :typing :equality) + (:requirements :strips :typing :equality :negative-preconditions) (:types robot cart object xc yc xrel yrel) (:predicates ;; Constant preds diff --git a/ipc-2014/domains/tidybot-sequential-optimal/domain.pddl b/ipc-2014/domains/tidybot-sequential-optimal/domain.pddl index 5d137baa..9da609e4 100644 --- a/ipc-2014/domains/tidybot-sequential-optimal/domain.pddl +++ b/ipc-2014/domains/tidybot-sequential-optimal/domain.pddl @@ -4,7 +4,7 @@ ; 0, 0 at top left (define (domain TIDYBOT) - (:requirements :strips :typing :equality) + (:requirements :strips :typing :equality :negative-preconditions) (:types robot cart object xc yc xrel yrel) (:predicates ;; Constant preds From 4ced2561a6e237905b91c5b51882d1867eaee67b Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Thu, 4 Mar 2021 16:10:41 +0100 Subject: [PATCH 05/11] Missing numeric fluents requirement in airport domain --- ipc-2004/domains/airport-temporal-adl/domain.pddl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ipc-2004/domains/airport-temporal-adl/domain.pddl b/ipc-2004/domains/airport-temporal-adl/domain.pddl index 83fb9e92..2c3ed39e 100644 --- a/ipc-2004/domains/airport-temporal-adl/domain.pddl +++ b/ipc-2004/domains/airport-temporal-adl/domain.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) From 2468dbdae7e81819593b0f5e5686ff0ba0e7104d Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Thu, 4 Mar 2021 16:12:49 +0100 Subject: [PATCH 06/11] Removed declaration of default number type in dining philosophers domain --- ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl b/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl index 87953832..a3cd176a 100644 --- a/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl +++ b/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl @@ -9,8 +9,7 @@ ;; equality needed for blocked transition in case of a mismatch :typing) -(:types process proctype state queue transition - number message +(:types process proctype state queue transition message ;; tags for size and messages queuetype queue-state From 1ff5133020be7531b03c346271f42fd046afb0ff Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Thu, 4 Mar 2021 16:23:33 +0100 Subject: [PATCH 07/11] Missing many requirements in domain dining philosophers --- ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl b/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl index a3cd176a..1ccf3bdf 100644 --- a/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl +++ b/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl @@ -8,7 +8,7 @@ (:requirements :equality ;; equality needed for blocked transition in case of a mismatch - :typing) + :typing :negative-preconditions :disjunctive-preconditions :universal-preconditions :conditional-effects) (:types process proctype state queue transition message ;; tags for size and messages From ff2764f340ed6dcbeb064bab24269d7aada2b3ff Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Thu, 4 Mar 2021 16:42:28 +0100 Subject: [PATCH 08/11] Missing numeric fluents requirements in domain airport --- .../domains/domain-1.pddl | 2 +- .../domains/domain-10.pddl | 2 +- .../domains/domain-11.pddl | 2 +- .../domains/domain-12.pddl | 2 +- .../domains/domain-13.pddl | 2 +- .../domains/domain-14.pddl | 2 +- .../domains/domain-15.pddl | 2 +- .../domains/domain-16.pddl | 2 +- .../domains/domain-17.pddl | 2 +- .../domains/domain-18.pddl | 2 +- .../domains/domain-19.pddl | 2 +- .../domains/domain-2.pddl | 2 +- .../domains/domain-20.pddl | 2 +- .../domains/domain-21.pddl | 2 +- .../domains/domain-22.pddl | 2 +- .../domains/domain-23.pddl | 2 +- .../domains/domain-24.pddl | 2 +- .../domains/domain-25.pddl | 2 +- .../domains/domain-26.pddl | 2 +- .../domains/domain-27.pddl | 2 +- .../domains/domain-28.pddl | 2 +- .../domains/domain-29.pddl | 2 +- .../domains/domain-3.pddl | 2 +- .../domains/domain-30.pddl | 2 +- .../domains/domain-31.pddl | 2 +- .../domains/domain-32.pddl | 2 +- .../domains/domain-33.pddl | 2 +- .../domains/domain-34.pddl | 2 +- .../domains/domain-35.pddl | 2 +- .../domains/domain-36.pddl | 2 +- .../domains/domain-37.pddl | 2 +- .../domains/domain-38.pddl | 2 +- .../domains/domain-39.pddl | 2 +- .../domains/domain-4.pddl | 2 +- .../domains/domain-40.pddl | 2 +- .../domains/domain-41.pddl | 2 +- .../domains/domain-42.pddl | 2 +- .../domains/domain-43.pddl | 2 +- .../domains/domain-44.pddl | 2 +- .../domains/domain-45.pddl | 2 +- .../domains/domain-46.pddl | 2 +- .../domains/domain-47.pddl | 2 +- .../domains/domain-48.pddl | 2 +- .../domains/domain-49.pddl | 2 +- .../domains/domain-5.pddl | 2 +- .../domains/domain-50.pddl | 2 +- .../domains/domain-6.pddl | 2 +- .../domains/domain-7.pddl | 2 +- .../domains/domain-8.pddl | 2 +- .../domains/domain-9.pddl | 2 +- 50 files changed, 50 insertions(+), 50 deletions(-) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-1.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-1.pddl index 3b34c51b..c480b778 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-1.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-1.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-10.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-10.pddl index 69b6ecbe..e397dba9 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-10.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-10.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-11.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-11.pddl index 447bc2f2..aeb39f70 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-11.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-11.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-12.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-12.pddl index af6f90fe..f3f2d510 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-12.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-12.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-13.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-13.pddl index 44056761..4ee118ee 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-13.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-13.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-14.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-14.pddl index dc22af37..ade7596f 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-14.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-14.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-15.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-15.pddl index fe5bbc10..fa3c016b 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-15.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-15.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-16.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-16.pddl index 5f313398..455dc87e 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-16.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-16.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-17.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-17.pddl index 54afc040..ba3c5177 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-17.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-17.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-18.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-18.pddl index 6c240e79..9d19cfb7 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-18.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-18.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-19.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-19.pddl index 6570b16f..78f7199a 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-19.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-19.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-2.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-2.pddl index 0e9ae07e..0058af0c 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-2.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-2.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-20.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-20.pddl index 6411a427..041e9105 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-20.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-20.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-21.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-21.pddl index d5f04312..45da1722 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-21.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-21.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-22.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-22.pddl index 48fb8394..bc674aed 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-22.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-22.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-23.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-23.pddl index 3ab4568f..fa699e21 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-23.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-23.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-24.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-24.pddl index c5a7fc17..b5313930 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-24.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-24.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-25.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-25.pddl index 1e13dbfe..7984b336 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-25.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-25.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-26.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-26.pddl index c51c0163..faebd34d 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-26.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-26.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-27.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-27.pddl index fb6a1fba..5fd7b7fb 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-27.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-27.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-28.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-28.pddl index 05c9221d..7d0b0ba6 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-28.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-28.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-29.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-29.pddl index 00a72356..bdc1c2ad 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-29.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-29.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-3.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-3.pddl index 8a0074ef..dd661a3a 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-3.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-3.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-30.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-30.pddl index 112b9dba..96f434ea 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-30.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-30.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-31.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-31.pddl index 7b08b6ac..a2a24fcf 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-31.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-31.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-32.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-32.pddl index 4ee4acf1..8a767172 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-32.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-32.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-33.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-33.pddl index c7ee3748..4790c5e2 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-33.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-33.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-34.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-34.pddl index f76d8001..425355ee 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-34.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-34.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-35.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-35.pddl index ebaf7901..8b9128c4 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-35.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-35.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-36.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-36.pddl index 82a34bca..d03248e1 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-36.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-36.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-37.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-37.pddl index 4e026320..948cca02 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-37.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-37.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-38.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-38.pddl index 59989fca..ebf5085d 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-38.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-38.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-39.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-39.pddl index 837f7b3f..993b3035 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-39.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-39.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-4.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-4.pddl index 35ee23c1..16d64128 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-4.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-4.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-40.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-40.pddl index b851b47f..8b754261 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-40.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-40.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-41.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-41.pddl index 7bc94240..3467cf89 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-41.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-41.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-42.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-42.pddl index b2be33a5..267dff97 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-42.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-42.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-43.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-43.pddl index 93be5481..85851eac 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-43.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-43.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-44.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-44.pddl index 19eb4af0..8c1e56a6 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-44.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-44.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-45.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-45.pddl index a817c4da..1c18f9c2 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-45.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-45.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-46.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-46.pddl index 44e0cfcf..2d641c60 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-46.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-46.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-47.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-47.pddl index 0915aea9..47f94134 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-47.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-47.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-48.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-48.pddl index ab8505e6..119f5dde 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-48.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-48.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-49.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-49.pddl index 2b9ecf38..f0f84f88 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-49.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-49.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-5.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-5.pddl index d945f952..e08a4eba 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-5.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-5.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-50.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-50.pddl index 6f9a15f7..1517e605 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-50.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-50.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-6.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-6.pddl index e6f7ac8e..3bd7ae78 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-6.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-6.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-7.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-7.pddl index 4025711e..0eac79c6 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-7.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-7.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-8.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-8.pddl index ce13ad32..800264fc 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-8.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-8.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-9.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-9.pddl index 97916a16..177415e4 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-9.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-strips/domains/domain-9.pddl @@ -10,7 +10,7 @@ (define (domain airport_fixed_structure) -(:requirements :durative-actions :typing) +(:requirements :durative-actions :typing :numeric-fluents) (:types airplane segment direction airplanetype) From ec4f1cf4559107c1bdf93bbfc33b7fb0185e7272 Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Thu, 4 Mar 2021 17:30:16 +0100 Subject: [PATCH 09/11] Reverted redeclaration or number type in domain dining philosophers --- ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl b/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl index 1ccf3bdf..dea32d00 100644 --- a/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl +++ b/ipc-2004/domains/promela-dining-philosophers-adl/domain.pddl @@ -9,7 +9,8 @@ ;; equality needed for blocked transition in case of a mismatch :typing :negative-preconditions :disjunctive-preconditions :universal-preconditions :conditional-effects) -(:types process proctype state queue transition message +(:types process proctype state queue transition + number message ;; tags for size and messages queuetype queue-state From db6f17bd8f2e5f24b56044a1153bf98a7ad8a102 Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Thu, 4 Mar 2021 18:02:18 +0100 Subject: [PATCH 10/11] Missing many requirements in domain optical telegraph --- ipc-2004/domains/promela-optical-telegraph-adl/domain.pddl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ipc-2004/domains/promela-optical-telegraph-adl/domain.pddl b/ipc-2004/domains/promela-optical-telegraph-adl/domain.pddl index a6d6f2b3..15e903c0 100644 --- a/ipc-2004/domains/promela-optical-telegraph-adl/domain.pddl +++ b/ipc-2004/domains/promela-optical-telegraph-adl/domain.pddl @@ -8,7 +8,7 @@ (:requirements :equality ;; equality needed for blocked transition in case of a mismatch - :typing) + :typing :negative-preconditions :disjunctive-preconditions :universal-preconditions :conditional-effects) (:types process proctype state queue transition number message ;; tags for size and messages From ef82c0f74be5d8c3f7c50e73d26b5cefb19a9d59 Mon Sep 17 00:00:00 2001 From: Florent Teichteil-koenigsbuch Date: Thu, 4 Mar 2021 18:08:19 +0100 Subject: [PATCH 11/11] Missing numeric fluents requirements in domain airport --- .../domains/domain-1.pddl | 2 +- .../domains/domain-10.pddl | 2 +- .../domains/domain-11.pddl | 2 +- .../domains/domain-12.pddl | 2 +- .../domains/domain-13.pddl | 2 +- .../domains/domain-14.pddl | 2 +- .../domains/domain-15.pddl | 2 +- .../domains/domain-16.pddl | 2 +- .../domains/domain-17.pddl | 2 +- .../domains/domain-18.pddl | 2 +- .../domains/domain-19.pddl | 2 +- .../domains/domain-2.pddl | 2 +- .../domains/domain-20.pddl | 2 +- .../domains/domain-21.pddl | 2 +- .../domains/domain-22.pddl | 2 +- .../domains/domain-23.pddl | 2 +- .../domains/domain-24.pddl | 2 +- .../domains/domain-25.pddl | 2 +- .../domains/domain-26.pddl | 2 +- .../domains/domain-27.pddl | 2 +- .../domains/domain-28.pddl | 2 +- .../domains/domain-29.pddl | 2 +- .../domains/domain-3.pddl | 2 +- .../domains/domain-30.pddl | 2 +- .../domains/domain-31.pddl | 2 +- .../domains/domain-32.pddl | 2 +- .../domains/domain-33.pddl | 2 +- .../domains/domain-34.pddl | 2 +- .../domains/domain-35.pddl | 2 +- .../domains/domain-36.pddl | 2 +- .../domains/domain-37.pddl | 2 +- .../domains/domain-38.pddl | 2 +- .../domains/domain-39.pddl | 2 +- .../domains/domain-4.pddl | 2 +- .../domains/domain-40.pddl | 2 +- .../domains/domain-41.pddl | 2 +- .../domains/domain-42.pddl | 2 +- .../domains/domain-43.pddl | 2 +- .../domains/domain-44.pddl | 2 +- .../domains/domain-45.pddl | 2 +- .../domains/domain-46.pddl | 2 +- .../domains/domain-47.pddl | 2 +- .../domains/domain-48.pddl | 2 +- .../domains/domain-49.pddl | 2 +- .../domains/domain-5.pddl | 2 +- .../domains/domain-50.pddl | 2 +- .../domains/domain-6.pddl | 2 +- .../domains/domain-7.pddl | 2 +- .../domains/domain-8.pddl | 2 +- .../domains/domain-9.pddl | 2 +- 50 files changed, 50 insertions(+), 50 deletions(-) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-1.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-1.pddl index 42f53682..c3f7e9c1 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-1.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-1.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-10.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-10.pddl index 7a56fdc2..f6953929 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-10.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-10.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-11.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-11.pddl index 2d337601..aec40d2f 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-11.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-11.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-12.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-12.pddl index f701fece..40bba9dd 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-12.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-12.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-13.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-13.pddl index 2d337601..aec40d2f 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-13.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-13.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-14.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-14.pddl index f701fece..40bba9dd 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-14.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-14.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-15.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-15.pddl index 5a56a08a..2c79c05f 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-15.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-15.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-16.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-16.pddl index f701fece..40bba9dd 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-16.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-16.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-17.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-17.pddl index f701fece..40bba9dd 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-17.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-17.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-18.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-18.pddl index 5a56a08a..2c79c05f 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-18.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-18.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-19.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-19.pddl index f701fece..40bba9dd 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-19.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-19.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-2.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-2.pddl index 42f53682..c3f7e9c1 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-2.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-2.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-20.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-20.pddl index 5a56a08a..2c79c05f 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-20.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-20.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-21.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-21.pddl index 1c9082c0..f701c457 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-21.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-21.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-22.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-22.pddl index cc27119a..c6223c64 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-22.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-22.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-23.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-23.pddl index 7b9888b2..4c054178 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-23.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-23.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-24.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-24.pddl index 1c9082c0..f701c457 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-24.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-24.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-25.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-25.pddl index cc27119a..c6223c64 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-25.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-25.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-26.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-26.pddl index 65b04732..4656daea 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-26.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-26.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-27.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-27.pddl index 1c9082c0..f701c457 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-27.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-27.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-28.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-28.pddl index d75380cf..c1bf8224 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-28.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-28.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-29.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-29.pddl index b9427221..d34aa56b 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-29.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-29.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-3.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-3.pddl index 42f53682..c3f7e9c1 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-3.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-3.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-30.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-30.pddl index ab38d7c8..318ead39 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-30.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-30.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-31.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-31.pddl index d75380cf..c1bf8224 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-31.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-31.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-32.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-32.pddl index ab38d7c8..318ead39 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-32.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-32.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-33.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-33.pddl index b9427221..d34aa56b 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-33.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-33.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-34.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-34.pddl index d75380cf..c1bf8224 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-34.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-34.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-35.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-35.pddl index b9427221..d34aa56b 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-35.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-35.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-36.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-36.pddl index a5201a16..fdfe9047 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-36.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-36.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-37.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-37.pddl index 3dc27fa7..6018ee88 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-37.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-37.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-38.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-38.pddl index d135ada1..cd8a3724 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-38.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-38.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-39.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-39.pddl index 3dc27fa7..6018ee88 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-39.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-39.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-4.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-4.pddl index 2775ee64..7ee57b65 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-4.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-4.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-40.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-40.pddl index e9bfbf29..42e806ab 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-40.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-40.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-41.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-41.pddl index 1655ce58..5d18ba61 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-41.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-41.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-42.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-42.pddl index dfb36909..6e3ca043 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-42.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-42.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-43.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-43.pddl index 1655ce58..5d18ba61 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-43.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-43.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-44.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-44.pddl index c418c74d..f3d3f2f9 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-44.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-44.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-45.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-45.pddl index db0119b5..4c4efa8b 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-45.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-45.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-46.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-46.pddl index c418c74d..f3d3f2f9 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-46.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-46.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-47.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-47.pddl index db0119b5..4c4efa8b 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-47.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-47.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-48.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-48.pddl index 30185d0a..3230a692 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-48.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-48.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-49.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-49.pddl index 887b320c..458212e0 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-49.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-49.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-5.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-5.pddl index d84dad70..2e249a2d 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-5.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-5.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-50.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-50.pddl index 32d8f025..afe34c7f 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-50.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-50.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-6.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-6.pddl index f4aa5f1a..45a7b2c0 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-6.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-6.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-7.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-7.pddl index d84dad70..2e249a2d 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-7.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-7.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-8.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-8.pddl index f4aa5f1a..45a7b2c0 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-8.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-8.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype) diff --git a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-9.pddl b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-9.pddl index d84dad70..2e249a2d 100644 --- a/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-9.pddl +++ b/ipc-2004/domains/airport-temporal-time-windows-compiled-adl/domains/domain-9.pddl @@ -9,7 +9,7 @@ (define (domain airport_durative) -(:requirements :durative-actions :adl) +(:requirements :durative-actions :adl :numeric-fluents) (:types airplane segment direction airplanetype)