This repository has been archived on 2023-07-19. You can view files and clone it, but cannot push or open issues or pull requests.
plasp/encodings/sas-tests/miconic-adl-simple_f4_p2.sas

191 lines
1.5 KiB
SAS
Raw Normal View History

begin_version
3
end_version
begin_metric
0
end_metric
6
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
4
Atom lift-at(f0)
Atom lift-at(f1)
Atom lift-at(f2)
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
-1
2
Atom served(p1)
NegatedAtom served(p1)
end_variable
1
begin_mutex_group
4
2 0
2 1
2 2
2 3
end_mutex_group
begin_state
1
1
0
0
1
1
end_state
begin_goal
1
3 1
end_goal
15
begin_operator
down f1 f0
0
1
0 2 1 0
1
end_operator
begin_operator
down f2 f0
0
1
0 2 2 0
1
end_operator
begin_operator
down f2 f1
0
1
0 2 2 1
1
end_operator
begin_operator
down f3 f0
0
1
0 2 3 0
1
end_operator
begin_operator
down f3 f1
0
1
0 2 3 1
1
end_operator
begin_operator
down f3 f2
0
1
0 2 3 2
1
end_operator
begin_operator
stop f1
1
2 1
2
0 0 -1 1
1 0 0 4 -1 0
1
end_operator
begin_operator
stop f2
1
2 2
2
1 4 1 0 -1 0
1 5 1 1 -1 0
1
end_operator
begin_operator
stop f3
1
2 3
2
0 1 -1 1
1 1 0 5 -1 0
1
end_operator
begin_operator
up f0 f1
0
1
0 2 0 1
1
end_operator
begin_operator
up f0 f2
0
1
0 2 0 2
1
end_operator
begin_operator
up f0 f3
0
1
0 2 0 3
1
end_operator
begin_operator
up f1 f2
0
1
0 2 1 2
1
end_operator
begin_operator
up f1 f3
0
1
0 2 1 3
1
end_operator
begin_operator
up f2 f3
0
1
0 2 2 3
1
end_operator
1
begin_rule
2
4 0
5 0
3 0 1
end_rule