0 KLIEG Ver. 3.3
M search_framework  620 469 188 31 188 31 808 990  
P
C 1 test 26 195 60 60 60 60 60 60  
Q
q
c
p
X
x
R
L 0 1 5 389 102 116 113 16 408 433  
Q
q
O
N 0 0 test search_framework 5 5 60 60 60 60 60 60  
Q
q
n
o
B
b
G
g
l
L 1 1 112 5 537 441 63 58 537 441  
Q
q
O
E 0 search 0  0 5 5 377 370 377 370 377 370  
Q
q
H
I controller 5 5 336 600 336 600 336 612  
Q
T Node 1 0 0 0 1 0 148 279 40 20 40 20 40 20  
V
v
t
q
#
!
Z
336 612
336 600
336 154
z
O
E 0 controller 0  1 20 9 336 156 0 0 0 0 
Q
T Node 1 1 1 0 1 6 148 94 40 20 40 20 40 20  
V
v
t
q
H
I initializer 117 6 103 72 103 72 103 72  
Q
T Node 1 0 0 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Pool 1 0 0 0 1 0 58 27 40 20 40 20 40 20  
V
v
t
T Cntl 1 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
v
t
q
#
!
Z
z
O
N 0 1 initializer search_controllers 117 6 103 72 0 0 0 0 
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
n
o
i
I controller 17 5 78 74 78 74 78 74  
Q
T Pool 1 0 0 0 1 0 19 16 40 20 40 20 40 20  
V
v
t
q
#
!
Z
z
O
N 0 2 default search_controllers 17 5 78 74 0 0 0 0 
Q
T Pool 1 0 0 0 1 0 14 5 51 20 51 20 51 20  
V
v
t
T Answers 1 0 0 0 1 0 14 27 51 20 51 20 51 20  
V
v
t
q
n
o
i
I node_pool 250 12 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 9 40 20 40 20 40 20  
V
v
t
q
#
!
Z
z
O
N 0 3 stack node_pools 250 12 60 60 0 0 0 0 
Q
T Ins 1 0 1 0 1 0 5 8 59 22 40 20 40 20  
V
v
t
q
n
o
i
h
O
N 0 1 initializer search_controllers 117 6 103 72 103 72 103 72  
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
n
N 0 2 default search_controllers 17 5 78 74 78 74 78 74  
Q
T Pool 1 0 0 0 1 0 14 5 51 20 51 20 51 20  
V
v
t
T Answers 1 0 0 0 1 0 14 27 51 20 51 20 51 20  
V
v
t
q
n
N 0 3 stack node_pools 250 12 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 5 8 59 22 40 20 40 20  
V
v
t
q
n
o
B
D
2 1 3 1 -1
3 1 -1
d
D
2 1 3 2 -1
2 3 3 1 -1
d
D
2 2 3 1 -1
2 1 3 3 -1
d
D
1 1 3 3 -1
3 1 -1
d
D
1 1 3 2 -1
2 3 3 1 -1
d
D
2 2 3 1 -1
1 1 3 1 -1
d
D
1 2 3 1 -1
2 1 3 3 -1
d
D
1 2 3 1 -1
1 1 3 1 -1
d
D
2 1 3 2 -1
1 3 3 1 -1
d
D
1 1 3 2 -1
1 3 3 1 -1
d
b
#
!
Z
z
e
o
i
I node 7 607 332 253 332 135 283 182  
Q
T Cntl 1 0 1 0 1 0 142 105 49 20 40 20 40 20  
V
v
t
q
#
!
Z
332 135
332 135
332 135
z
O
E 0 node_tree 0  2 22 607 332 135 0 0 0 0 
Q
T Cntl 1 1 0 0 1 6 54 5 59 20 40 20 40 20  
V
v
t
q
H
I node 39 27 88 89 88 89 88 89  
Q
T Ins 1 0 1 0 1 0 24 6 40 20 40 20 40 20  
V
v
t
T Impl 1 0 0 0 1 0 24 40 40 20 40 20 40 20  
V
v
t
q
#
!
Z
z
O
N 0 1 node node 39 27 88 89 0 0 0 0 
Q
T Paren 1 0 0 1 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 71 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
A 0
a
v
t
T State 1 0 1 1 1 0 5 49 40 20 40 20 40 20  
V
v
t
T Impl 1 0 0 0 1 0 50 49 40 20 40 20 40 20  
V
v
t
q
n
o
i
I impl 204 26 90 90 90 90 90 90  
Q
T Ins 1 0 1 0 1 0 25 24 40 20 40 20 40 20  
V
v
t
q
#
!
Z
z
O
N 0 2 m_and_c missionaries_cannibals 185 25 128 92 0 0 0 0 
Q
T Nm 0 0 1 0 1 0 5 7 40 20 40 20 40 20  
V
A 2
a
v
t
T Nc 0 0 1 0 1 0 47 7 40 20 40 20 40 20  
V
A 2
a
v
t
T Bcapa 0 0 1 0 1 0 89 7 40 20 40 20 40 20  
V
A 1
a
v
t
T Ins 1 0 1 0 1 0 47 42 40 20 40 20 40 20  
V
v
t
q
n
N 0 2 eight_puzzle eight_puzzle 204 26 90 90 0 0 0 0 
Q
T Ins 1 0 1 0 1 0 25 24 40 20 40 20 40 20  
V
v
t
q
n
o
i
h
O
N 0 1 node node 39 27 88 89 88 89 88 89  
Q
T Paren 1 0 0 1 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 71 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
A 0
a
v
t
T State 1 0 1 1 1 0 5 49 40 20 40 20 40 20  
V
v
t
T Impl 1 0 0 0 1 0 50 49 40 20 40 20 40 20  
V
v
t
q
n
N 0 2 eight_puzzle eight_puzzle 204 26 90 90 90 90 90 90  
Q
T Ins 1 0 1 0 1 0 25 21 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 1 -1
2 1 3 1 -1
d
D
2 1 3 2 -1
2 2 3 1 -1
d
D
1 1 3 5 -1
2 2 3 1 -1
d
D
3 1 -1
1 1 3 2 -1
d
D
2 1 3 2 -1
1 2 3 1 -1
d
D
1 1 3 5 -1
1 2 3 1 -1
d
b
#
!
Z
z
e
o
i
h
O
E 0 controller 0  1 5 5 336 600 336 600 336 612  
Q
T Node 1 1 1 0 1 6 165 112 40 20 40 20 40 20  
V
v
t
q
H
I initializer 134 38 103 72 103 72 103 72  
Q
T Node 1 0 0 0 1 0 5 27 40 20 40 20 40 20  
V
v
t
T Pool 1 0 0 0 1 0 58 27 40 20 40 20 40 20  
V
v
t
T Cntl 1 0 1 0 1 0 5 5 40 20 40 20 40 20  
V
v
t
q
#
!
Z
103 72
103 72
39 36
44 38
97 87
z
O
o
i
I controller 5 37 124 74 124 74 124 74  
Q
T Pool 1 0 0 0 1 0 42 16 40 20 40 20 40 20  
V
v
t
q
#
!
Z
110 78
110 78
43 34
187 172
97 87
z
O
N 0 2 depth_bound search_controllers 5 249 110 78 0 0 0 0 
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
o
i
I node_pool 241 5 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 10 9 40 20 40 20 40 20  
V
v
t
q
#
!
Z
60 60
60 60
177 168
32 41
97 87
z
O
N 0 3 queue node_pools 254 66 60 60 0 0 0 0 
Q
T Ins 1 0 1 0 1 0 10 9 40 20 40 20 40 20  
V
v
t
q
n
o
i
h
O
N 0 1 initializer search_controllers 134 38 103 72 103 72 103 72  
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
n
N 0 2 default search_controllers 5 37 124 74 124 74 124 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
n
N 0 3 stack node_pools 241 5 60 60 60 60 60 60  
Q
T Ins 1 0 1 0 1 0 5 8 59 22 40 20 40 20  
V
v
t
q
n
o
B
D
2 1 3 1 -1
3 1 -1
d
D
2 1 3 2 -1
2 3 3 1 -1
d
D
2 2 3 1 -1
2 1 3 3 -1
d
D
2 1 3 2 -1
1 3 3 1 -1
d
D
1 2 3 2 -1
2 1 3 3 -1
d
D
1 1 3 3 -1
3 1 -1
d
D
1 1 3 2 -1
2 3 3 1 -1
d
D
1 1 3 2 -1
1 3 3 1 -1
d
D
2 2 3 1 -1
1 1 3 1 -1
d
D
1 2 3 2 -1
1 1 3 1 -1
d
b
#
!
Z
z
e
E 0 node_tree 0  2 7 607 332 253 332 135 283 182  
Q
T Cntl 1 1 0 0 1 6 26 5 49 16 49 16 40 20  
V
v
t
q
H
I node 108 17 88 89 88 89 88 89  
Q
T Ins 1 0 1 0 1 0 24 6 40 20 40 20 40 20  
V
v
t
T Impl 1 0 0 0 1 0 24 40 40 20 40 20 40 20  
V
v
t
q
#
!
Z
133 97
47 30
131 95
133 96
97 96
z
O
o
i
I impl 198 15 128 92 128 92 128 92  
Q
T Ins 1 0 1 0 1 0 44 25 40 20 40 20 40 20  
V
v
t
q
#
!
Z
90 90
177 159
90 89
90 89
97 95
z
O
N 0 2 eight_puzzle eight_puzzle 231 138 90 70 0 0 0 0 
Q
T Ins 1 0 1 0 1 0 25 14 40 20 40 20 40 20  
V
v
t
q
n
o
i
h
O
N 0 1 node node 108 17 88 89 88 89 88 89  
Q
T Paren 1 0 0 1 1 0 5 5 40 20 40 20 40 20  
V
v
t
T Ins 1 0 1 0 1 0 5 71 40 20 40 20 40 20  
V
v
t
T Depth 0 0 1 0 1 0 5 27 40 20 40 20 40 20  
V
A 0
a
v
t
T State 1 0 1 1 1 0 5 49 40 20 40 20 40 20  
V
v
t
T Impl 1 0 0 0 1 0 50 49 40 20 40 20 40 20  
V
v
t
q
n
N 0 2 m_and_c missionaries_cannibals 198 15 128 92 128 92 128 92  
Q
T Nm 0 0 1 0 1 0 5 5 40 20 40 20 40 20  
V
A 2
a
v
t
T Nc 0 0 1 0 1 0 47 5 40 20 40 20 40 20  
V
A 2
a
v
t
T Bcapa 0 0 1 0 1 0 89 5 40 20 40 20 40 20  
V
A 2
a
v
t
T Ins 1 0 1 0 1 0 47 30 40 20 40 20 40 20  
V
v
t
q
n
o
B
D
3 1 -1
2 1 3 1 -1
d
D
2 1 3 2 -1
2 2 3 1 -1
d
D
1 1 3 5 -1
2 2 3 1 -1
d
D
3 1 -1
1 1 3 2 -1
d
D
2 1 3 2 -1
1 2 3 4 -1
d
D
1 1 3 5 -1
1 2 3 4 -1
d
b
#
!
Z
z
e
o
B
D
1 1 3 1 -1
1 2 3 1 -1
d
b
#
the problem to solve
strategy(depth/breadth first)
strategy(depth control)
overview
!
Z
377 370
377 370
377 370
377 370
z
e
o
B
b
G
g
l
r
m
