Toggle labels:
↰ Results summary
list-tree
step
batch name
0
Input:
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-compute:
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
Editor trace:
Alloc(LocFresh)
▣
0
Alloc(LocFresh)
▣
1
Alloc(LocFresh)
▣
2
Alloc(LocFresh)
▣
3
Alloc(LocFresh)
▣
4
Alloc(LocFresh)
▣
5
Alloc(LocFresh)
▣
6
Alloc(LocFresh)
▣
7
Archivist trace:
Alloc(LocFresh)
◯
compute
7-l
Force(CompCacheMiss)
compute
7-l
Force(RefGet)
7
Alloc(LocFresh)
◯
compute
6-l
Force(CompCacheMiss)
compute
6-l
Force(RefGet)
6
Alloc(LocFresh)
▣
compute
6
Alloc(LocFresh)
◯
compute
6-r
Force(CompCacheMiss)
compute
6-r
Alloc(LocFresh)
◯
compute
5-l
Force(CompCacheMiss)
compute
5-l
Force(RefGet)
5
Alloc(LocFresh)
◯
compute
4-l
Force(CompCacheMiss)
compute
4-l
Force(RefGet)
4
Alloc(LocFresh)
▣
compute
4
Alloc(LocFresh)
◯
compute
4-r
Force(CompCacheMiss)
compute
4-r
Alloc(LocFresh)
▣
compute
5
Alloc(LocFresh)
◯
compute
5-r
Force(CompCacheMiss)
compute
5-r
Alloc(LocFresh)
▣
compute
7
Alloc(LocFresh)
◯
compute
7-r
Force(CompCacheMiss)
compute
7-r
Alloc(LocFresh)
◯
compute
3-l
Force(CompCacheMiss)
compute
3-l
Force(RefGet)
3
Alloc(LocFresh)
◯
compute
2-l
Force(CompCacheMiss)
compute
2-l
Force(RefGet)
2
Alloc(LocFresh)
◯
compute
1-l
Force(CompCacheMiss)
compute
1-l
Force(RefGet)
1
Alloc(LocFresh)
◯
compute
0-l
Force(CompCacheMiss)
compute
0-l
Force(RefGet)
0
Alloc(LocFresh)
▣
compute
0
Alloc(LocFresh)
◯
compute
0-r
Force(CompCacheMiss)
compute
0-r
Alloc(LocFresh)
▣
compute
1
Alloc(LocFresh)
◯
compute
1-r
Force(CompCacheMiss)
compute
1-r
Alloc(LocFresh)
▣
compute
2
Alloc(LocFresh)
◯
compute
2-r
Force(CompCacheMiss)
compute
2-r
Alloc(LocFresh)
▣
compute
3
Alloc(LocFresh)
◯
compute
3-r
Force(CompCacheMiss)
compute
3-r
batch name
1
Input:
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
DCG, post-compute:
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
Editor trace:
Alloc(LocFresh)
▣
8
Archivist trace:
Alloc(LocFresh)
◯
compute
8-l
Force(CompCacheMiss)
compute
8-l
Force(RefGet)
8
Alloc(LocFresh)
▣
compute
8
Alloc(LocFresh)
◯
compute
8-r
Force(CompCacheMiss)
compute
8-r
Alloc(LocExists(SameContent))
◯
compute
7-l
Force(CompCacheHit)
compute
7-l
Alloc(LocExists(SameContent))
▣
compute
7
Alloc(LocExists(SameContent))
◯
compute
7-r
Force(CompCacheHit)
compute
7-r
batch name
2
Input:
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
DCG, post-compute:
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
Editor trace:
Alloc(LocFresh)
▣
9
Archivist trace:
Alloc(LocFresh)
◯
compute
9-l
Force(CompCacheMiss)
compute
9-l
Force(RefGet)
9
Alloc(LocExists(SameContent))
◯
compute
8-l
Force(CompCacheHit)
compute
8-l
Alloc(LocExists(SameContent))
▣
compute
8
Alloc(LocExists(DiffContent))
◯
compute
8-r
Force(CompCacheMiss)
compute
8-r
Remove
compute
7-l
Remove
compute
7-l
Remove
compute
7
Remove
compute
7-r
Remove
compute
7-r
Alloc(LocFresh)
▣
compute
9
Alloc(LocFresh)
◯
compute
9-r
Force(CompCacheMiss)
compute
9-r
Alloc(LocExists(SameContent))
◯
compute
7-l
Force(CompCacheHit)
compute
7-l
Alloc(LocExists(SameContent))
▣
compute
7
Alloc(LocExists(SameContent))
◯
compute
7-r
Force(CompCacheHit)
compute
7-r
batch name
3
Input:
Cons
304
Name
10
Art
___10
10
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___10
compute
10
Name
10
37
Bin
2
Nil
Leaf
304
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
DCG, post-compute:
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
Editor trace:
Alloc(LocFresh)
▣
10
Archivist trace:
Alloc(LocFresh)
◯
compute
10-l
Force(CompCacheMiss)
compute
10-l
Force(RefGet)
10
Alloc(LocExists(SameContent))
◯
compute
9-l
Force(CompCacheHit)
compute
9-l
Alloc(LocExists(SameContent))
▣
compute
9
Alloc(LocExists(DiffContent))
◯
compute
9-r
Force(CompCacheMiss)
compute
9-r
Remove
compute
7-l
Remove
compute
7-l
Remove
compute
7
Remove
compute
7-r
Remove
compute
7-r
Alloc(LocExists(SameContent))
◯
compute
7-l
Force(CompCacheHit)
compute
7-l
Alloc(LocExists(SameContent))
▣
compute
7
Alloc(LocExists(DiffContent))
◯
compute
7-r
Force(CompCacheMiss)
compute
7-r
Remove
compute
3-l
Remove
compute
3-l
Remove
compute
3
Remove
compute
3-r
Remove
compute
3-r
Alloc(LocExists(SameContent))
◯
compute
3-l
Force(CompCacheHit)
compute
3-l
Alloc(LocExists(SameContent))
▣
compute
3
Alloc(LocExists(DiffContent))
◯
compute
3-r
Force(CompCacheMiss)
compute
3-r
Alloc(LocFresh)
▣
compute
10
Alloc(LocFresh)
◯
compute
10-r
Force(CompCacheMiss)
compute
10-r
batch name
4
Input:
Cons
469
Name
11
Art
___11
11
Cons
304
Name
10
Art
___10
10
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___10
compute
10
Name
10
37
Art
__compute___11
compute
11
Name
11
36
Bin
4
Nil
Leaf
469
Bin
2
Nil
Leaf
304
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
DCG, post-compute:
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
Editor trace:
Alloc(LocFresh)
▣
11
Archivist trace:
Alloc(LocFresh)
◯
compute
11-l
Force(CompCacheMiss)
compute
11-l
Force(RefGet)
11
Alloc(LocFresh)
▣
compute
11
Alloc(LocFresh)
◯
compute
11-r
Force(CompCacheMiss)
compute
11-r
Alloc(LocExists(SameContent))
◯
compute
10-l
Force(CompCacheHit)
compute
10-l
Alloc(LocExists(SameContent))
▣
compute
10
Alloc(LocExists(SameContent))
◯
compute
10-r
Force(CompCacheHit)
compute
10-r
batch name
5
Input:
Cons
50
Name
12
Art
___12
12
Cons
469
Name
11
Art
___11
11
Cons
304
Name
10
Art
___10
10
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___10
compute
10
Name
10
37
Art
__compute___11
compute
11
Name
11
36
Art
__compute___12
compute
12
Name
12
35
Bin
2
Nil
Leaf
50
Bin
4
Nil
Leaf
469
Bin
2
Nil
Leaf
304
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
DCG, post-compute:
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
Editor trace:
Alloc(LocFresh)
▣
12
Archivist trace:
Alloc(LocFresh)
◯
compute
12-l
Force(CompCacheMiss)
compute
12-l
Force(RefGet)
12
Alloc(LocFresh)
▣
compute
12
Alloc(LocFresh)
◯
compute
12-r
Force(CompCacheMiss)
compute
12-r
Alloc(LocExists(SameContent))
◯
compute
11-l
Force(CompCacheHit)
compute
11-l
Alloc(LocExists(SameContent))
▣
compute
11
Alloc(LocExists(SameContent))
◯
compute
11-r
Force(CompCacheHit)
compute
11-r
batch name
6
Input:
Cons
117
Name
13
Art
___13
13
Cons
50
Name
12
Art
___12
12
Cons
469
Name
11
Art
___11
11
Cons
304
Name
10
Art
___10
10
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___10
compute
10
Name
10
37
Art
__compute___11
compute
11
Name
11
36
Art
__compute___12
compute
12
Name
12
35
Art
__compute___13
compute
13
Name
13
33
Bin
1
Nil
Leaf
117
Bin
2
Nil
Leaf
50
Bin
4
Nil
Leaf
469
Bin
2
Nil
Leaf
304
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
DCG, post-compute:
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
Editor trace:
Alloc(LocFresh)
▣
13
Archivist trace:
Alloc(LocFresh)
◯
compute
13-l
Force(CompCacheMiss)
compute
13-l
Force(RefGet)
13
Alloc(LocFresh)
▣
compute
13
Alloc(LocFresh)
◯
compute
13-r
Force(CompCacheMiss)
compute
13-r
Alloc(LocExists(SameContent))
◯
compute
12-l
Force(CompCacheHit)
compute
12-l
Alloc(LocExists(SameContent))
▣
compute
12
Alloc(LocExists(SameContent))
◯
compute
12-r
Force(CompCacheHit)
compute
12-r
batch name
7
Input:
Cons
5
Name
14
Art
___14
14
Cons
117
Name
13
Art
___13
13
Cons
50
Name
12
Art
___12
12
Cons
469
Name
11
Art
___11
11
Cons
304
Name
10
Art
___10
10
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___10
compute
10
Name
10
37
Art
__compute___11
compute
11
Name
11
36
Art
__compute___12
compute
12
Name
12
35
Art
__compute___14
compute
14
Name
14
33
Bin
3
Nil
Leaf
5
Art
__compute___13
compute
13
Name
13
33
Bin
1
Nil
Leaf
117
Bin
2
Nil
Leaf
50
Bin
4
Nil
Leaf
469
Bin
2
Nil
Leaf
304
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
DCG, post-compute:
compute
14-l
compute
14-l
14
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
14
compute
14-r
compute
14-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
Editor trace:
Alloc(LocFresh)
▣
14
Archivist trace:
Alloc(LocFresh)
◯
compute
14-l
Force(CompCacheMiss)
compute
14-l
Force(RefGet)
14
Alloc(LocExists(SameContent))
◯
compute
13-l
Force(CompCacheHit)
compute
13-l
Alloc(LocExists(SameContent))
▣
compute
13
Alloc(LocExists(DiffContent))
◯
compute
13-r
Force(CompCacheMiss)
compute
13-r
Remove
compute
12-l
Remove
compute
12-l
Remove
compute
12
Remove
compute
12-r
Remove
compute
12-r
Alloc(LocFresh)
▣
compute
14
Alloc(LocFresh)
◯
compute
14-r
Force(CompCacheMiss)
compute
14-r
Alloc(LocExists(SameContent))
◯
compute
12-l
Force(CompCacheHit)
compute
12-l
Alloc(LocExists(SameContent))
▣
compute
12
Alloc(LocExists(SameContent))
◯
compute
12-r
Force(CompCacheHit)
compute
12-r
batch name
8
Input:
Cons
76
Name
15
Art
___15
15
Cons
5
Name
14
Art
___14
14
Cons
117
Name
13
Art
___13
13
Cons
50
Name
12
Art
___12
12
Cons
469
Name
11
Art
___11
11
Cons
304
Name
10
Art
___10
10
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___10
compute
10
Name
10
37
Art
__compute___11
compute
11
Name
11
36
Art
__compute___12
compute
12
Name
12
35
Art
__compute___15
compute
15
Name
15
33
Bin
2
Nil
Leaf
76
Art
__compute___14
compute
14
Name
14
33
Bin
3
Nil
Leaf
5
Art
__compute___13
compute
13
Name
13
33
Bin
1
Nil
Leaf
117
Bin
2
Nil
Leaf
50
Bin
4
Nil
Leaf
469
Bin
2
Nil
Leaf
304
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
14-l
compute
14-l
14
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
14
compute
14-r
compute
14-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
DCG, post-compute:
compute
15-l
compute
15-l
15
compute
14-l
compute
14-l
14
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
14
compute
14-r
compute
14-r
compute
15
compute
15-r
compute
15-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
Editor trace:
Alloc(LocFresh)
▣
15
Archivist trace:
Alloc(LocFresh)
◯
compute
15-l
Force(CompCacheMiss)
compute
15-l
Force(RefGet)
15
Alloc(LocExists(SameContent))
◯
compute
14-l
Force(CompCacheHit)
compute
14-l
Alloc(LocExists(SameContent))
▣
compute
14
Alloc(LocExists(DiffContent))
◯
compute
14-r
Force(CompCacheMiss)
compute
14-r
Remove
compute
12-l
Remove
compute
12-l
Remove
compute
12
Remove
compute
12-r
Remove
compute
12-r
Alloc(LocFresh)
▣
compute
15
Alloc(LocFresh)
◯
compute
15-r
Force(CompCacheMiss)
compute
15-r
Alloc(LocExists(SameContent))
◯
compute
12-l
Force(CompCacheHit)
compute
12-l
Alloc(LocExists(SameContent))
▣
compute
12
Alloc(LocExists(SameContent))
◯
compute
12-r
Force(CompCacheHit)
compute
12-r
batch name
9
Input:
Cons
417
Name
16
Art
___16
16
Cons
76
Name
15
Art
___15
15
Cons
5
Name
14
Art
___14
14
Cons
117
Name
13
Art
___13
13
Cons
50
Name
12
Art
___12
12
Cons
469
Name
11
Art
___11
11
Cons
304
Name
10
Art
___10
10
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___10
compute
10
Name
10
37
Art
__compute___11
compute
11
Name
11
36
Art
__compute___12
compute
12
Name
12
35
Art
__compute___16
compute
16
Name
16
34
Bin
3
Nil
Leaf
417
Art
__compute___15
compute
15
Name
15
33
Bin
2
Nil
Leaf
76
Art
__compute___14
compute
14
Name
14
33
Bin
3
Nil
Leaf
5
Art
__compute___13
compute
13
Name
13
33
Bin
1
Nil
Leaf
117
Bin
2
Nil
Leaf
50
Bin
4
Nil
Leaf
469
Bin
2
Nil
Leaf
304
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
15-l
compute
15-l
15
compute
14-l
compute
14-l
14
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
14
compute
14-r
compute
14-r
compute
15
compute
15-r
compute
15-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
DCG, post-compute:
compute
16-l
compute
16-l
16
compute
15-l
compute
15-l
15
compute
14-l
compute
14-l
14
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
14
compute
14-r
compute
14-r
compute
15
compute
15-r
compute
15-r
compute
16
compute
16-r
compute
16-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
Editor trace:
Alloc(LocFresh)
▣
16
Archivist trace:
Alloc(LocFresh)
◯
compute
16-l
Force(CompCacheMiss)
compute
16-l
Force(RefGet)
16
Alloc(LocExists(SameContent))
◯
compute
15-l
Force(CompCacheHit)
compute
15-l
Alloc(LocExists(SameContent))
▣
compute
15
Alloc(LocExists(DiffContent))
◯
compute
15-r
Force(CompCacheMiss)
compute
15-r
Remove
compute
12-l
Remove
compute
12-l
Remove
compute
12
Remove
compute
12-r
Remove
compute
12-r
Alloc(LocFresh)
▣
compute
16
Alloc(LocFresh)
◯
compute
16-r
Force(CompCacheMiss)
compute
16-r
Alloc(LocExists(SameContent))
◯
compute
12-l
Force(CompCacheHit)
compute
12-l
Alloc(LocExists(SameContent))
▣
compute
12
Alloc(LocExists(SameContent))
◯
compute
12-r
Force(CompCacheHit)
compute
12-r
batch name
10
Input:
Cons
49
Name
17
Art
___17
17
Cons
417
Name
16
Art
___16
16
Cons
76
Name
15
Art
___15
15
Cons
5
Name
14
Art
___14
14
Cons
117
Name
13
Art
___13
13
Cons
50
Name
12
Art
___12
12
Cons
469
Name
11
Art
___11
11
Cons
304
Name
10
Art
___10
10
Cons
589
Name
9
Art
___9
9
Cons
208
Name
8
Art
___8
8
Cons
458
Name
7
Art
___7
7
Cons
57
Name
6
Art
___6
6
Cons
191
Name
5
Art
___5
5
Cons
489
Name
4
Art
___4
4
Cons
258
Name
3
Art
___3
3
Cons
711
Name
2
Art
___2
2
Cons
103
Name
1
Art
___1
1
Cons
545
Name
0
Art
___0
0
Nil
Output:
Art
__compute___10
compute
10
Name
10
37
Art
__compute___11
compute
11
Name
11
36
Art
__compute___12
compute
12
Name
12
35
Art
__compute___17
compute
17
Name
17
34
Bin
1
Nil
Leaf
49
Art
__compute___16
compute
16
Name
16
34
Bin
3
Nil
Leaf
417
Art
__compute___15
compute
15
Name
15
33
Bin
2
Nil
Leaf
76
Art
__compute___14
compute
14
Name
14
33
Bin
3
Nil
Leaf
5
Art
__compute___13
compute
13
Name
13
33
Bin
1
Nil
Leaf
117
Bin
2
Nil
Leaf
50
Bin
4
Nil
Leaf
469
Bin
2
Nil
Leaf
304
Art
__compute___3
compute
3
Name
3
35
Art
__compute___7
compute
7
Name
7
34
Art
__compute___9
compute
9
Name
9
33
Bin
1
Nil
Leaf
589
Art
__compute___8
compute
8
Name
8
33
Bin
2
Nil
Leaf
208
Bin
2
Nil
Leaf
458
Art
__compute___5
compute
5
Name
5
34
Art
__compute___6
compute
6
Name
6
33
Bin
2
Nil
Leaf
57
Bin
3
Nil
Leaf
191
Art
__compute___4
compute
4
Name
4
33
Bin
1
Nil
Leaf
489
Bin
2
Nil
Leaf
258
Art
__compute___2
compute
2
Name
2
33
Bin
2
Nil
Leaf
711
Art
__compute___1
compute
1
Name
1
33
Bin
3
Nil
Leaf
103
Art
__compute___0
compute
0
Name
0
33
Bin
2
Nil
Leaf
545
Nil
DCG, post-edit:
compute
16-l
compute
16-l
16
compute
15-l
compute
15-l
15
compute
14-l
compute
14-l
14
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
14
compute
14-r
compute
14-r
compute
15
compute
15-r
compute
15-r
compute
16
compute
16-r
compute
16-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
DCG, post-compute:
compute
17-l
compute
17-l
17
compute
16-l
compute
16-l
16
compute
15-l
compute
15-l
15
compute
14-l
compute
14-l
14
compute
13-l
compute
13-l
13
compute
13
compute
13-r
compute
13-r
compute
14
compute
14-r
compute
14-r
compute
15
compute
15-r
compute
15-r
compute
16
compute
16-r
compute
16-r
compute
17
compute
17-r
compute
17-r
compute
12-l
compute
12-l
12
compute
12
compute
12-r
compute
12-r
compute
11-l
compute
11-l
11
compute
11
compute
11-r
compute
11-r
compute
10-l
compute
10-l
10
compute
9-l
compute
9-l
9
compute
8-l
compute
8-l
8
compute
8
compute
8-r
compute
8-r
compute
9
compute
9-r
compute
9-r
compute
7-l
compute
7-l
7
compute
6-l
compute
6-l
6
compute
6
compute
6-r
compute
6-r
compute
5-l
compute
5-l
5
compute
4-l
compute
4-l
4
compute
4
compute
4-r
compute
4-r
compute
5
compute
5-r
compute
5-r
compute
7
compute
7-r
compute
7-r
compute
3-l
compute
3-l
3
compute
2-l
compute
2-l
2
compute
1-l
compute
1-l
1
compute
0-l
compute
0-l
0
compute
0
compute
0-r
compute
0-r
compute
1
compute
1-r
compute
1-r
compute
2
compute
2-r
compute
2-r
compute
3
compute
3-r
compute
3-r
compute
10
compute
10-r
compute
10-r
Editor trace:
Alloc(LocFresh)
▣
17
Archivist trace:
Alloc(LocFresh)
◯
compute
17-l
Force(CompCacheMiss)
compute
17-l
Force(RefGet)
17
Alloc(LocExists(SameContent))
◯
compute
16-l
Force(CompCacheHit)
compute
16-l
Alloc(LocExists(SameContent))
▣
compute
16
Alloc(LocExists(DiffContent))
◯
compute
16-r
Force(CompCacheMiss)
compute
16-r
Remove
compute
12-l
Remove
compute
12-l
Remove
compute
12
Remove
compute
12-r
Remove
compute
12-r
Alloc(LocFresh)
▣
compute
17
Alloc(LocFresh)
◯
compute
17-r
Force(CompCacheMiss)
compute
17-r
Alloc(LocExists(SameContent))
◯
compute
12-l
Force(CompCacheHit)
compute
12-l
Alloc(LocExists(SameContent))
▣
compute
12
Alloc(LocExists(SameContent))
◯
compute
12-r
Force(CompCacheHit)
compute
12-r