plasp/instances/SAS/ipc-2000-elevator-m10-simple/problem-05-00.sas

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