3
M qsort
P
C 1 qsort 31 14 80 66 80 66 120 120  
Q
T In 1 0 1 0 1 0 20 5 40 20 40 20 80 40  
V
v
t
T Out 1 0 0 0 1 0 20 27 40 20 40 20 80 40  
V
v
t
q
c
C 2 qsort_iter 21 102 100 79 100 79 120 120  
Q
T In 1 0 1 0 0 0 30 5 40 20 40 20 80 40  
V
v
t
T Head 1 0 0 0 0 0 5 32 43 20 43 20 80 40  
V
v
t
T Tail 1 0 1 0 0 0 54 32 40 20 40 20 80 40  
V
v
t
q
c
C 3 partition 5 205 132 60 132 60 120 120  
Q
T In 1 0 1 0 0 0 47 5 40 20 40 20 80 40  
V
v
t
T Pivot 0 0 1 0 1 0 47 30 40 20 40 20 80 40  
V
v
t
T Higher 1 0 0 0 0 0 89 30 40 20 40 20 80 40  
V
v
t
T Lower 1 0 0 0 0 0 5 30 40 20 40 20 80 40  
V
v
t
q
c
p
X
x
R
L 0 1 41 299 60 60 60 60 275 178  
Q
q
O
N 0 0 qsort qsort 5 5 221 103 60 60 221 103  
Q
T In 1 0 1 1 1 0 5 5 195 47 148 47 296 94  
V
A 2
a
A 5
a
A 1
a
A 6
a
A 3
a
A 7
a
A 4
a
v
t
T Out 1 0 0 0 1 0 47 53 110 29 110 29 220 58  
V
v
t
q
n
o
B
b
G
g
l
L 1 1 140 17 60 60 60 60 201 168  
Q
T In 1 1 0 0 0 0 36 5 40 20 40 20 80 40  
V
v
t
T Out 1 1 1 0 0 0 36 101 40 20 40 20 80 40  
V
v
t
q
O
N 2 0 qsort_iter module 5 27 103 73 103 73 120 120  
Q
T In 1 0 1 0 0 0 34 5 40 20 40 20 80 40  
V
v
t
T Head 1 0 0 0 0 0 5 30 47 20 47 20 80 40  
V
v
t
T Tail 1 0 1 1 0 0 57 30 40 20 40 20 80 40  
V
v
t
q
n
o
B
D
3 1 -1
1 1 3 1 -1
d
D
1 1 3 2 -1
3 2 -1
d
b
G
g
l
L 2 1 140 111 60 60 60 60 260 315  
Q
T In 1 1 0 0 0 0 162 5 84 20 84 20 80 40  
V
T P 0 0 0 0 1 0 0 1 5 1 0 0 0 0 
V
v
t
v
t
T Head 1 1 1 0 0 0 5 175 43 20 43 20 80 40  
V
v
t
T Tail 1 1 0 0 0 0 354 175 40 20 40 20 80 40  
V
v
t
q
O
N 3 0 partition module 95 27 219 70 60 60 219 70  
Q
T In 1 0 1 0 0 0 57 5 40 20 40 20 80 40  
V
v
t
T Pivot 0 0 1 1 1 0 50 27 55 20 40 20 80 40  
V
T P 0 0 0 0 1 0 0 1 16 14 0 0 0 0 
V
v
t
v
t
T Higher 1 0 0 0 0 0 109 27 40 20 40 20 80 40  
V
v
t
T Lower 1 0 0 0 0 0 5 27 40 20 40 20 80 40  
V
v
t
q
n
N 2 0 qsort_iter module 27 102 132 69 60 60 132 69  
Q
T In 1 0 1 0 0 0 27 5 40 20 40 20 80 40  
V
v
t
T Head 1 0 0 0 0 0 5 30 43 20 40 20 80 40  
V
v
t
T Tail 1 0 1 0 0 0 49 30 40 20 40 20 80 40  
V
T P 0 0 0 0 1 0 0 1 12 12 0 0 0 0 
V
v
t
v
t
q
n
N 2 0 qsort_iter module 258 102 114 69 114 69 120 120  
Q
T In 1 0 1 0 0 0 27 5 40 20 40 20 80 40  
V
v
t
T Head 1 0 0 0 0 0 5 30 43 20 43 20 80 40  
V
v
t
T Tail 1 0 1 0 0 0 49 30 40 20 40 20 80 40  
V
v
t
q
n
o
B
D
3 1 -1
1 1 3 1 -1
d
D
1 1 3 4 -1
1 2 3 1 -1
d
D
1 1 3 3 -1
1 3 3 1 -1
d
D
1 3 3 2 -1
1 2 3 3 -1
d
D
1 2 3 2 -1
3 2 -1
d
D
3 3 -1
1 3 3 3 -1
d
b
G
g
l
L 2 1 231 111 60 60 60 60 178 122  
Q
T In 1 1 0 1 0 0 27 5 40 20 40 20 80 40  
V
v
t
T Head 1 1 1 0 0 0 5 30 43 20 43 20 80 40  
V
v
t
T Tail 1 1 0 0 0 0 49 30 40 20 40 20 80 40  
V
v
t
q
O
o
B
D
3 3 -1
3 2 -1
d
b
G
g
l
L 3 0 140 205 60 60 60 60 205 87  
Q
T In 1 1 0 0 0 0 8 6 58 20 58 20 80 40  
V
T X 0 0 0 0 1 0 0 1 8 11 0 0 0 0 
V
v
t
v
t
T Pivot 0 1 0 0 1 0 74 6 58 20 58 20 80 40  
V
T P 0 0 0 0 1 0 0 1 8 11 0 0 0 0 
V
v
t
v
t
T Pivot 0 0 1 0 1 0 71 32 65 20 65 20 80 40  
V
T P 0 0 0 0 1 0 0 1 9 11 0 0 0 0 
V
v
t
v
t
T Higher 1 1 1 0 0 0 143 32 40 20 40 20 80 40  
V
v
t
T Lower 1 1 1 0 0 0 5 32 64 20 64 20 80 40  
V
T X 0 0 0 0 1 0 0 1 9 11 0 0 0 0 
V
v
t
v
t
q
O
o
B
b
G
F  134 5 58 22 58 22 116 44  X < P
f
g
l
L 3 0 231 205 60 60 60 60 207 95  
Q
T In 1 1 0 0 0 0 8 7 57 20 57 20 80 40  
V
T X 0 0 0 0 1 0 0 1 7 10 0 0 0 0 
V
v
t
v
t
T Pivot 0 1 0 0 1 0 71 7 62 20 62 20 80 40  
V
T P 0 0 0 0 1 0 0 1 8 10 0 0 0 0 
V
v
t
v
t
T Pivot 0 0 1 0 1 0 69 34 66 20 66 20 80 40  
V
T P 0 0 0 0 1 0 0 1 9 10 0 0 0 0 
V
v
t
v
t
T Higher 1 1 1 0 0 0 137 34 65 20 65 20 80 40  
V
T X 0 0 0 0 1 0 0 1 8 10 0 0 0 0 
V
v
t
v
t
T Lower 1 1 1 0 0 0 5 34 63 20 63 20 80 40  
V
v
t
q
O
o
B
b
G
F  143 5 52 25 52 25 104 50  P =< X
f
g
l
L 3 1 322 205 60 60 60 60 151 120  
Q
T In 1 1 0 1 0 0 47 5 40 20 40 20 80 40  
V
v
t
T Pivot 0 1 0 1 1 0 47 30 40 20 40 20 80 40  
V
v
t
T Higher 1 1 1 1 0 0 89 30 40 20 40 20 80 40  
V
v
t
T Lower 1 1 1 1 0 0 5 30 40 20 40 20 80 40  
V
v
t
q
O
o
B
b
G
g
l
r
m
