0 KLIEG Ver. 3.3
M search_controllers  422 126 176 39 176 39 1218 598  
P
C 1 default 5 5 124 74 123 74 123 74  
Q
T Pool 1 0 0 0 1 0 37 5 51 20 51 20 51 20  
V
v
t
T Answers 1 0 0 0 1 0 37 27 51 20 51 20 51 20  
V
v
t
q
c
C 2 goal_check 135 5 123 74 123 74 123 74  
Q
T Pool 1 0 0 0 1 0 68 5 51 20 40 20 40 20  
V
v
t
T N 0 0 1 0 1 0 5 5 51 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 68 27 51 20 40 20 40 20  
V
v
t
q
c
C 3 ans_or_extend 134 81 124 74 123 74 123 74  
Q
T Pool 1 0 0 0 1 0 68 5 51 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 68 27 51 20 40 20 40 20  
V
v
t
T Result 0 0 1 0 1 0 6 5 51 20 40 20 40 20  
V
v
t
T Node 1 0 0 0 1 0 6 27 51 20 40 20 40 20  
V
v
t
q
c
C 4 close_nodes 21 376 92 60 60 60 60 60  
Q
T Pools 1 0 0 0 1 0 26 8 40 20 40 20 40 20  
V
v
t
q
c
C 5 close_a_node 263 376 92 60 92 60 92 60  
Q
T Outs 1 0 0 0 1 0 47 8 40 20 40 20 40 20  
V
v
t
T N 0 0 1 0 1 0 5 8 40 20 40 20 40 20  
V
v
t
q
c
C 6 depth_bound 12 148 110 78 60 60 60 60  
Q
T Pool 1 0 0 0 1 0 25 27 61 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 25 5 61 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 25 49 61 20 40 20 40 20  
V
v
t
q
c
C 7 db_goal_check 138 157 116 60 116 60 116 60  
Q
T N 0 0 1 0 1 0 9 5 40 20 40 20 40 20  
V
v
t
T Pool 1 0 0 0 1 0 67 5 40 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 67 27 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 9 27 40 20 40 20 40 20  
V
v
t
q
c
C 8 db_ans_or_extend 134 219 125 96 90 96 90 96  
Q
T R 0 0 1 0 1 0 11 5 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 11 27 40 20 40 20 40 20  
V
v
t
T Node 1 0 0 0 1 0 73 5 40 20 40 20 40 20  
V
v
t
T Pool 1 0 0 0 1 0 73 27 40 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 73 49 40 20 40 20 40 20  
V
v
t
T NodeD 0 0 1 0 1 0 11 49 40 20 40 20 40 20  
V
v
t
q
c
C 9 initializer 16 302 103 72 103 72 140 151  
Q
T Cntl 1 0 1 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Pool 1 0 0 0 1 0 58 17 40 20 40 20 40 20  
V
v
t
T Node 1 0 0 0 1 0 5 29 40 20 40 20 40 20  
V
v
t
q
c
p
X
x
R
L 0 1 37 438 60 60 60 60 522 635  
Q
q
O
N 0 0 stack node_pools 257 16 62 57 62 57 62 57  
Q
T Ins 1 0 1 0 1 0 11 15 40 18 26 18 40 20  
V
v
t
q
n
N 0 0 node node 5 88 203 152 203 152 203 152  
Q
T Paren 1 0 0 1 1 0 5 8 117 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 116 117 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 44 117 20 40 20 40 20  
V
A 0
a
v
t
T State 1 0 1 1 1 0 5 80 117 20 40 20 40 20  
V
v
t
T Impl 1 0 0 0 1 0 138 80 40 20 40 20 40 20  
V
v
t
q
n
N 0 0 m_and_c missionaries_cannibals 216 128 145 73 145 73 145 73  
Q
T Nm 0 0 1 0 1 0 5 6 40 20 40 20 40 20  
V
A 3
a
v
t
T Nc 0 0 1 0 1 0 52 6 40 20 40 20 40 20  
V
A 3
a
v
t
T Bcapa 0 0 1 0 1 0 99 6 40 20 40 20 40 20  
V
A 2
a
v
t
T Ins 1 0 1 0 1 0 52 38 40 20 40 20 40 20  
V
v
t
q
n
N 0 0 depth_bound search_controllers 51 5 110 78 110 78 110 78  
Q
T Pool 1 0 0 0 1 0 25 27 61 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 25 5 61 20 40 20 40 20  
V
A 3
a
v
t
T Answers 1 0 0 0 1 0 25 49 61 20 40 20 40 20  
V
v
t
q
n
N 0 0 initializer search_controllers 163 10 92 68 92 68 92 68  
Q
T Cntl 1 0 1 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Pool 1 0 0 0 1 0 47 30 40 20 40 20 40 20  
V
v
t
T Node 1 0 0 0 1 0 5 55 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 2 3 5 -1
1 3 3 4 -1
d
D
1 5 3 2 -1
1 1 3 1 -1
d
D
1 4 3 1 -1
1 5 3 1 -1
d
D
1 5 3 3 -1
1 2 3 2 -1
d
b
G
g
l
L 1 1 21 97 93 43 93 43 385 349  
Q
T Pool 1 1 1 0 1 0 63 5 139 21 139 21 139 21  
V
S get
V
T N 0 0 0 0 1 0 0 1 20 4 0 0 0 0  
V
v
t
v
s
v
t
T Answers 1 1 1 0 1 0 93 111 79 20 79 20 79 20  
V
v
t
q
O
N 2 0 goal_check module 5 30 113 76 60 60 60 60  
Q
T Pool 1 0 0 0 1 0 64 7 40 20 40 20 40 20  
V
v
t
T N 0 0 1 0 1 0 8 7 40 20 40 20 40 20  
V
T N 0 0 0 0 1 0 0 1 20 4 0 0 0 0  
V
v
t
v
t
T Answers 1 0 0 0 1 0 64 41 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
D
1 1 3 3 -1
3 2 -1
d
b
G
g
l
L 2 1 263 21 93 43 93 43 358 261  
Q
T Pool 1 1 1 0 1 0 372 111 40 20 40 20 40 20  
V
v
t
T N 0 1 0 0 1 0 5 5 322 22 322 22 280 26  
V
S node
V
T D 0 0 0 0 1 0 0 1 14 4 0 0 0 0  
V
v
t
T Node 1 0 1 0 1 0 11 1 46 4 0 0 0 0  
V
S is_goal
V
T R 0 0 0 0 1 0 0 1 13 0 0 0 0 0  
V
v
t
v
s
v
t
v
s
v
t
T Answers 1 1 1 0 1 0 372 133 40 20 40 20 40 20  
V
v
t
q
O
N 3 0 ans_or_extend module 268 32 123 74 123 74 123 74  
Q
T Pool 1 0 0 0 1 0 75 6 40 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 75 39 40 20 40 20 40 20  
V
v
t
T Result 0 0 1 0 1 0 5 39 65 20 51 20 51 20  
V
T R 0 0 0 0 1 0 0 1 13 0 0 0 0 0  
V
v
t
v
t
T Node 1 0 0 0 1 0 17 6 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
D
1 1 3 2 -1
3 3 -1
d
D
1 1 3 4 -1
3 2 4 1 4 2 -1
d
b
G
g
l
L 3 1 360 97 93 43 93 43 424 337  
Q
T Pool 1 1 1 0 1 0 171 50 40 20 40 20 40 20  
V
v
t
T Answers 1 1 1 1 1 0 139 95 105 20 51 20 51 20  
V
T R 1 0 0 0 1 0 0 1 29 11 0 0 0 0 
V
v
t
v
t
T Result 0 1 0 0 1 0 5 5 103 20 40 20 40 20  
V
S true
V
v
s
v
t
T Node 1 1 1 1 1 0 111 5 161 20 40 20 40 20  
V
S path
V
T E 1 0 0 1 1 0 0 1 21 9 0 0 0 0 
V
v
t
T R 1 0 0 0 1 0 22 1 21 9 0 0 0 0 
V
v
t
v
s
v
t
q
O
N 4 0 close_nodes module 79 30 60 60 60 60 60 60  
Q
T Pools 1 0 0 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
b
G
g
l
L 3 1 263 97 93 43 93 43 360 334  
Q
T Pool 1 1 1 0 1 0 296 106 151 20 40 20 40 20  
V
S puts
V
T Ns 1 0 0 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
v
t
T Answers 1 1 1 0 1 0 409 131 79 20 51 20 51 20  
V
v
t
T Result 0 1 0 0 1 0 63 6 105 23 40 20 40 20  
V
S false
V
v
s
v
t
T Node 1 1 1 1 1 0 169 5 201 24 40 20 40 20  
V
S extend
V
T Ns 1 0 0 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
v
s
v
t
q
O
N 1 0 default module 5 34 108 80 108 80 150 107  
Q
T Pool 1 0 0 0 1 0 15 8 83 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 5 44 103 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
D
1 1 3 2 -1
3 2 -1
d
b
G
g
l
L 2 1 360 21 93 43 93 43 300 227  
Q
T Pool 1 1 1 1 1 0 95 5 40 20 40 20 40 20  
V
v
t
T N 0 1 0 0 1 0 5 5 89 20 40 20 40 20  
V
S empty
V
v
s
v
t
T Answers 1 1 1 1 1 0 95 30 40 20 40 20 40 20  
V
v
t
q
O
o
B
b
G
g
l
L 4 1 150 385 93 43 93 43 237 240  
Q
T Pools 1 1 1 0 1 0 99 37 109 20 40 20 40 20  
V
S get
V
T N 0 0 0 0 1 0 0 1 26 7 0 0 0 0  
V
v
t
v
s
v
t
q
O
N 5 0 close_a_node module 5 5 92 85 60 60 60 60  
Q
T Outs 1 0 0 0 1 0 47 28 40 20 40 20 40 20  
V
v
t
T N 0 0 1 0 1 0 5 28 40 20 40 20 40 20  
V
T N 0 0 0 0 1 0 0 1 26 7 0 0 0 0  
V
v
t
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
b
G
g
l
L 5 1 457 385 93 43 93 43 200 144  
Q
T Outs 1 1 1 1 1 0 89 7 40 20 40 20 40 20  
V
v
t
T N 0 1 0 0 1 0 5 7 83 20 40 20 40 20  
V
S empty
V
v
s
v
t
q
O
o
B
b
G
g
l
L 5 1 360 385 93 43 93 43 261 189  
Q
T Outs 1 1 1 0 1 0 177 58 40 20 40 20 40 20  
V
v
t
T N 0 1 0 0 1 0 5 5 139 28 40 20 40 20  
V
S node
V
T D 0 0 0 0 1 0 0 1 8 5 0 0 0 0  
V
v
t
T Node 1 0 1 1 1 0 14 1 8 5 0 0 0 0  
V
v
t
v
s
v
t
q
O
N 4 0 close_nodes module 115 38 60 60 60 60 60 60  
Q
T Pools 1 0 0 0 1 0 10 16 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 1 -1
d
b
G
g
l
L 6 1 21 246 93 43 93 43 429 317  
Q
T Pool 1 1 1 0 1 0 97 5 138 20 61 20 61 20  
V
S get
V
T N 0 0 0 0 1 0 0 1 23 8 0 0 0 0  
V
v
t
v
s
v
t
T Depth 0 1 0 0 1 0 5 95 61 20 40 20 40 20  
V
v
t
T Answers 1 1 1 0 1 0 207 107 61 20 40 20 40 20  
V
v
t
q
O
N 7 0 db_goal_check module 37 30 116 60 116 60 116 60  
Q
T N 0 0 1 0 1 0 9 5 40 20 40 20 40 20  
V
T N 0 0 0 0 1 0 0 1 19 12 0 0 0 0  
V
v
t
v
t
T Pool 1 0 0 0 1 0 67 5 40 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 67 27 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 9 27 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 2 -1
1 1 3 4 -1
d
D
1 1 3 3 -1
3 3 -1
d
D
1 1 3 2 -1
3 1 -1
d
b
G
g
l
L 7 1 263 166 93 43 60 60 360 275  
Q
T N 0 1 0 0 1 0 27 5 225 20 40 20 40 20  
V
S node
V
T Nd 0 0 0 0 1 0 0 1 7 0 0 0 0 0  
V
v
t
T Node 1 0 1 0 1 0 9 1 23 0 0 0 0 0  
V
S is_goal
V
T R 0 0 0 0 1 0 0 1 7 -4 0 0 0 0  
V
v
t
v
s
v
t
v
s
v
t
T Pool 1 1 1 0 1 0 297 131 40 20 40 20 40 20  
V
v
t
T Answers 1 1 1 0 1 0 297 153 40 20 40 20 40 20  
V
v
t
T Depth 0 1 0 0 1 0 5 131 40 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 3 2 0 0 0 0  
V
v
t
v
t
q
O
N 8 0 db_ans_or_extend module 191 30 125 96 90 96 90 96  
Q
T R 0 0 1 0 1 0 11 5 40 20 40 20 40 20  
V
T R 0 0 0 0 1 0 0 1 16 10 0 0 0 0  
V
v
t
v
t
T Depth 0 0 1 0 1 0 11 34 40 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 16 10 0 0 0 0  
V
v
t
v
t
T Node 1 0 0 0 1 0 73 5 40 20 40 20 40 20  
V
v
t
T Pool 1 0 0 0 1 0 73 34 40 20 40 20 40 20  
V
v
t
T Answers 1 0 0 0 1 0 73 63 40 20 40 20 40 20  
V
v
t
T NodeD 0 0 1 0 1 0 11 63 40 20 40 20 40 20  
V
T Nd 0 0 0 0 1 0 0 1 16 10 0 0 0 0  
V
v
t
v
t
q
n
o
B
D
1 1 3 4 -1
3 2 -1
d
D
1 1 3 5 -1
3 3 -1
d
D
1 1 3 3 -1
3 1 4 1 4 2 -1
d
b
G
g
l
L 8 1 263 246 93 43 93 43 356 302  
Q
T R 0 1 0 0 1 0 5 5 106 20 40 20 40 20  
V
S false
V
v
s
v
t
T Depth 0 1 0 0 1 0 168 5 73 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 15 7 0 0 0 0  
V
v
t
v
t
T Node 1 1 1 1 1 0 206 30 179 20 40 20 40 20  
V
S extend
V
T Ns 1 0 0 0 1 0 0 1 22 5 0 0 0 0  
V
v
t
v
s
v
t
T Pool 1 1 1 0 1 0 206 141 179 20 40 20 40 20  
V
S puts
V
T Ns 1 0 0 0 1 0 0 1 22 5 0 0 0 0  
V
v
t
v
s
v
t
T Answers 1 1 1 0 1 0 93 141 40 20 40 20 40 20  
V
v
t
T NodeD 0 1 0 0 1 0 345 5 82 20 40 20 40 20  
V
T Nd 0 0 0 0 1 0 0 1 17 7 0 0 0 0  
V
v
t
v
t
q
O
N 6 0 depth_bound module 62 55 102 85 110 78 110 78  
Q
T Pool 1 0 0 0 1 0 5 27 61 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 5 61 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 18 6 0 0 0 0  
V
v
t
v
t
T Answers 1 0 0 0 1 0 5 49 61 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 4 -1
d
D
1 1 3 3 -1
3 5 -1
d
b
G
F  136 30 60 20 60 20 60 20  Nd<D
f
g
l
L 7 1 360 166 93 43 60 60 157 129  
Q
T N 0 1 0 0 1 0 5 5 81 20 40 20 40 20  
V
S empty
V
v
s
v
t
T Pool 1 1 1 1 1 0 109 5 40 20 40 20 40 20  
V
v
t
T Answers 1 1 1 1 1 0 109 30 40 20 40 20 40 20  
V
v
t
T Depth 0 1 0 0 1 0 67 30 40 20 40 20 40 20  
V
v
t
q
O
o
B
b
G
g
l
L 8 1 457 246 93 43 93 43 390 225  
Q
T R 0 1 0 0 1 0 5 5 100 20 40 20 40 20  
V
S true
V
v
s
v
t
T Depth 0 1 0 0 1 0 35 50 40 20 40 20 40 20  
V
v
t
T Node 1 1 1 1 1 0 125 5 149 20 149 20 149 20  
V
S path
V
T E 1 0 0 1 1 0 0 1 18 5 0 0 0 0 
V
v
t
T R 1 0 0 0 1 0 19 1 18 5 0 0 0 0 
V
v
t
v
s
v
t
T Pool 1 1 1 0 1 0 179 50 40 20 40 20 40 20  
V
v
t
T Answers 1 1 1 1 1 0 125 96 148 19 40 20 40 20  
V
T R 1 0 0 0 1 0 0 1 40 7 0 0 0 0 
V
v
t
v
t
T NodeD 0 1 0 0 1 0 35 95 40 20 40 20 40 20  
V
v
t
q
O
N 4 0 close_nodes module 77 30 92 60 60 60 60 60  
Q
T Pools 1 0 0 0 1 0 24 9 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 4 -1
d
b
G
g
l
L 8 1 360 246 93 43 93 43 331 251  
Q
T R 0 1 0 0 1 0 5 5 133 20 40 20 40 20  
V
S false
V
v
s
v
t
T Depth 0 1 0 0 1 0 198 5 97 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 7 3 0 0 0 0  
V
v
t
v
t
T Node 1 1 1 1 1 0 279 30 131 20 40 20 40 20  
V
v
t
T Pool 1 1 1 0 1 0 324 84 40 20 40 20 40 20  
V
v
t
T Answers 1 1 1 0 1 0 324 125 40 20 40 20 40 20  
V
v
t
T NodeD 0 1 0 0 1 0 296 5 97 20 40 20 40 20  
V
T Nd 0 0 0 0 1 0 0 1 7 3 0 0 0 0  
V
v
t
v
t
q
O
N 6 0 depth_bound module 84 55 110 78 60 60 60 60  
Q
T Pool 1 0 0 0 1 0 5 27 61 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 5 61 20 40 20 40 20  
V
T D 0 0 0 0 1 0 0 1 22 6 0 0 0 0  
V
v
t
v
t
T Answers 1 0 0 0 1 0 5 49 61 20 40 20 40 20  
V
v
t
q
n
o
B
D
1 1 3 1 -1
3 4 -1
d
D
1 1 3 3 -1
3 5 -1
d
b
G
F  166 30 60 20 60 20 60 20  D=<Nd
f
g
l
L 9 1 150 317 93 43 93 43 347 300  
Q
T Cntl 1 1 0 0 1 0 5 12 40 20 40 20 40 20  
V
v
t
T Pool 1 1 1 0 1 0 50 5 120 35 40 20 40 20  
V
S put
V
S node
V
A 0
a
T Node 1 0 0 0 1 0 11 1 12 19 0 0 0 0  
V
v
t
v
s
v
s
v
t
T Node 1 1 1 0 1 0 5 34 40 20 40 20 40 20  
V
v
t
q
O
o
B
D
3 2 4 1 4 1 4 2 -1
3 3 -1
d
D
3 1 -1
3 2 -1
d
b
G
g
l
r
m
