From 8e232ca15720e22782e24ecbc6033b244d71b858 Mon Sep 17 00:00:00 2001 From: Masataro Asai Date: Mon, 20 Mar 2023 09:56:43 -0400 Subject: [PATCH] Add negative-preconditions requirement in openstacks 2014 domains (#4) --- openstacks-agl14-strips/domain_p130_2.pddl | 2 +- openstacks-agl14-strips/domain_p130_3.pddl | 2 +- openstacks-agl14-strips/domain_p150_2.pddl | 2 +- openstacks-agl14-strips/domain_p150_3.pddl | 2 +- openstacks-agl14-strips/domain_p170_1.pddl | 2 +- openstacks-agl14-strips/domain_p170_2.pddl | 2 +- openstacks-agl14-strips/domain_p170_3.pddl | 2 +- openstacks-agl14-strips/domain_p190_1.pddl | 2 +- openstacks-agl14-strips/domain_p190_2.pddl | 2 +- openstacks-agl14-strips/domain_p190_3.pddl | 2 +- openstacks-agl14-strips/domain_p210_1.pddl | 2 +- openstacks-agl14-strips/domain_p210_2.pddl | 2 +- openstacks-agl14-strips/domain_p230_1.pddl | 2 +- openstacks-agl14-strips/domain_p230_2.pddl | 2 +- openstacks-agl14-strips/domain_p250_1.pddl | 2 +- openstacks-agl14-strips/domain_p250_2.pddl | 2 +- openstacks-agl14-strips/domain_p270_1.pddl | 2 +- openstacks-agl14-strips/domain_p270_2.pddl | 2 +- openstacks-agl14-strips/domain_p290_1.pddl | 2 +- openstacks-agl14-strips/domain_p290_2.pddl | 2 +- openstacks-opt14-strips/domain_p20_1.pddl | 2 +- openstacks-opt14-strips/domain_p20_2.pddl | 2 +- openstacks-opt14-strips/domain_p20_3.pddl | 2 +- openstacks-opt14-strips/domain_p25_1.pddl | 2 +- openstacks-opt14-strips/domain_p25_3.pddl | 2 +- openstacks-opt14-strips/domain_p30_1.pddl | 2 +- openstacks-opt14-strips/domain_p30_2.pddl | 2 +- openstacks-opt14-strips/domain_p30_3.pddl | 2 +- openstacks-opt14-strips/domain_p35_1.pddl | 2 +- openstacks-opt14-strips/domain_p35_2.pddl | 2 +- openstacks-opt14-strips/domain_p35_3.pddl | 2 +- openstacks-opt14-strips/domain_p40_1.pddl | 2 +- openstacks-opt14-strips/domain_p40_2.pddl | 2 +- openstacks-opt14-strips/domain_p40_3.pddl | 2 +- openstacks-opt14-strips/domain_p45_1.pddl | 2 +- openstacks-opt14-strips/domain_p45_2.pddl | 2 +- openstacks-opt14-strips/domain_p45_3.pddl | 2 +- openstacks-opt14-strips/domain_p50_1.pddl | 2 +- openstacks-opt14-strips/domain_p50_2.pddl | 2 +- openstacks-opt14-strips/domain_p50_3.pddl | 2 +- 40 files changed, 40 insertions(+), 40 deletions(-) diff --git a/openstacks-agl14-strips/domain_p130_2.pddl b/openstacks-agl14-strips/domain_p130_2.pddl index 8b5b6014..e464c14c 100644 --- a/openstacks-agl14-strips/domain_p130_2.pddl +++ b/openstacks-agl14-strips/domain_p130_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 - product diff --git a/openstacks-agl14-strips/domain_p130_3.pddl b/openstacks-agl14-strips/domain_p130_3.pddl index 98e5ae1f..37f93e12 100644 --- a/openstacks-agl14-strips/domain_p130_3.pddl +++ b/openstacks-agl14-strips/domain_p130_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 - product diff --git a/openstacks-agl14-strips/domain_p150_2.pddl b/openstacks-agl14-strips/domain_p150_2.pddl index 91d4da52..de533c87 100644 --- a/openstacks-agl14-strips/domain_p150_2.pddl +++ b/openstacks-agl14-strips/domain_p150_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 - product diff --git a/openstacks-agl14-strips/domain_p150_3.pddl b/openstacks-agl14-strips/domain_p150_3.pddl index c0af4167..f6699230 100644 --- a/openstacks-agl14-strips/domain_p150_3.pddl +++ b/openstacks-agl14-strips/domain_p150_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 - product diff --git a/openstacks-agl14-strips/domain_p170_1.pddl b/openstacks-agl14-strips/domain_p170_1.pddl index 3866691b..004d5b87 100644 --- a/openstacks-agl14-strips/domain_p170_1.pddl +++ b/openstacks-agl14-strips/domain_p170_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 - product diff --git a/openstacks-agl14-strips/domain_p170_2.pddl b/openstacks-agl14-strips/domain_p170_2.pddl index 09bf00ac..c1c62c4d 100644 --- a/openstacks-agl14-strips/domain_p170_2.pddl +++ b/openstacks-agl14-strips/domain_p170_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 - product diff --git a/openstacks-agl14-strips/domain_p170_3.pddl b/openstacks-agl14-strips/domain_p170_3.pddl index 769b3958..3ae25724 100644 --- a/openstacks-agl14-strips/domain_p170_3.pddl +++ b/openstacks-agl14-strips/domain_p170_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 - product diff --git a/openstacks-agl14-strips/domain_p190_1.pddl b/openstacks-agl14-strips/domain_p190_1.pddl index b5be95e9..55579a33 100644 --- a/openstacks-agl14-strips/domain_p190_1.pddl +++ b/openstacks-agl14-strips/domain_p190_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 - product diff --git a/openstacks-agl14-strips/domain_p190_2.pddl b/openstacks-agl14-strips/domain_p190_2.pddl index 2742dff3..999d5aab 100644 --- a/openstacks-agl14-strips/domain_p190_2.pddl +++ b/openstacks-agl14-strips/domain_p190_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 - product diff --git a/openstacks-agl14-strips/domain_p190_3.pddl b/openstacks-agl14-strips/domain_p190_3.pddl index 1e69de2f..8c8a0226 100644 --- a/openstacks-agl14-strips/domain_p190_3.pddl +++ b/openstacks-agl14-strips/domain_p190_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 - product diff --git a/openstacks-agl14-strips/domain_p210_1.pddl b/openstacks-agl14-strips/domain_p210_1.pddl index 483e0a35..010460c8 100644 --- a/openstacks-agl14-strips/domain_p210_1.pddl +++ b/openstacks-agl14-strips/domain_p210_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 - product diff --git a/openstacks-agl14-strips/domain_p210_2.pddl b/openstacks-agl14-strips/domain_p210_2.pddl index 27d6c955..b722c5cd 100644 --- a/openstacks-agl14-strips/domain_p210_2.pddl +++ b/openstacks-agl14-strips/domain_p210_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 - product diff --git a/openstacks-agl14-strips/domain_p230_1.pddl b/openstacks-agl14-strips/domain_p230_1.pddl index 2117f9e6..e399ac34 100644 --- a/openstacks-agl14-strips/domain_p230_1.pddl +++ b/openstacks-agl14-strips/domain_p230_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 - product diff --git a/openstacks-agl14-strips/domain_p230_2.pddl b/openstacks-agl14-strips/domain_p230_2.pddl index 95e31e35..59f8ebc3 100644 --- a/openstacks-agl14-strips/domain_p230_2.pddl +++ b/openstacks-agl14-strips/domain_p230_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 - product diff --git a/openstacks-agl14-strips/domain_p250_1.pddl b/openstacks-agl14-strips/domain_p250_1.pddl index 556ed220..589bf986 100644 --- a/openstacks-agl14-strips/domain_p250_1.pddl +++ b/openstacks-agl14-strips/domain_p250_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 - product diff --git a/openstacks-agl14-strips/domain_p250_2.pddl b/openstacks-agl14-strips/domain_p250_2.pddl index bc3cd63f..f67209bd 100644 --- a/openstacks-agl14-strips/domain_p250_2.pddl +++ b/openstacks-agl14-strips/domain_p250_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 - product diff --git a/openstacks-agl14-strips/domain_p270_1.pddl b/openstacks-agl14-strips/domain_p270_1.pddl index b4523050..0a3c42f8 100644 --- a/openstacks-agl14-strips/domain_p270_1.pddl +++ b/openstacks-agl14-strips/domain_p270_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 p251 p252 p253 p254 p255 p256 p257 p258 p259 p260 p261 p262 p263 p264 p265 p266 p267 p268 p269 p270 - product diff --git a/openstacks-agl14-strips/domain_p270_2.pddl b/openstacks-agl14-strips/domain_p270_2.pddl index fc058b22..08dbbc47 100644 --- a/openstacks-agl14-strips/domain_p270_2.pddl +++ b/openstacks-agl14-strips/domain_p270_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 p251 p252 p253 p254 p255 p256 p257 p258 p259 p260 p261 p262 p263 p264 p265 p266 p267 p268 p269 p270 - product diff --git a/openstacks-agl14-strips/domain_p290_1.pddl b/openstacks-agl14-strips/domain_p290_1.pddl index 0d30e548..655beeef 100644 --- a/openstacks-agl14-strips/domain_p290_1.pddl +++ b/openstacks-agl14-strips/domain_p290_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 p251 p252 p253 p254 p255 p256 p257 p258 p259 p260 p261 p262 p263 p264 p265 p266 p267 p268 p269 p270 p271 p272 p273 p274 p275 p276 p277 p278 p279 p280 p281 p282 p283 p284 p285 p286 p287 p288 p289 p290 - product diff --git a/openstacks-agl14-strips/domain_p290_2.pddl b/openstacks-agl14-strips/domain_p290_2.pddl index f6f53397..7feaf8e2 100644 --- a/openstacks-agl14-strips/domain_p290_2.pddl +++ b/openstacks-agl14-strips/domain_p290_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 p51 p52 p53 p54 p55 p56 p57 p58 p59 p60 p61 p62 p63 p64 p65 p66 p67 p68 p69 p70 p71 p72 p73 p74 p75 p76 p77 p78 p79 p80 p81 p82 p83 p84 p85 p86 p87 p88 p89 p90 p91 p92 p93 p94 p95 p96 p97 p98 p99 p100 p101 p102 p103 p104 p105 p106 p107 p108 p109 p110 p111 p112 p113 p114 p115 p116 p117 p118 p119 p120 p121 p122 p123 p124 p125 p126 p127 p128 p129 p130 p131 p132 p133 p134 p135 p136 p137 p138 p139 p140 p141 p142 p143 p144 p145 p146 p147 p148 p149 p150 p151 p152 p153 p154 p155 p156 p157 p158 p159 p160 p161 p162 p163 p164 p165 p166 p167 p168 p169 p170 p171 p172 p173 p174 p175 p176 p177 p178 p179 p180 p181 p182 p183 p184 p185 p186 p187 p188 p189 p190 p191 p192 p193 p194 p195 p196 p197 p198 p199 p200 p201 p202 p203 p204 p205 p206 p207 p208 p209 p210 p211 p212 p213 p214 p215 p216 p217 p218 p219 p220 p221 p222 p223 p224 p225 p226 p227 p228 p229 p230 p231 p232 p233 p234 p235 p236 p237 p238 p239 p240 p241 p242 p243 p244 p245 p246 p247 p248 p249 p250 p251 p252 p253 p254 p255 p256 p257 p258 p259 p260 p261 p262 p263 p264 p265 p266 p267 p268 p269 p270 p271 p272 p273 p274 p275 p276 p277 p278 p279 p280 p281 p282 p283 p284 p285 p286 p287 p288 p289 p290 - product diff --git a/openstacks-opt14-strips/domain_p20_1.pddl b/openstacks-opt14-strips/domain_p20_1.pddl index 93cfffab..025cd697 100644 --- a/openstacks-opt14-strips/domain_p20_1.pddl +++ b/openstacks-opt14-strips/domain_p20_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 - product diff --git a/openstacks-opt14-strips/domain_p20_2.pddl b/openstacks-opt14-strips/domain_p20_2.pddl index d3658d9e..a763937f 100644 --- a/openstacks-opt14-strips/domain_p20_2.pddl +++ b/openstacks-opt14-strips/domain_p20_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 - product diff --git a/openstacks-opt14-strips/domain_p20_3.pddl b/openstacks-opt14-strips/domain_p20_3.pddl index 4dee50dd..e2620ae7 100644 --- a/openstacks-opt14-strips/domain_p20_3.pddl +++ b/openstacks-opt14-strips/domain_p20_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 - product diff --git a/openstacks-opt14-strips/domain_p25_1.pddl b/openstacks-opt14-strips/domain_p25_1.pddl index e8ab889b..039e9120 100644 --- a/openstacks-opt14-strips/domain_p25_1.pddl +++ b/openstacks-opt14-strips/domain_p25_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 - product diff --git a/openstacks-opt14-strips/domain_p25_3.pddl b/openstacks-opt14-strips/domain_p25_3.pddl index 1cd7f8ef..e6b47879 100644 --- a/openstacks-opt14-strips/domain_p25_3.pddl +++ b/openstacks-opt14-strips/domain_p25_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 - product diff --git a/openstacks-opt14-strips/domain_p30_1.pddl b/openstacks-opt14-strips/domain_p30_1.pddl index 9a6e1bdd..534666e6 100644 --- a/openstacks-opt14-strips/domain_p30_1.pddl +++ b/openstacks-opt14-strips/domain_p30_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 - product diff --git a/openstacks-opt14-strips/domain_p30_2.pddl b/openstacks-opt14-strips/domain_p30_2.pddl index fedbc15d..cc2b00f8 100644 --- a/openstacks-opt14-strips/domain_p30_2.pddl +++ b/openstacks-opt14-strips/domain_p30_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 - product diff --git a/openstacks-opt14-strips/domain_p30_3.pddl b/openstacks-opt14-strips/domain_p30_3.pddl index 2d486c86..38c35e5c 100644 --- a/openstacks-opt14-strips/domain_p30_3.pddl +++ b/openstacks-opt14-strips/domain_p30_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 - product diff --git a/openstacks-opt14-strips/domain_p35_1.pddl b/openstacks-opt14-strips/domain_p35_1.pddl index 27280bbc..9da35dd6 100644 --- a/openstacks-opt14-strips/domain_p35_1.pddl +++ b/openstacks-opt14-strips/domain_p35_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 - product diff --git a/openstacks-opt14-strips/domain_p35_2.pddl b/openstacks-opt14-strips/domain_p35_2.pddl index 852f7c4f..93e1dae1 100644 --- a/openstacks-opt14-strips/domain_p35_2.pddl +++ b/openstacks-opt14-strips/domain_p35_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 - product diff --git a/openstacks-opt14-strips/domain_p35_3.pddl b/openstacks-opt14-strips/domain_p35_3.pddl index 0742c31d..8f0f9eb1 100644 --- a/openstacks-opt14-strips/domain_p35_3.pddl +++ b/openstacks-opt14-strips/domain_p35_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 - product diff --git a/openstacks-opt14-strips/domain_p40_1.pddl b/openstacks-opt14-strips/domain_p40_1.pddl index 387d4198..f79a781d 100644 --- a/openstacks-opt14-strips/domain_p40_1.pddl +++ b/openstacks-opt14-strips/domain_p40_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 - product diff --git a/openstacks-opt14-strips/domain_p40_2.pddl b/openstacks-opt14-strips/domain_p40_2.pddl index 4abe0519..e528b9d4 100644 --- a/openstacks-opt14-strips/domain_p40_2.pddl +++ b/openstacks-opt14-strips/domain_p40_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 - product diff --git a/openstacks-opt14-strips/domain_p40_3.pddl b/openstacks-opt14-strips/domain_p40_3.pddl index 00f89b8c..9b089c93 100644 --- a/openstacks-opt14-strips/domain_p40_3.pddl +++ b/openstacks-opt14-strips/domain_p40_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 - product diff --git a/openstacks-opt14-strips/domain_p45_1.pddl b/openstacks-opt14-strips/domain_p45_1.pddl index d47648d4..4fb34445 100644 --- a/openstacks-opt14-strips/domain_p45_1.pddl +++ b/openstacks-opt14-strips/domain_p45_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 - product diff --git a/openstacks-opt14-strips/domain_p45_2.pddl b/openstacks-opt14-strips/domain_p45_2.pddl index 20b699ee..1ec5faf1 100644 --- a/openstacks-opt14-strips/domain_p45_2.pddl +++ b/openstacks-opt14-strips/domain_p45_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 - product diff --git a/openstacks-opt14-strips/domain_p45_3.pddl b/openstacks-opt14-strips/domain_p45_3.pddl index f351c13a..63db98d2 100644 --- a/openstacks-opt14-strips/domain_p45_3.pddl +++ b/openstacks-opt14-strips/domain_p45_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 - product diff --git a/openstacks-opt14-strips/domain_p50_1.pddl b/openstacks-opt14-strips/domain_p50_1.pddl index df12d109..dc3981cc 100644 --- a/openstacks-opt14-strips/domain_p50_1.pddl +++ b/openstacks-opt14-strips/domain_p50_1.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 - product diff --git a/openstacks-opt14-strips/domain_p50_2.pddl b/openstacks-opt14-strips/domain_p50_2.pddl index 47257894..719af1f8 100644 --- a/openstacks-opt14-strips/domain_p50_2.pddl +++ b/openstacks-opt14-strips/domain_p50_2.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 - product diff --git a/openstacks-opt14-strips/domain_p50_3.pddl b/openstacks-opt14-strips/domain_p50_3.pddl index 1759caf4..8c23f91d 100644 --- a/openstacks-opt14-strips/domain_p50_3.pddl +++ b/openstacks-opt14-strips/domain_p50_3.pddl @@ -1,5 +1,5 @@ (define (domain openstacks-sequencedstrips-nonADL) -(:requirements :typing :action-costs) +(:requirements :typing :action-costs :negative-preconditions) (:types order product count) (:constants p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33 p34 p35 p36 p37 p38 p39 p40 p41 p42 p43 p44 p45 p46 p47 p48 p49 p50 - product