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

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
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`begin_version`
			`3`
			`end_version`
			`begin_metric`
			`0`
			`end_metric`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`7`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`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`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`2`
			`Atom boarded(p2)`
			`NegatedAtom boarded(p2)`
			`end_variable`
			`begin_variable`
			`var3`
			`-1`
			`6`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`Atom lift-at(f0)`
			`Atom lift-at(f1)`
			`Atom lift-at(f2)`
			`Atom lift-at(f3)`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`Atom lift-at(f4)`
			`Atom lift-at(f5)`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`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`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`begin_variable`
			`var6`
			`-1`
			`2`
			`Atom served(p2)`
			`NegatedAtom served(p2)`
			`end_variable`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`begin_mutex_group`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`6`
			`3 0`
			`3 1`
			`3 2`
			`3 3`
			`3 4`
			`3 5`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`end_mutex_group`
			`begin_state`
			`1`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`1`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`0`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`1`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`1`
			`end_state`
			`begin_goal`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`3`
			`4 0`
			`5 0`
			`6 0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`end_goal`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`34`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`begin_operator`
			`down f1 f0`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 1 0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`down f2 f0`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 2 0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`down f2 f1`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 2 1`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`down f3 f0`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 3 0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`down f3 f1`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 3 1`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`down f3 f2`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 3 2`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`down f4 f0`
			`0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 4 0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`down f4 f1`
			`0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`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`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1 4 1 0 -1 0`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 1 -1 1`
			`0 2 -1 1`
			`1 1 0 5 -1 0`
			`1 2 0 6 -1 0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`stop f3`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`3 3`
			`1`
			`1 5 1 1 -1 0`
			`1`
			`end_operator`
			`begin_operator`
			`stop f4`
			`1`
			`3 4`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`2`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`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`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`up f0 f1`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 0 1`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`up f0 f2`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 0 2`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`up f0 f3`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`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`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`up f1 f2`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 1 2`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`up f1 f3`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`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`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
			`begin_operator`
			`up f2 f3`
			`0`
			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`0 3 2 3`
			`1`
			`end_operator`
			`begin_operator`
			`up f2 f4`
			`0`
			`1`
			`0 3 2 4`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
			`end_operator`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`begin_operator`
			`up f2 f5`
			`0`
generated some sas files from Rene's PDDL samples - should be deleted later - 2016-08-28 21:00:05 +02:00			`1`
Moved IPC 2000 Elevator example instances to instance directory. 2016-09-02 15:44:33 +02:00			`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`