Toggle labels:
↰ Results summary
eg-oopsla2015-sec2-rev2
step
batch name
0
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Alloc(LocFresh)
▣
d
Alloc(LocFresh)
▣
b
Alloc(LocFresh)
▣
a
Alloc(LocFresh)
▣
z
Alloc(LocFresh)
▣
y
Alloc(LocFresh)
▣
x
Archivist trace:
Alloc(LocFresh)
◯
compute
xray-r-l
Force(CompCacheMiss)
compute
xray-r-l
Force(RefGet)
x
Alloc(LocFresh)
◯
compute
yellow-r-l
Force(CompCacheMiss)
compute
yellow-r-l
Force(RefGet)
y
Alloc(LocFresh)
◯
compute
zeta-r-l
Force(CompCacheMiss)
compute
zeta-r-l
Force(RefGet)
z
Alloc(LocFresh)
◯
compute
alpha-r-l
Force(CompCacheMiss)
compute
alpha-r-l
Force(RefGet)
a
Alloc(LocFresh)
◯
compute
beta-r-l
Force(CompCacheMiss)
compute
beta-r-l
Force(RefGet)
b
Alloc(LocFresh)
◯
compute
delta-r-l
Force(CompCacheMiss)
compute
delta-r-l
Force(RefGet)
d
Alloc(LocFresh)
▣
compute
delta-r-r
Alloc(LocFresh)
▣
compute
beta-r-r
Alloc(LocFresh)
▣
compute
alpha-r-r
Alloc(LocFresh)
▣
compute
zeta-r-r
Alloc(LocFresh)
▣
compute
yellow-r-r
Alloc(LocFresh)
▣
compute
xray-r-r
batch name
1
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Force(RefGet)
x
Force(RefGet)
y
Force(RefGet)
z
Force(RefGet)
a
Force(RefGet)
b
Alloc(LocFresh)
▣
c
Alloc(LocExists(SameContent))
▣
b
Dirty
b
Dirty
compute
beta-r-l
Dirty
compute
alpha-r-l
Dirty
compute
zeta-r-l
Dirty
compute
yellow-r-l
Alloc(LocExists(SameContent))
▣
a
Alloc(LocExists(SameContent))
▣
z
Alloc(LocExists(SameContent))
▣
y
Alloc(LocExists(SameContent))
▣
x
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
CleanRec
compute
yellow-r-l
CleanRec
compute
zeta-r-l
CleanRec
compute
alpha-r-l
CleanRec
compute
beta-r-l
CleanRec
b
CleanEval
compute
beta-r-l
Remove
b
Remove
compute
delta-r-l
Remove
compute
delta-r-l
Remove
compute
delta-r-r
Force(RefGet)
b
Alloc(LocFresh)
◯
compute
gamma-r-l
Force(CompCacheMiss)
compute
gamma-r-l
Force(RefGet)
c
Alloc(LocExists(SameContent))
◯
compute
delta-r-l
Force(CompCacheHit)
compute
delta-r-l
Alloc(LocExists(SameContent))
▣
compute
delta-r-r
Alloc(LocFresh)
▣
compute
gamma-r-r
CleanEval
compute
alpha-r-l
Remove
a
Remove
compute
beta-r-l
Remove
compute
beta-r-l
Remove
compute
beta-r-r
Force(RefGet)
a
Alloc(LocExists(SameContent))
◯
compute
beta-r-l
Force(CompCacheHit)
compute
beta-r-l
Alloc(LocExists(SameContent))
▣
compute
beta-r-r
CleanEdge
compute
alpha-r-l
CleanEdge
compute
zeta-r-l
CleanEdge
compute
yellow-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
2
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
3
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
4
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
5
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
6
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
7
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
8
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
9
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r
batch name
10
Input:
Cons
97
Name
xray
Art
___x
x
Cons
98
Name
yellow
Art
___y
y
Cons
99
Name
zeta
Art
___z
z
Cons
0
Name
alpha
Art
___a
a
Cons
1
Name
beta
Art
___b
b
Cons
2
Name
gamma
Art
___c
c
Cons
3
Name
delta
Art
___d
d
Nil
Output:
Cons
9409
Name
xray-l
Art
__compute___xray-r-r
compute
xray-r-r
Cons
9604
Name
yellow-l
Art
__compute___yellow-r-r
compute
yellow-r-r
Cons
9801
Name
zeta-l
Art
__compute___zeta-r-r
compute
zeta-r-r
Cons
0
Name
alpha-l
Art
__compute___alpha-r-r
compute
alpha-r-r
Cons
1
Name
beta-l
Art
__compute___beta-r-r
compute
beta-r-r
Cons
4
Name
gamma-l
Art
__compute___gamma-r-r
compute
gamma-r-r
Cons
9
Name
delta-l
Art
__compute___delta-r-r
compute
delta-r-r
Nil
DCG, post-edit:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
DCG, post-compute:
compute
xray-r-l
compute
xray-r-l
x
compute
yellow-r-l
compute
yellow-r-l
y
compute
zeta-r-l
compute
zeta-r-l
z
compute
alpha-r-l
compute
alpha-r-l
a
compute
beta-r-l
compute
beta-r-l
b
compute
gamma-r-l
compute
gamma-r-l
c
compute
delta-r-l
compute
delta-r-l
d
compute
delta-r-r
compute
gamma-r-r
compute
beta-r-r
compute
alpha-r-r
compute
zeta-r-r
compute
yellow-r-r
compute
xray-r-r
Editor trace:
Archivist trace:
Alloc(LocExists(SameContent))
◯
compute
xray-r-l
Force(CompCacheHit)
compute
xray-r-l
Alloc(LocExists(SameContent))
▣
compute
xray-r-r