From 6bec233e234da869d92de17b245d8375b068f5d8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Patrick=20L=C3=BChne?= Date: Fri, 2 Sep 2016 15:44:33 +0200 Subject: [PATCH] Moved IPC 2000 Elevator example instances to instance directory. --- .../sas-tests/miconic-adl-simple_f2_p4.sas | 149 ---- .../problem-01-00.sas | 63 +- .../problem-01-01.sas | 76 ++ .../problem-01-02.sas | 76 ++ .../problem-01-03.sas | 76 ++ .../problem-01-04.sas | 76 ++ .../problem-02-00.sas | 39 +- .../problem-03-00.sas | 334 +++++++ .../problem-05-00.sas | 823 ++++++++++++++++++ .../problem-05-01.sas | 823 ++++++++++++++++++ 10 files changed, 2312 insertions(+), 223 deletions(-) delete mode 100644 encodings/sas-tests/miconic-adl-simple_f2_p4.sas rename encodings/sas-tests/miconic-adl-simple_f2_p2.sas => instances/SAS/ipc-2000-elevator-m10-simple/problem-01-00.sas (59%) create mode 100644 instances/SAS/ipc-2000-elevator-m10-simple/problem-01-01.sas create mode 100644 instances/SAS/ipc-2000-elevator-m10-simple/problem-01-02.sas create mode 100644 instances/SAS/ipc-2000-elevator-m10-simple/problem-01-03.sas create mode 100644 instances/SAS/ipc-2000-elevator-m10-simple/problem-01-04.sas rename encodings/sas-tests/miconic-adl-simple_f4_p2.sas => instances/SAS/ipc-2000-elevator-m10-simple/problem-02-00.sas (88%) create mode 100644 instances/SAS/ipc-2000-elevator-m10-simple/problem-03-00.sas create mode 100644 instances/SAS/ipc-2000-elevator-m10-simple/problem-05-00.sas create mode 100644 instances/SAS/ipc-2000-elevator-m10-simple/problem-05-01.sas diff --git a/encodings/sas-tests/miconic-adl-simple_f2_p4.sas b/encodings/sas-tests/miconic-adl-simple_f2_p4.sas deleted file mode 100644 index 441974d..0000000 --- a/encodings/sas-tests/miconic-adl-simple_f2_p4.sas +++ /dev/null @@ -1,149 +0,0 @@ -begin_version -3 -end_version -begin_metric -0 -end_metric -10 -begin_variable -var0 --1 -2 -Atom boarded(p0) -NegatedAtom boarded(p0) -end_variable -begin_variable -var1 --1 -2 -Atom boarded(p1) -NegatedAtom boarded(p1) -end_variable -begin_variable -var2 --1 -2 -Atom boarded(p2) -NegatedAtom boarded(p2) -end_variable -begin_variable -var3 --1 -2 -Atom boarded(p3) -NegatedAtom boarded(p3) -end_variable -begin_variable -var4 --1 -2 -Atom lift-at(f0) -Atom lift-at(f1) -end_variable -begin_variable -var5 -0 -2 -Atom new-axiom@0() -NegatedAtom new-axiom@0() -end_variable -begin_variable -var6 --1 -2 -Atom served(p0) -NegatedAtom served(p0) -end_variable -begin_variable -var7 --1 -2 -Atom served(p1) -NegatedAtom served(p1) -end_variable -begin_variable -var8 --1 -2 -Atom served(p2) -NegatedAtom served(p2) -end_variable -begin_variable -var9 --1 -2 -Atom served(p3) -NegatedAtom served(p3) -end_variable -1 -begin_mutex_group -2 -4 0 -4 1 -end_mutex_group -begin_state -1 -1 -1 -1 -0 -0 -1 -1 -1 -1 -end_state -begin_goal -1 -5 1 -end_goal -4 -begin_operator -down f1 f0 -0 -1 -0 4 1 0 -1 -end_operator -begin_operator -stop f0 -1 -4 0 -7 -0 0 -1 1 -0 1 -1 1 -0 2 -1 1 -1 9 1 3 -1 0 -1 0 0 6 -1 0 -1 1 0 7 -1 0 -1 2 0 8 -1 0 -1 -end_operator -begin_operator -stop f1 -1 -4 1 -5 -1 6 1 0 -1 0 -1 7 1 1 -1 0 -1 8 1 2 -1 0 -0 3 -1 1 -1 3 0 9 -1 0 -1 -end_operator -begin_operator -up f0 f1 -0 -1 -0 4 0 1 -1 -end_operator -1 -begin_rule -4 -6 0 -7 0 -8 0 -9 0 -5 0 1 -end_rule diff --git a/encodings/sas-tests/miconic-adl-simple_f2_p2.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-00.sas similarity index 59% rename from encodings/sas-tests/miconic-adl-simple_f2_p2.sas rename to instances/SAS/ipc-2000-elevator-m10-simple/problem-01-00.sas index f46604f..cf5a02a 100644 --- a/encodings/sas-tests/miconic-adl-simple_f2_p2.sas +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-00.sas @@ -4,7 +4,7 @@ end_version begin_metric 0 end_metric -6 +3 begin_variable var0 -1 @@ -16,94 +16,61 @@ begin_variable var1 -1 2 -Atom boarded(p1) -NegatedAtom boarded(p1) +Atom lift-at(f0) +Atom lift-at(f1) end_variable begin_variable var2 -1 2 -Atom lift-at(f0) -Atom lift-at(f1) -end_variable -begin_variable -var3 -0 -2 -Atom new-axiom@0() -NegatedAtom new-axiom@0() -end_variable -begin_variable -var4 --1 -2 Atom served(p0) NegatedAtom served(p0) end_variable -begin_variable -var5 --1 -2 -Atom served(p1) -NegatedAtom served(p1) -end_variable 1 begin_mutex_group 2 -2 0 -2 1 +1 0 +1 1 end_mutex_group begin_state 1 -1 0 -0 -1 1 end_state begin_goal 1 -3 1 +2 0 end_goal 4 begin_operator down f1 f0 0 1 -0 2 1 0 +0 1 1 0 1 end_operator begin_operator stop f0 1 -2 0 +1 0 2 -1 4 1 0 -1 0 -1 5 1 1 -1 0 +0 0 -1 1 +1 0 0 2 -1 0 1 end_operator begin_operator stop f1 1 -2 1 -4 -0 0 -1 1 -0 1 -1 1 -1 0 0 4 -1 0 -1 1 0 5 -1 0 +1 1 +1 +1 2 1 0 -1 0 1 end_operator begin_operator up f0 f1 0 1 -0 2 0 1 +0 1 0 1 1 end_operator -1 -begin_rule -2 -4 0 -5 0 -3 0 1 -end_rule +0 diff --git a/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-01.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-01.sas new file mode 100644 index 0000000..36b23ae --- /dev/null +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-01.sas @@ -0,0 +1,76 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +3 +begin_variable +var0 +-1 +2 +Atom boarded(p0) +NegatedAtom boarded(p0) +end_variable +begin_variable +var1 +-1 +2 +Atom lift-at(f0) +Atom lift-at(f1) +end_variable +begin_variable +var2 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +1 +begin_mutex_group +2 +1 0 +1 1 +end_mutex_group +begin_state +1 +0 +1 +end_state +begin_goal +1 +2 0 +end_goal +4 +begin_operator +down f1 f0 +0 +1 +0 1 1 0 +1 +end_operator +begin_operator +stop f0 +1 +1 0 +1 +1 2 1 0 -1 0 +1 +end_operator +begin_operator +stop f1 +1 +1 1 +2 +0 0 -1 1 +1 0 0 2 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 1 0 1 +1 +end_operator +0 diff --git a/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-02.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-02.sas new file mode 100644 index 0000000..cf5a02a --- /dev/null +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-02.sas @@ -0,0 +1,76 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +3 +begin_variable +var0 +-1 +2 +Atom boarded(p0) +NegatedAtom boarded(p0) +end_variable +begin_variable +var1 +-1 +2 +Atom lift-at(f0) +Atom lift-at(f1) +end_variable +begin_variable +var2 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +1 +begin_mutex_group +2 +1 0 +1 1 +end_mutex_group +begin_state +1 +0 +1 +end_state +begin_goal +1 +2 0 +end_goal +4 +begin_operator +down f1 f0 +0 +1 +0 1 1 0 +1 +end_operator +begin_operator +stop f0 +1 +1 0 +2 +0 0 -1 1 +1 0 0 2 -1 0 +1 +end_operator +begin_operator +stop f1 +1 +1 1 +1 +1 2 1 0 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 1 0 1 +1 +end_operator +0 diff --git a/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-03.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-03.sas new file mode 100644 index 0000000..cf5a02a --- /dev/null +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-03.sas @@ -0,0 +1,76 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +3 +begin_variable +var0 +-1 +2 +Atom boarded(p0) +NegatedAtom boarded(p0) +end_variable +begin_variable +var1 +-1 +2 +Atom lift-at(f0) +Atom lift-at(f1) +end_variable +begin_variable +var2 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +1 +begin_mutex_group +2 +1 0 +1 1 +end_mutex_group +begin_state +1 +0 +1 +end_state +begin_goal +1 +2 0 +end_goal +4 +begin_operator +down f1 f0 +0 +1 +0 1 1 0 +1 +end_operator +begin_operator +stop f0 +1 +1 0 +2 +0 0 -1 1 +1 0 0 2 -1 0 +1 +end_operator +begin_operator +stop f1 +1 +1 1 +1 +1 2 1 0 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 1 0 1 +1 +end_operator +0 diff --git a/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-04.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-04.sas new file mode 100644 index 0000000..cf5a02a --- /dev/null +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-01-04.sas @@ -0,0 +1,76 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +3 +begin_variable +var0 +-1 +2 +Atom boarded(p0) +NegatedAtom boarded(p0) +end_variable +begin_variable +var1 +-1 +2 +Atom lift-at(f0) +Atom lift-at(f1) +end_variable +begin_variable +var2 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +1 +begin_mutex_group +2 +1 0 +1 1 +end_mutex_group +begin_state +1 +0 +1 +end_state +begin_goal +1 +2 0 +end_goal +4 +begin_operator +down f1 f0 +0 +1 +0 1 1 0 +1 +end_operator +begin_operator +stop f0 +1 +1 0 +2 +0 0 -1 1 +1 0 0 2 -1 0 +1 +end_operator +begin_operator +stop f1 +1 +1 1 +1 +1 2 1 0 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 1 0 1 +1 +end_operator +0 diff --git a/encodings/sas-tests/miconic-adl-simple_f4_p2.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-02-00.sas similarity index 88% rename from encodings/sas-tests/miconic-adl-simple_f4_p2.sas rename to instances/SAS/ipc-2000-elevator-m10-simple/problem-02-00.sas index 38426bd..80b1c1d 100644 --- a/encodings/sas-tests/miconic-adl-simple_f4_p2.sas +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-02-00.sas @@ -4,7 +4,7 @@ end_version begin_metric 0 end_metric -6 +5 begin_variable var0 -1 @@ -30,20 +30,13 @@ Atom lift-at(f3) end_variable begin_variable var3 -0 -2 -Atom new-axiom@0() -NegatedAtom new-axiom@0() -end_variable -begin_variable -var4 -1 2 Atom served(p0) NegatedAtom served(p0) end_variable begin_variable -var5 +var4 -1 2 Atom served(p1) @@ -61,13 +54,13 @@ begin_state 1 1 0 -0 1 1 end_state begin_goal -1 -3 1 +2 +3 0 +4 0 end_goal 15 begin_operator @@ -116,9 +109,8 @@ begin_operator stop f1 1 2 1 -2 -0 0 -1 1 -1 0 0 4 -1 0 +1 +1 4 1 1 -1 0 1 end_operator begin_operator @@ -126,17 +118,18 @@ stop f2 1 2 2 2 -1 4 1 0 -1 0 -1 5 1 1 -1 0 +0 0 -1 1 +1 0 0 3 -1 0 1 end_operator begin_operator stop f3 1 2 3 -2 +3 +1 3 1 0 -1 0 0 1 -1 1 -1 1 0 5 -1 0 +1 1 0 4 -1 0 1 end_operator begin_operator @@ -181,10 +174,4 @@ up f2 f3 0 2 2 3 1 end_operator -1 -begin_rule -2 -4 0 -5 0 -3 0 1 -end_rule +0 diff --git a/instances/SAS/ipc-2000-elevator-m10-simple/problem-03-00.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-03-00.sas new file mode 100644 index 0000000..dc0b65f --- /dev/null +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-03-00.sas @@ -0,0 +1,334 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +7 +begin_variable +var0 +-1 +2 +Atom boarded(p0) +NegatedAtom boarded(p0) +end_variable +begin_variable +var1 +-1 +2 +Atom boarded(p1) +NegatedAtom boarded(p1) +end_variable +begin_variable +var2 +-1 +2 +Atom boarded(p2) +NegatedAtom boarded(p2) +end_variable +begin_variable +var3 +-1 +6 +Atom lift-at(f0) +Atom lift-at(f1) +Atom lift-at(f2) +Atom lift-at(f3) +Atom lift-at(f4) +Atom lift-at(f5) +end_variable +begin_variable +var4 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +begin_variable +var5 +-1 +2 +Atom served(p1) +NegatedAtom served(p1) +end_variable +begin_variable +var6 +-1 +2 +Atom served(p2) +NegatedAtom served(p2) +end_variable +1 +begin_mutex_group +6 +3 0 +3 1 +3 2 +3 3 +3 4 +3 5 +end_mutex_group +begin_state +1 +1 +1 +0 +1 +1 +1 +end_state +begin_goal +3 +4 0 +5 0 +6 0 +end_goal +34 +begin_operator +down f1 f0 +0 +1 +0 3 1 0 +1 +end_operator +begin_operator +down f2 f0 +0 +1 +0 3 2 0 +1 +end_operator +begin_operator +down f2 f1 +0 +1 +0 3 2 1 +1 +end_operator +begin_operator +down f3 f0 +0 +1 +0 3 3 0 +1 +end_operator +begin_operator +down f3 f1 +0 +1 +0 3 3 1 +1 +end_operator +begin_operator +down f3 f2 +0 +1 +0 3 3 2 +1 +end_operator +begin_operator +down f4 f0 +0 +1 +0 3 4 0 +1 +end_operator +begin_operator +down f4 f1 +0 +1 +0 3 4 1 +1 +end_operator +begin_operator +down f4 f2 +0 +1 +0 3 4 2 +1 +end_operator +begin_operator +down f4 f3 +0 +1 +0 3 4 3 +1 +end_operator +begin_operator +down f5 f0 +0 +1 +0 3 5 0 +1 +end_operator +begin_operator +down f5 f1 +0 +1 +0 3 5 1 +1 +end_operator +begin_operator +down f5 f2 +0 +1 +0 3 5 2 +1 +end_operator +begin_operator +down f5 f3 +0 +1 +0 3 5 3 +1 +end_operator +begin_operator +down f5 f4 +0 +1 +0 3 5 4 +1 +end_operator +begin_operator +stop f1 +1 +3 1 +5 +1 4 1 0 -1 0 +0 1 -1 1 +0 2 -1 1 +1 1 0 5 -1 0 +1 2 0 6 -1 0 +1 +end_operator +begin_operator +stop f3 +1 +3 3 +1 +1 5 1 1 -1 0 +1 +end_operator +begin_operator +stop f4 +1 +3 4 +2 +0 0 -1 1 +1 0 0 4 -1 0 +1 +end_operator +begin_operator +stop f5 +1 +3 5 +1 +1 6 1 2 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 3 0 1 +1 +end_operator +begin_operator +up f0 f2 +0 +1 +0 3 0 2 +1 +end_operator +begin_operator +up f0 f3 +0 +1 +0 3 0 3 +1 +end_operator +begin_operator +up f0 f4 +0 +1 +0 3 0 4 +1 +end_operator +begin_operator +up f0 f5 +0 +1 +0 3 0 5 +1 +end_operator +begin_operator +up f1 f2 +0 +1 +0 3 1 2 +1 +end_operator +begin_operator +up f1 f3 +0 +1 +0 3 1 3 +1 +end_operator +begin_operator +up f1 f4 +0 +1 +0 3 1 4 +1 +end_operator +begin_operator +up f1 f5 +0 +1 +0 3 1 5 +1 +end_operator +begin_operator +up f2 f3 +0 +1 +0 3 2 3 +1 +end_operator +begin_operator +up f2 f4 +0 +1 +0 3 2 4 +1 +end_operator +begin_operator +up f2 f5 +0 +1 +0 3 2 5 +1 +end_operator +begin_operator +up f3 f4 +0 +1 +0 3 3 4 +1 +end_operator +begin_operator +up f3 f5 +0 +1 +0 3 3 5 +1 +end_operator +begin_operator +up f4 f5 +0 +1 +0 3 4 5 +1 +end_operator +0 diff --git a/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-00.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-00.sas new file mode 100644 index 0000000..f56e13b --- /dev/null +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-00.sas @@ -0,0 +1,823 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +11 +begin_variable +var0 +-1 +2 +Atom boarded(p0) +NegatedAtom boarded(p0) +end_variable +begin_variable +var1 +-1 +2 +Atom boarded(p1) +NegatedAtom boarded(p1) +end_variable +begin_variable +var2 +-1 +2 +Atom boarded(p2) +NegatedAtom boarded(p2) +end_variable +begin_variable +var3 +-1 +2 +Atom boarded(p3) +NegatedAtom boarded(p3) +end_variable +begin_variable +var4 +-1 +2 +Atom boarded(p4) +NegatedAtom boarded(p4) +end_variable +begin_variable +var5 +-1 +10 +Atom lift-at(f0) +Atom lift-at(f1) +Atom lift-at(f2) +Atom lift-at(f3) +Atom lift-at(f4) +Atom lift-at(f5) +Atom lift-at(f6) +Atom lift-at(f7) +Atom lift-at(f8) +Atom lift-at(f9) +end_variable +begin_variable +var6 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +begin_variable +var7 +-1 +2 +Atom served(p1) +NegatedAtom served(p1) +end_variable +begin_variable +var8 +-1 +2 +Atom served(p2) +NegatedAtom served(p2) +end_variable +begin_variable +var9 +-1 +2 +Atom served(p3) +NegatedAtom served(p3) +end_variable +begin_variable +var10 +-1 +2 +Atom served(p4) +NegatedAtom served(p4) +end_variable +1 +begin_mutex_group +10 +5 0 +5 1 +5 2 +5 3 +5 4 +5 5 +5 6 +5 7 +5 8 +5 9 +end_mutex_group +begin_state +1 +1 +1 +1 +1 +0 +1 +1 +1 +1 +1 +end_state +begin_goal +5 +6 0 +7 0 +8 0 +9 0 +10 0 +end_goal +97 +begin_operator +down f1 f0 +0 +1 +0 5 1 0 +1 +end_operator +begin_operator +down f2 f0 +0 +1 +0 5 2 0 +1 +end_operator +begin_operator +down f2 f1 +0 +1 +0 5 2 1 +1 +end_operator +begin_operator +down f3 f0 +0 +1 +0 5 3 0 +1 +end_operator +begin_operator +down f3 f1 +0 +1 +0 5 3 1 +1 +end_operator +begin_operator +down f3 f2 +0 +1 +0 5 3 2 +1 +end_operator +begin_operator +down f4 f0 +0 +1 +0 5 4 0 +1 +end_operator +begin_operator +down f4 f1 +0 +1 +0 5 4 1 +1 +end_operator +begin_operator +down f4 f2 +0 +1 +0 5 4 2 +1 +end_operator +begin_operator +down f4 f3 +0 +1 +0 5 4 3 +1 +end_operator +begin_operator +down f5 f0 +0 +1 +0 5 5 0 +1 +end_operator +begin_operator +down f5 f1 +0 +1 +0 5 5 1 +1 +end_operator +begin_operator +down f5 f2 +0 +1 +0 5 5 2 +1 +end_operator +begin_operator +down f5 f3 +0 +1 +0 5 5 3 +1 +end_operator +begin_operator +down f5 f4 +0 +1 +0 5 5 4 +1 +end_operator +begin_operator +down f6 f0 +0 +1 +0 5 6 0 +1 +end_operator +begin_operator +down f6 f1 +0 +1 +0 5 6 1 +1 +end_operator +begin_operator +down f6 f2 +0 +1 +0 5 6 2 +1 +end_operator +begin_operator +down f6 f3 +0 +1 +0 5 6 3 +1 +end_operator +begin_operator +down f6 f4 +0 +1 +0 5 6 4 +1 +end_operator +begin_operator +down f6 f5 +0 +1 +0 5 6 5 +1 +end_operator +begin_operator +down f7 f0 +0 +1 +0 5 7 0 +1 +end_operator +begin_operator +down f7 f1 +0 +1 +0 5 7 1 +1 +end_operator +begin_operator +down f7 f2 +0 +1 +0 5 7 2 +1 +end_operator +begin_operator +down f7 f3 +0 +1 +0 5 7 3 +1 +end_operator +begin_operator +down f7 f4 +0 +1 +0 5 7 4 +1 +end_operator +begin_operator +down f7 f5 +0 +1 +0 5 7 5 +1 +end_operator +begin_operator +down f7 f6 +0 +1 +0 5 7 6 +1 +end_operator +begin_operator +down f8 f0 +0 +1 +0 5 8 0 +1 +end_operator +begin_operator +down f8 f1 +0 +1 +0 5 8 1 +1 +end_operator +begin_operator +down f8 f2 +0 +1 +0 5 8 2 +1 +end_operator +begin_operator +down f8 f3 +0 +1 +0 5 8 3 +1 +end_operator +begin_operator +down f8 f4 +0 +1 +0 5 8 4 +1 +end_operator +begin_operator +down f8 f5 +0 +1 +0 5 8 5 +1 +end_operator +begin_operator +down f8 f6 +0 +1 +0 5 8 6 +1 +end_operator +begin_operator +down f8 f7 +0 +1 +0 5 8 7 +1 +end_operator +begin_operator +down f9 f0 +0 +1 +0 5 9 0 +1 +end_operator +begin_operator +down f9 f1 +0 +1 +0 5 9 1 +1 +end_operator +begin_operator +down f9 f2 +0 +1 +0 5 9 2 +1 +end_operator +begin_operator +down f9 f3 +0 +1 +0 5 9 3 +1 +end_operator +begin_operator +down f9 f4 +0 +1 +0 5 9 4 +1 +end_operator +begin_operator +down f9 f5 +0 +1 +0 5 9 5 +1 +end_operator +begin_operator +down f9 f6 +0 +1 +0 5 9 6 +1 +end_operator +begin_operator +down f9 f7 +0 +1 +0 5 9 7 +1 +end_operator +begin_operator +down f9 f8 +0 +1 +0 5 9 8 +1 +end_operator +begin_operator +stop f1 +1 +5 1 +2 +0 4 -1 1 +1 4 0 10 -1 0 +1 +end_operator +begin_operator +stop f2 +1 +5 2 +2 +0 3 -1 1 +1 3 0 9 -1 0 +1 +end_operator +begin_operator +stop f3 +1 +5 3 +2 +1 6 1 0 -1 0 +1 8 1 2 -1 0 +1 +end_operator +begin_operator +stop f5 +1 +5 5 +4 +0 1 -1 1 +0 2 -1 1 +1 1 0 7 -1 0 +1 2 0 8 -1 0 +1 +end_operator +begin_operator +stop f6 +1 +5 6 +3 +0 0 -1 1 +1 9 1 3 -1 0 +1 0 0 6 -1 0 +1 +end_operator +begin_operator +stop f7 +1 +5 7 +1 +1 7 1 1 -1 0 +1 +end_operator +begin_operator +stop f9 +1 +5 9 +1 +1 10 1 4 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 5 0 1 +1 +end_operator +begin_operator +up f0 f2 +0 +1 +0 5 0 2 +1 +end_operator +begin_operator +up f0 f3 +0 +1 +0 5 0 3 +1 +end_operator +begin_operator +up f0 f4 +0 +1 +0 5 0 4 +1 +end_operator +begin_operator +up f0 f5 +0 +1 +0 5 0 5 +1 +end_operator +begin_operator +up f0 f6 +0 +1 +0 5 0 6 +1 +end_operator +begin_operator +up f0 f7 +0 +1 +0 5 0 7 +1 +end_operator +begin_operator +up f0 f8 +0 +1 +0 5 0 8 +1 +end_operator +begin_operator +up f0 f9 +0 +1 +0 5 0 9 +1 +end_operator +begin_operator +up f1 f2 +0 +1 +0 5 1 2 +1 +end_operator +begin_operator +up f1 f3 +0 +1 +0 5 1 3 +1 +end_operator +begin_operator +up f1 f4 +0 +1 +0 5 1 4 +1 +end_operator +begin_operator +up f1 f5 +0 +1 +0 5 1 5 +1 +end_operator +begin_operator +up f1 f6 +0 +1 +0 5 1 6 +1 +end_operator +begin_operator +up f1 f7 +0 +1 +0 5 1 7 +1 +end_operator +begin_operator +up f1 f8 +0 +1 +0 5 1 8 +1 +end_operator +begin_operator +up f1 f9 +0 +1 +0 5 1 9 +1 +end_operator +begin_operator +up f2 f3 +0 +1 +0 5 2 3 +1 +end_operator +begin_operator +up f2 f4 +0 +1 +0 5 2 4 +1 +end_operator +begin_operator +up f2 f5 +0 +1 +0 5 2 5 +1 +end_operator +begin_operator +up f2 f6 +0 +1 +0 5 2 6 +1 +end_operator +begin_operator +up f2 f7 +0 +1 +0 5 2 7 +1 +end_operator +begin_operator +up f2 f8 +0 +1 +0 5 2 8 +1 +end_operator +begin_operator +up f2 f9 +0 +1 +0 5 2 9 +1 +end_operator +begin_operator +up f3 f4 +0 +1 +0 5 3 4 +1 +end_operator +begin_operator +up f3 f5 +0 +1 +0 5 3 5 +1 +end_operator +begin_operator +up f3 f6 +0 +1 +0 5 3 6 +1 +end_operator +begin_operator +up f3 f7 +0 +1 +0 5 3 7 +1 +end_operator +begin_operator +up f3 f8 +0 +1 +0 5 3 8 +1 +end_operator +begin_operator +up f3 f9 +0 +1 +0 5 3 9 +1 +end_operator +begin_operator +up f4 f5 +0 +1 +0 5 4 5 +1 +end_operator +begin_operator +up f4 f6 +0 +1 +0 5 4 6 +1 +end_operator +begin_operator +up f4 f7 +0 +1 +0 5 4 7 +1 +end_operator +begin_operator +up f4 f8 +0 +1 +0 5 4 8 +1 +end_operator +begin_operator +up f4 f9 +0 +1 +0 5 4 9 +1 +end_operator +begin_operator +up f5 f6 +0 +1 +0 5 5 6 +1 +end_operator +begin_operator +up f5 f7 +0 +1 +0 5 5 7 +1 +end_operator +begin_operator +up f5 f8 +0 +1 +0 5 5 8 +1 +end_operator +begin_operator +up f5 f9 +0 +1 +0 5 5 9 +1 +end_operator +begin_operator +up f6 f7 +0 +1 +0 5 6 7 +1 +end_operator +begin_operator +up f6 f8 +0 +1 +0 5 6 8 +1 +end_operator +begin_operator +up f6 f9 +0 +1 +0 5 6 9 +1 +end_operator +begin_operator +up f7 f8 +0 +1 +0 5 7 8 +1 +end_operator +begin_operator +up f7 f9 +0 +1 +0 5 7 9 +1 +end_operator +begin_operator +up f8 f9 +0 +1 +0 5 8 9 +1 +end_operator +0 diff --git a/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-01.sas b/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-01.sas new file mode 100644 index 0000000..fe87ee6 --- /dev/null +++ b/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-01.sas @@ -0,0 +1,823 @@ +begin_version +3 +end_version +begin_metric +0 +end_metric +11 +begin_variable +var0 +-1 +2 +Atom boarded(p0) +NegatedAtom boarded(p0) +end_variable +begin_variable +var1 +-1 +2 +Atom boarded(p1) +NegatedAtom boarded(p1) +end_variable +begin_variable +var2 +-1 +2 +Atom boarded(p2) +NegatedAtom boarded(p2) +end_variable +begin_variable +var3 +-1 +2 +Atom boarded(p3) +NegatedAtom boarded(p3) +end_variable +begin_variable +var4 +-1 +2 +Atom boarded(p4) +NegatedAtom boarded(p4) +end_variable +begin_variable +var5 +-1 +10 +Atom lift-at(f0) +Atom lift-at(f1) +Atom lift-at(f2) +Atom lift-at(f3) +Atom lift-at(f4) +Atom lift-at(f5) +Atom lift-at(f6) +Atom lift-at(f7) +Atom lift-at(f8) +Atom lift-at(f9) +end_variable +begin_variable +var6 +-1 +2 +Atom served(p0) +NegatedAtom served(p0) +end_variable +begin_variable +var7 +-1 +2 +Atom served(p1) +NegatedAtom served(p1) +end_variable +begin_variable +var8 +-1 +2 +Atom served(p2) +NegatedAtom served(p2) +end_variable +begin_variable +var9 +-1 +2 +Atom served(p3) +NegatedAtom served(p3) +end_variable +begin_variable +var10 +-1 +2 +Atom served(p4) +NegatedAtom served(p4) +end_variable +1 +begin_mutex_group +10 +5 0 +5 1 +5 2 +5 3 +5 4 +5 5 +5 6 +5 7 +5 8 +5 9 +end_mutex_group +begin_state +1 +1 +1 +1 +1 +0 +1 +1 +1 +1 +1 +end_state +begin_goal +5 +6 0 +7 0 +8 0 +9 0 +10 0 +end_goal +97 +begin_operator +down f1 f0 +0 +1 +0 5 1 0 +1 +end_operator +begin_operator +down f2 f0 +0 +1 +0 5 2 0 +1 +end_operator +begin_operator +down f2 f1 +0 +1 +0 5 2 1 +1 +end_operator +begin_operator +down f3 f0 +0 +1 +0 5 3 0 +1 +end_operator +begin_operator +down f3 f1 +0 +1 +0 5 3 1 +1 +end_operator +begin_operator +down f3 f2 +0 +1 +0 5 3 2 +1 +end_operator +begin_operator +down f4 f0 +0 +1 +0 5 4 0 +1 +end_operator +begin_operator +down f4 f1 +0 +1 +0 5 4 1 +1 +end_operator +begin_operator +down f4 f2 +0 +1 +0 5 4 2 +1 +end_operator +begin_operator +down f4 f3 +0 +1 +0 5 4 3 +1 +end_operator +begin_operator +down f5 f0 +0 +1 +0 5 5 0 +1 +end_operator +begin_operator +down f5 f1 +0 +1 +0 5 5 1 +1 +end_operator +begin_operator +down f5 f2 +0 +1 +0 5 5 2 +1 +end_operator +begin_operator +down f5 f3 +0 +1 +0 5 5 3 +1 +end_operator +begin_operator +down f5 f4 +0 +1 +0 5 5 4 +1 +end_operator +begin_operator +down f6 f0 +0 +1 +0 5 6 0 +1 +end_operator +begin_operator +down f6 f1 +0 +1 +0 5 6 1 +1 +end_operator +begin_operator +down f6 f2 +0 +1 +0 5 6 2 +1 +end_operator +begin_operator +down f6 f3 +0 +1 +0 5 6 3 +1 +end_operator +begin_operator +down f6 f4 +0 +1 +0 5 6 4 +1 +end_operator +begin_operator +down f6 f5 +0 +1 +0 5 6 5 +1 +end_operator +begin_operator +down f7 f0 +0 +1 +0 5 7 0 +1 +end_operator +begin_operator +down f7 f1 +0 +1 +0 5 7 1 +1 +end_operator +begin_operator +down f7 f2 +0 +1 +0 5 7 2 +1 +end_operator +begin_operator +down f7 f3 +0 +1 +0 5 7 3 +1 +end_operator +begin_operator +down f7 f4 +0 +1 +0 5 7 4 +1 +end_operator +begin_operator +down f7 f5 +0 +1 +0 5 7 5 +1 +end_operator +begin_operator +down f7 f6 +0 +1 +0 5 7 6 +1 +end_operator +begin_operator +down f8 f0 +0 +1 +0 5 8 0 +1 +end_operator +begin_operator +down f8 f1 +0 +1 +0 5 8 1 +1 +end_operator +begin_operator +down f8 f2 +0 +1 +0 5 8 2 +1 +end_operator +begin_operator +down f8 f3 +0 +1 +0 5 8 3 +1 +end_operator +begin_operator +down f8 f4 +0 +1 +0 5 8 4 +1 +end_operator +begin_operator +down f8 f5 +0 +1 +0 5 8 5 +1 +end_operator +begin_operator +down f8 f6 +0 +1 +0 5 8 6 +1 +end_operator +begin_operator +down f8 f7 +0 +1 +0 5 8 7 +1 +end_operator +begin_operator +down f9 f0 +0 +1 +0 5 9 0 +1 +end_operator +begin_operator +down f9 f1 +0 +1 +0 5 9 1 +1 +end_operator +begin_operator +down f9 f2 +0 +1 +0 5 9 2 +1 +end_operator +begin_operator +down f9 f3 +0 +1 +0 5 9 3 +1 +end_operator +begin_operator +down f9 f4 +0 +1 +0 5 9 4 +1 +end_operator +begin_operator +down f9 f5 +0 +1 +0 5 9 5 +1 +end_operator +begin_operator +down f9 f6 +0 +1 +0 5 9 6 +1 +end_operator +begin_operator +down f9 f7 +0 +1 +0 5 9 7 +1 +end_operator +begin_operator +down f9 f8 +0 +1 +0 5 9 8 +1 +end_operator +begin_operator +stop f0 +1 +5 0 +5 +1 6 1 0 -1 0 +0 3 -1 1 +0 4 -1 1 +1 3 0 9 -1 0 +1 4 0 10 -1 0 +1 +end_operator +begin_operator +stop f1 +1 +5 1 +3 +0 0 -1 1 +1 10 1 4 -1 0 +1 0 0 6 -1 0 +1 +end_operator +begin_operator +stop f3 +1 +5 3 +2 +0 2 -1 1 +1 2 0 8 -1 0 +1 +end_operator +begin_operator +stop f4 +1 +5 4 +2 +0 1 -1 1 +1 1 0 7 -1 0 +1 +end_operator +begin_operator +stop f5 +1 +5 5 +1 +1 9 1 3 -1 0 +1 +end_operator +begin_operator +stop f6 +1 +5 6 +1 +1 8 1 2 -1 0 +1 +end_operator +begin_operator +stop f9 +1 +5 9 +1 +1 7 1 1 -1 0 +1 +end_operator +begin_operator +up f0 f1 +0 +1 +0 5 0 1 +1 +end_operator +begin_operator +up f0 f2 +0 +1 +0 5 0 2 +1 +end_operator +begin_operator +up f0 f3 +0 +1 +0 5 0 3 +1 +end_operator +begin_operator +up f0 f4 +0 +1 +0 5 0 4 +1 +end_operator +begin_operator +up f0 f5 +0 +1 +0 5 0 5 +1 +end_operator +begin_operator +up f0 f6 +0 +1 +0 5 0 6 +1 +end_operator +begin_operator +up f0 f7 +0 +1 +0 5 0 7 +1 +end_operator +begin_operator +up f0 f8 +0 +1 +0 5 0 8 +1 +end_operator +begin_operator +up f0 f9 +0 +1 +0 5 0 9 +1 +end_operator +begin_operator +up f1 f2 +0 +1 +0 5 1 2 +1 +end_operator +begin_operator +up f1 f3 +0 +1 +0 5 1 3 +1 +end_operator +begin_operator +up f1 f4 +0 +1 +0 5 1 4 +1 +end_operator +begin_operator +up f1 f5 +0 +1 +0 5 1 5 +1 +end_operator +begin_operator +up f1 f6 +0 +1 +0 5 1 6 +1 +end_operator +begin_operator +up f1 f7 +0 +1 +0 5 1 7 +1 +end_operator +begin_operator +up f1 f8 +0 +1 +0 5 1 8 +1 +end_operator +begin_operator +up f1 f9 +0 +1 +0 5 1 9 +1 +end_operator +begin_operator +up f2 f3 +0 +1 +0 5 2 3 +1 +end_operator +begin_operator +up f2 f4 +0 +1 +0 5 2 4 +1 +end_operator +begin_operator +up f2 f5 +0 +1 +0 5 2 5 +1 +end_operator +begin_operator +up f2 f6 +0 +1 +0 5 2 6 +1 +end_operator +begin_operator +up f2 f7 +0 +1 +0 5 2 7 +1 +end_operator +begin_operator +up f2 f8 +0 +1 +0 5 2 8 +1 +end_operator +begin_operator +up f2 f9 +0 +1 +0 5 2 9 +1 +end_operator +begin_operator +up f3 f4 +0 +1 +0 5 3 4 +1 +end_operator +begin_operator +up f3 f5 +0 +1 +0 5 3 5 +1 +end_operator +begin_operator +up f3 f6 +0 +1 +0 5 3 6 +1 +end_operator +begin_operator +up f3 f7 +0 +1 +0 5 3 7 +1 +end_operator +begin_operator +up f3 f8 +0 +1 +0 5 3 8 +1 +end_operator +begin_operator +up f3 f9 +0 +1 +0 5 3 9 +1 +end_operator +begin_operator +up f4 f5 +0 +1 +0 5 4 5 +1 +end_operator +begin_operator +up f4 f6 +0 +1 +0 5 4 6 +1 +end_operator +begin_operator +up f4 f7 +0 +1 +0 5 4 7 +1 +end_operator +begin_operator +up f4 f8 +0 +1 +0 5 4 8 +1 +end_operator +begin_operator +up f4 f9 +0 +1 +0 5 4 9 +1 +end_operator +begin_operator +up f5 f6 +0 +1 +0 5 5 6 +1 +end_operator +begin_operator +up f5 f7 +0 +1 +0 5 5 7 +1 +end_operator +begin_operator +up f5 f8 +0 +1 +0 5 5 8 +1 +end_operator +begin_operator +up f5 f9 +0 +1 +0 5 5 9 +1 +end_operator +begin_operator +up f6 f7 +0 +1 +0 5 6 7 +1 +end_operator +begin_operator +up f6 f8 +0 +1 +0 5 6 8 +1 +end_operator +begin_operator +up f6 f9 +0 +1 +0 5 6 9 +1 +end_operator +begin_operator +up f7 f8 +0 +1 +0 5 7 8 +1 +end_operator +begin_operator +up f7 f9 +0 +1 +0 5 7 9 +1 +end_operator +begin_operator +up f8 f9 +0 +1 +0 5 8 9 +1 +end_operator +0