From c01309353b1cdc332bdc45100f83775a4107f64d Mon Sep 17 00:00:00 2001 From: Simon Dold Date: Sat, 13 Apr 2024 08:32:13 +0200 Subject: [PATCH] delete accidental commited files --- probBLOCKS-4-1.sas | 454 --------------------------------------------- 1 file changed, 454 deletions(-) delete mode 100644 probBLOCKS-4-1.sas diff --git a/probBLOCKS-4-1.sas b/probBLOCKS-4-1.sas deleted file mode 100644 index f7047375f4..0000000000 --- a/probBLOCKS-4-1.sas +++ /dev/null @@ -1,454 +0,0 @@ -begin_version -3 -end_version -begin_metric -0 -end_metric -9 -begin_variable -var0 --1 -5 -Atom holding(b) -Atom on(b, a) -Atom on(b, c) -Atom on(b, d) -Atom ontable(b) -end_variable -begin_variable -var1 --1 -2 -Atom clear(b) -NegatedAtom clear(b) -end_variable -begin_variable -var2 --1 -2 -Atom clear(a) -NegatedAtom clear(a) -end_variable -begin_variable -var3 --1 -2 -Atom clear(c) -NegatedAtom clear(c) -end_variable -begin_variable -var4 --1 -2 -Atom clear(d) -NegatedAtom clear(d) -end_variable -begin_variable -var5 --1 -2 -Atom handempty() -NegatedAtom handempty() -end_variable -begin_variable -var6 --1 -5 -Atom holding(a) -Atom on(a, b) -Atom on(a, c) -Atom on(a, d) -Atom ontable(a) -end_variable -begin_variable -var7 --1 -5 -Atom holding(c) -Atom on(c, a) -Atom on(c, b) -Atom on(c, d) -Atom ontable(c) -end_variable -begin_variable -var8 --1 -5 -Atom holding(d) -Atom on(d, a) -Atom on(d, b) -Atom on(d, c) -Atom ontable(d) -end_variable -5 -begin_mutex_group -5 -2 0 -6 0 -0 1 -7 1 -8 1 -end_mutex_group -begin_mutex_group -5 -1 0 -6 1 -0 0 -7 2 -8 2 -end_mutex_group -begin_mutex_group -5 -3 0 -6 2 -0 2 -7 0 -8 3 -end_mutex_group -begin_mutex_group -5 -4 0 -6 3 -0 3 -7 3 -8 0 -end_mutex_group -begin_mutex_group -5 -5 0 -6 0 -0 0 -7 0 -8 0 -end_mutex_group -begin_state -2 -0 -1 -1 -1 -0 -3 -1 -4 -end_state -begin_goal -3 -6 1 -7 1 -8 3 -end_goal -32 -begin_operator -pick-up a -0 -3 -0 2 0 1 -0 5 0 1 -0 6 4 0 -1 -end_operator -begin_operator -pick-up b -0 -3 -0 1 0 1 -0 5 0 1 -0 0 4 0 -1 -end_operator -begin_operator -pick-up c -0 -3 -0 3 0 1 -0 5 0 1 -0 7 4 0 -1 -end_operator -begin_operator -pick-up d -0 -3 -0 4 0 1 -0 5 0 1 -0 8 4 0 -1 -end_operator -begin_operator -put-down a -0 -3 -0 2 -1 0 -0 5 -1 0 -0 6 0 4 -1 -end_operator -begin_operator -put-down b -0 -3 -0 1 -1 0 -0 5 -1 0 -0 0 0 4 -1 -end_operator -begin_operator -put-down c -0 -3 -0 3 -1 0 -0 5 -1 0 -0 7 0 4 -1 -end_operator -begin_operator -put-down d -0 -3 -0 4 -1 0 -0 5 -1 0 -0 8 0 4 -1 -end_operator -begin_operator -stack a b -0 -4 -0 2 -1 0 -0 1 0 1 -0 5 -1 0 -0 6 0 1 -1 -end_operator -begin_operator -stack a c -0 -4 -0 2 -1 0 -0 3 0 1 -0 5 -1 0 -0 6 0 2 -1 -end_operator -begin_operator -stack a d -0 -4 -0 2 -1 0 -0 4 0 1 -0 5 -1 0 -0 6 0 3 -1 -end_operator -begin_operator -stack b a -0 -4 -0 2 0 1 -0 1 -1 0 -0 5 -1 0 -0 0 0 1 -1 -end_operator -begin_operator -stack b c -0 -4 -0 1 -1 0 -0 3 0 1 -0 5 -1 0 -0 0 0 2 -1 -end_operator -begin_operator -stack b d -0 -4 -0 1 -1 0 -0 4 0 1 -0 5 -1 0 -0 0 0 3 -1 -end_operator -begin_operator -stack c a -0 -4 -0 2 0 1 -0 3 -1 0 -0 5 -1 0 -0 7 0 1 -1 -end_operator -begin_operator -stack c b -0 -4 -0 1 0 1 -0 3 -1 0 -0 5 -1 0 -0 7 0 2 -1 -end_operator -begin_operator -stack c d -0 -4 -0 3 -1 0 -0 4 0 1 -0 5 -1 0 -0 7 0 3 -1 -end_operator -begin_operator -stack d a -0 -4 -0 2 0 1 -0 4 -1 0 -0 5 -1 0 -0 8 0 1 -1 -end_operator -begin_operator -stack d b -0 -4 -0 1 0 1 -0 4 -1 0 -0 5 -1 0 -0 8 0 2 -1 -end_operator -begin_operator -stack d c -0 -4 -0 3 0 1 -0 4 -1 0 -0 5 -1 0 -0 8 0 3 -1 -end_operator -begin_operator -unstack a b -0 -4 -0 2 0 1 -0 1 -1 0 -0 5 0 1 -0 6 1 0 -1 -end_operator -begin_operator -unstack a c -0 -4 -0 2 0 1 -0 3 -1 0 -0 5 0 1 -0 6 2 0 -1 -end_operator -begin_operator -unstack a d -0 -4 -0 2 0 1 -0 4 -1 0 -0 5 0 1 -0 6 3 0 -1 -end_operator -begin_operator -unstack b a -0 -4 -0 2 -1 0 -0 1 0 1 -0 5 0 1 -0 0 1 0 -1 -end_operator -begin_operator -unstack b c -0 -4 -0 1 0 1 -0 3 -1 0 -0 5 0 1 -0 0 2 0 -1 -end_operator -begin_operator -unstack b d -0 -4 -0 1 0 1 -0 4 -1 0 -0 5 0 1 -0 0 3 0 -1 -end_operator -begin_operator -unstack c a -0 -4 -0 2 -1 0 -0 3 0 1 -0 5 0 1 -0 7 1 0 -1 -end_operator -begin_operator -unstack c b -0 -4 -0 1 -1 0 -0 3 0 1 -0 5 0 1 -0 7 2 0 -1 -end_operator -begin_operator -unstack c d -0 -4 -0 3 0 1 -0 4 -1 0 -0 5 0 1 -0 7 3 0 -1 -end_operator -begin_operator -unstack d a -0 -4 -0 2 -1 0 -0 4 0 1 -0 5 0 1 -0 8 1 0 -1 -end_operator -begin_operator -unstack d b -0 -4 -0 1 -1 0 -0 4 0 1 -0 5 0 1 -0 8 2 0 -1 -end_operator -begin_operator -unstack d c -0 -4 -0 3 -1 0 -0 4 0 1 -0 5 0 1 -0 8 3 0 -1 -end_operator -0