Benchmarks of differents structure for the worklist (Scala-Par-AM 01.00.02)

TypeSet lattice – Classical address – List from Scheme-examples/ ≤ 10 minutes – Default step – Sequential SeqAAM* – p = 1 – 13 repetitions (time in seconds, computed on Hydra – Intel Xeon Gold 6148 CPU @ 2.4GHz2 processors × 20 cores (but not necessary all used) – Java GraalVM 19.1.1)
  Scheme program Machine # states # error states # error values # final states # final values Final values # ? Time 1 ? Time 2 ? Time 3 ? Time 4 ? Time 5 ? Time 6 ? Time 7 ? Time 8 ? Time 9 ? Time 10 ? Time 11 ? Time 12 ? Time 13 # finished Average time Standard error Correct? Error 1 Error 2 Error 3 Error 4 Error 5 Error 6 Error 7 Error 8 Error 9 Error 10 Error 11 Error 12 Error 13
1 AlgoDat1/abstrct SeqAAM 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 13 0.091 0.043 0.037 0.029 0.027 0.024 0.023 0.022 0.021 0.02  0.019 0.019 0.018 13 0.03  0.012
2 AlgoDat1/abstrct SeqAAMS 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 13 0.023 0.02  0.019 0.019 0.019 0.018 0.018 0.018 0.019 0.019 0.018 0.018 0.018 13 0.019 0.001
3 AlgoDat1/abstrct SeqAAMLS 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 13 0.019 0.017 0.017 0.016 0.017 0.016 0.016 0.016 0.016 0.016 0.016 0.016 0.016 13 0.016 0    
4 AlgoDat1/abstrct SeqAAMLS-halt 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 13 0.018 0.016 0.016 0.016 0.016 0.016 0.016 0.016 0.016 0.016 0.016 0.016 0.016 13 0.016 0    
5 AlgoDat1/bst SeqAAM 2 0 0 1 1 #f 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
6 AlgoDat1/bst SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
7 AlgoDat1/bst SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
8 AlgoDat1/bst SeqAAMLS-halt 2 0 0 1 1 #f 13 0     0.001 0     0     0     0     0     0     0     0     0     0     0     13 0     0    
9 AlgoDat1/btree SeqAAM 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
10 AlgoDat1/btree SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
11 AlgoDat1/btree SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
12 AlgoDat1/btree SeqAAMLS-halt 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
13 AlgoDat1/bubsort SeqAAM 181 0 0 5 1 VectorAddress(@vector-Time()) 13 0.016 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.003 0.002
14 AlgoDat1/bubsort SeqAAMS 181 0 0 5 1 VectorAddress(@vector-Time()) 13 0.003 0.002 0.002 0.002 0.002 0.002 0.003 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
15 AlgoDat1/bubsort SeqAAMLS 181 0 0 5 1 VectorAddress(@vector-Time()) 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
16 AlgoDat1/bubsort SeqAAMLS-halt 181 0 0 5 1 VectorAddress(@vector-Time()) 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
17 AlgoDat1/heap SeqAAM 1936 276 10 20 1 VectorAddress(@vector-Time()) 13 0.053 0.029 0.024 0.023 0.021 0.02  0.02  0.019 0.019 0.018 0.017 0.016 0.017 13 0.023 0.006
18 AlgoDat1/heap SeqAAMS 1936 276 10 20 1 VectorAddress(@vector-Time()) 13 0.019 0.018 0.017 0.017 0.016 0.016 0.016 0.017 0.016 0.016 0.016 0.016 0.015 13 0.017 0.001
19 AlgoDat1/heap SeqAAMLS 1936 276 10 20 1 VectorAddress(@vector-Time()) 13 0.016 0.014 0.015 0.015 0.014 0.014 0.014 0.014 0.014 0.014 0.014 0.014 0.014 13 0.014 0    
20 AlgoDat1/heap SeqAAMLS-halt 1936 276 10 20 1 VectorAddress(@vector-Time()) 13 0.015 0.014 0.014 0.014 0.014 0.014 0.014 0.014 0.014 0.014 0.014 0.014 0.014 13 0.014 0    
21 AlgoDat1/inssort SeqAAM 198 0 0 4 1 VectorAddress(@vector-Time()) 13 0.003 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 13 0.001 0    
22 AlgoDat1/inssort SeqAAMS 198 0 0 4 1 VectorAddress(@vector-Time()) 13 0.002 0.001 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 13 0.001 0    
23 AlgoDat1/inssort SeqAAMLS 198 0 0 4 1 VectorAddress(@vector-Time()) 13 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 13 0.001 0    
24 AlgoDat1/inssort SeqAAMLS-halt 198 0 0 4 1 VectorAddress(@vector-Time()) 13 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 13 0.001 0    
25 AlgoDat1/qsort SeqAAM 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 24.871 23.67  23.931 23.971 23.809 23.975 23.79  23.892 23.803 23.926 23.925 23.873 23.926 13 23.951 0.148
26 AlgoDat1/qsort SeqAAMS 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 28.81  28.868 28.808 29.062 28.867 28.759 29.025 28.525 28.733 28.73  28.596 29.074 28.933 13 28.83  0.131
27 AlgoDat1/qsort SeqAAMLS 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 24.089 24.119 23.941 23.904 23.841 24.11  24.112 24.013 24.11  24.149 24.184 23.984 23.963 13 24.04  0.091
28 AlgoDat1/qsort SeqAAMLS-halt 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 13 24.496 24.518 24.521 24.442 24.537 24.549 24.476 24.687 24.353 24.366 24.483 24.411 24.495 13 24.487 0.06 
29 AlgoDat1/queue SeqAAM 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
30 AlgoDat1/queue SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
31 AlgoDat1/queue SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
32 AlgoDat1/queue SeqAAMLS-halt 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
33 AlgoDat1/quick SeqAAM 175651 2184 1 1 1 {#f,#t} 13 9.312 9.193 9.186 9.2   9.214 9.13  9.178 9.159 9.169 9.149 9.217 9.179 9.195 13 9.191 0.029
34 AlgoDat1/quick SeqAAMS 175651 2184 1 1 1 {#f,#t} 13 9.579 9.634 9.64  9.574 9.603 9.604 9.65  9.601 9.608 9.61  9.622 9.558 9.609 13 9.607 0.019
35 AlgoDat1/quick SeqAAMLS 175651 2184 1 1 1 {#f,#t} 13 9.562 9.517 9.536 9.49  9.555 9.481 9.497 9.505 9.527 9.52  9.507 9.507 9.528 13 9.518 0.019
36 AlgoDat1/quick SeqAAMLS-halt 175651 2184 1 1 1 {#f,#t} 13 9.66  9.665 9.638 9.57  9.586 9.619 9.572 9.575 9.589 9.583 9.591 9.602 9.597 13 9.604 0.026
37 AlgoDat1/selsort SeqAAM 298 0 0 5 1 VectorAddress(@vector-Time()) 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
38 AlgoDat1/selsort SeqAAMS 298 0 0 5 1 VectorAddress(@vector-Time()) 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
39 AlgoDat1/selsort SeqAAMLS 298 0 0 5 1 VectorAddress(@vector-Time()) 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
40 AlgoDat1/selsort SeqAAMLS-halt 298 0 0 5 1 VectorAddress(@vector-Time()) 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
41 AlgoDat1/stspaceCODE SeqAAM 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
42 AlgoDat1/stspaceCODE SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
43 AlgoDat1/stspaceCODE SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
44 AlgoDat1/stspaceCODE SeqAAMLS-halt 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
45 AlgoDat1/traverse SeqAAM 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
46 AlgoDat1/traverse SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
47 AlgoDat1/traverse SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
48 AlgoDat1/traverse SeqAAMLS-halt 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
49 AlgoDat1/DFS/dfs SeqAAM 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
50 AlgoDat1/DFS/dfs SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
51 AlgoDat1/DFS/dfs SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
52 AlgoDat1/DFS/dfs SeqAAMLS-halt 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
53 AlgoDat1/shortest/priorityGraf SeqAAM 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
54 AlgoDat1/shortest/priorityGraf SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
55 AlgoDat1/shortest/priorityGraf SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
56 AlgoDat1/shortest/priorityGraf SeqAAMLS-halt 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
57 AlgoDat1/shortest/shortestOLD SeqAAM 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
58 AlgoDat1/shortest/shortestOLD SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
59 AlgoDat1/shortest/shortestOLD SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
60 AlgoDat1/shortest/shortestOLD SeqAAMLS-halt 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
61 AlgoDat1/stSpace/STSPACEopl SeqAAM 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
62 AlgoDat1/stSpace/STSPACEopl SeqAAMS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
63 AlgoDat1/stSpace/STSPACEopl SeqAAMLS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
64 AlgoDat1/stSpace/STSPACEopl SeqAAMLS-halt 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
65 Larceny/Gabriel/cpstak SeqAAM 1966 0 0 67 1 Int 13 0.038 0.037 0.037 0.037 0.036 0.036 0.036 0.036 0.036 0.036 0.036 0.036 0.036 13 0.037 0    
66 Larceny/Gabriel/cpstak SeqAAMS 1966 0 0 67 1 Int 13 0.038 0.036 0.037 0.036 0.037 0.037 0.036 0.037 0.038 0.037 0.038 0.037 0.038 13 0.037 0    
67 Larceny/Gabriel/cpstak SeqAAMLS 1966 0 0 67 1 Int 13 0.037 0.036 0.037 0.037 0.036 0.036 0.036 0.036 0.036 0.036 0.037 0.036 0.036 13 0.036 0    
68 Larceny/Gabriel/cpstak SeqAAMLS-halt 1966 0 0 67 1 Int 13 0.038 0.037 0.038 0.037 0.037 0.038 0.038 0.038 0.037 0.037 0.038 0.038 0.038 13 0.038 0    
69 Larceny/Gabriel/ctak SeqAAM 5 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
70 Larceny/Gabriel/ctak SeqAAMS 5 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
71 Larceny/Gabriel/ctak SeqAAMLS 5 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
72 Larceny/Gabriel/ctak SeqAAMLS-halt 5 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
73 Larceny/Gabriel/diviter SeqAAM 593 1 1 37 2 #f, {#f,#t} 13 0.138 0.108 0.105 0.104 0.1   0.1   0.1   0.099 0.099 0.101 0.1   0.1   0.099 13 0.104 0.006
74 Larceny/Gabriel/diviter SeqAAMS 593 1 1 37 2 #f, {#f,#t} 13 0.1   0.101 0.1   0.099 0.101 0.098 0.1   0.101 0.099 0.1   0.102 0.101 0.099 13 0.1   0.001
75 Larceny/Gabriel/diviter SeqAAMLS 593 1 1 37 2 #f, {#f,#t} 13 0.099 0.098 0.097 0.099 0.099 0.099 0.1   0.1   0.1   0.099 0.099 0.097 0.098 13 0.099 0.001
76 Larceny/Gabriel/diviter SeqAAMLS-halt 593 1 1 37 2 #f, {#f,#t} 13 0.101 0.099 0.097 0.1   0.099 0.101 0.099 0.098 0.101 0.099 0.1   0.098 0.098 13 0.099 0.001
77 Larceny/Gabriel/divrec SeqAAM 533 1 1 42 2 #f, {#f,#t} 13 0.039 0.04  0.039 0.039 0.039 0.038 0.038 0.039 0.039 0.039 0.039 0.038 0.039 13 0.039 0    
78 Larceny/Gabriel/divrec SeqAAMS 533 1 1 42 2 #f, {#f,#t} 13 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.038 0.038 0.039 13 0.039 0    
79 Larceny/Gabriel/divrec SeqAAMLS 533 1 1 42 2 #f, {#f,#t} 13 0.039 0.038 0.039 0.039 0.039 0.038 0.038 0.039 0.038 0.039 0.039 0.039 0.038 13 0.039 0    
80 Larceny/Gabriel/divrec SeqAAMLS-halt 533 1 1 42 2 #f, {#f,#t} 13 0.039 0.039 0.039 0.038 0.039 0.039 0.038 0.039 0.039 0.039 0.038 0.039 0.039 13 0.039 0    
81 Larceny/Gabriel/puzzle SeqAAM 24 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
82 Larceny/Gabriel/puzzle SeqAAMS 24 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
83 Larceny/Gabriel/puzzle SeqAAMLS 24 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
84 Larceny/Gabriel/puzzle SeqAAMLS-halt 24 1 1 0 0 13 0.001 0     0.001 0     0     0     0     0     0     0     0     0     0     13 0.001 0    
85 Larceny/Gabriel/takl SeqAAM 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 32.109 32.31  32.221 32.219 32.253 32.231 32.283 32.294 32.108 32.253 32.124 31.911 32.138 13 32.189 0.085
86 Larceny/Gabriel/takl SeqAAMS 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 36.438 36.462 36.389 36.244 36.844 36.325 36.318 36.555 36.357 36.593 36.463 36.615 36.752 13 36.489 0.141
87 Larceny/Gabriel/takl SeqAAMLS 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 32.565 32.372 32.427 32.252 32.442 32.575 32.532 32.503 32.398 32.336 32.435 32.338 32.599 13 32.444 0.085
88 Larceny/Gabriel/takl SeqAAMLS-halt 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 13 33.936 34.103 34.129 34.189 33.959 34.086 34.003 34.023 34.002 34.207 33.939 34.04  33.961 13 34.044 0.076
89 Larceny/Gabriel/triangl SeqAAM 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
90 Larceny/Gabriel/triangl SeqAAMS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
91 Larceny/Gabriel/triangl SeqAAMLS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
92 Larceny/Gabriel/triangl SeqAAMLS-halt 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
93 Larceny/Kernighan_and_Van_Wyk/ack SeqAAM 53990 0 0 1546 1 Int 13 0.764 0.77  0.773 0.774 0.78  0.773 0.773 0.768 0.771 0.781 0.787 0.777 0.782 13 0.775 0.005
94 Larceny/Kernighan_and_Van_Wyk/ack SeqAAMS 53990 0 0 1546 1 Int 13 0.808 0.802 0.805 0.788 0.818 0.825 0.826 0.814 0.806 0.793 0.793 0.803 0.803 13 0.807 0.009
95 Larceny/Kernighan_and_Van_Wyk/ack SeqAAMLS 53990 0 0 1546 1 Int 13 0.768 0.778 0.776 0.774 0.775 0.775 0.771 0.774 0.788 0.788 0.788 0.783 0.786 13 0.779 0.006
96 Larceny/Kernighan_and_Van_Wyk/ack SeqAAMLS-halt 53990 0 0 1546 1 Int 13 0.818 0.815 0.808 0.805 0.808 0.806 0.811 0.809 0.808 0.803 0.804 0.814 0.803 13 0.809 0.004
97 Larceny/Kernighan_and_Van_Wyk/array1 SeqAAM 9011 0 0 96 2 (), {Int,()} 13 0.124 0.105 0.103 0.103 0.104 0.104 0.103 0.104 0.103 0.102 0.102 0.104 0.102 13 0.105 0.003
98 Larceny/Kernighan_and_Van_Wyk/array1 SeqAAMS 9011 0 0 96 2 (), {Int,()} 13 0.11  0.108 0.108 0.109 0.108 0.109 0.105 0.109 0.103 0.113 0.109 0.108 0.105 13 0.108 0.002
99 Larceny/Kernighan_and_Van_Wyk/array1 SeqAAMLS 9011 0 0 96 2 (), {Int,()} 13 0.103 0.103 0.101 0.102 0.102 0.101 0.102 0.101 0.101 0.102 0.101 0.102 0.101 13 0.102 0.001
100 Larceny/Kernighan_and_Van_Wyk/array1 SeqAAMLS-halt 9011 0 0 96 2 (), {Int,()} 13 0.106 0.107 0.105 0.108 0.107 0.107 0.107 0.106 0.106 0.106 0.105 0.107 0.106 13 0.106 0.001
101 Larceny/Kernighan_and_Van_Wyk/cat SeqAAM 7 1 1 0 0 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
102 Larceny/Kernighan_and_Van_Wyk/cat SeqAAMS 7 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
103 Larceny/Kernighan_and_Van_Wyk/cat SeqAAMLS 7 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
104 Larceny/Kernighan_and_Van_Wyk/cat SeqAAMLS-halt 7 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
105 Larceny/Kernighan_and_Van_Wyk/string SeqAAM 8713 230 1 176 1 Int 13 0.088 0.071 0.074 0.071 0.07  0.07  0.069 0.069 0.069 0.069 0.069 0.07  0.072 13 0.072 0.003
106 Larceny/Kernighan_and_Van_Wyk/string SeqAAMS 8713 230 1 176 1 Int 13 0.076 0.08  0.074 0.078 0.077 0.074 0.072 0.077 0.077 0.078 0.075 0.074 0.075 13 0.076 0.002
107 Larceny/Kernighan_and_Van_Wyk/string SeqAAMLS 8713 230 1 176 1 Int 13 0.071 0.072 0.067 0.067 0.07  0.071 0.072 0.072 0.068 0.068 0.069 0.069 0.069 13 0.07  0.002
108 Larceny/Kernighan_and_Van_Wyk/string SeqAAMLS-halt 8713 230 1 176 1 Int 13 0.073 0.072 0.073 0.07  0.074 0.072 0.073 0.072 0.073 0.074 0.072 0.069 0.072 13 0.072 0.001
109 Larceny/Kernighan_and_Van_Wyk/sumloop SeqAAM 12952 0 0 212 1 {#f,#t} 13 0.137 0.137 0.135 0.136 0.135 0.131 0.135 0.133 0.135 0.132 0.133 0.135 0.138 13 0.135 0.002
110 Larceny/Kernighan_and_Van_Wyk/sumloop SeqAAMS 12952 0 0 212 1 {#f,#t} 13 0.144 0.14  0.141 0.147 0.144 0.141 0.145 0.144 0.14  0.141 0.14  0.142 0.138 13 0.142 0.002
111 Larceny/Kernighan_and_Van_Wyk/sumloop SeqAAMLS 12952 0 0 212 1 {#f,#t} 13 0.137 0.133 0.137 0.137 0.133 0.138 0.137 0.136 0.136 0.133 0.134 0.134 0.133 13 0.135 0.002
112 Larceny/Kernighan_and_Van_Wyk/sumloop SeqAAMLS-halt 12952 0 0 212 1 {#f,#t} 13 0.139 0.144 0.14  0.142 0.142 0.142 0.142 0.143 0.141 0.138 0.139 0.139 0.139 13 0.141 0.002
113 Larceny/Kernighan_and_Van_Wyk/tail SeqAAM 7 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
114 Larceny/Kernighan_and_Van_Wyk/tail SeqAAMS 7 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
115 Larceny/Kernighan_and_Van_Wyk/tail SeqAAMLS 7 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
116 Larceny/Kernighan_and_Van_Wyk/tail SeqAAMLS-halt 7 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
117 Larceny/Kernighan_and_Van_Wyk/wc SeqAAM 8 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
118 Larceny/Kernighan_and_Van_Wyk/wc SeqAAMS 8 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
119 Larceny/Kernighan_and_Van_Wyk/wc SeqAAMLS 8 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
120 Larceny/Kernighan_and_Van_Wyk/wc SeqAAMLS-halt 8 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
121 Larceny/Numerical/fib SeqAAM 276 0 0 15 1 Int 13 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
122 Larceny/Numerical/fib SeqAAMS 276 0 0 15 1 Int 13 0.005 0.002 0.002 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.002 0.003 0.003 13 0.003 0    
123 Larceny/Numerical/fib SeqAAMLS 276 0 0 15 1 Int 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
124 Larceny/Numerical/fib SeqAAMLS-halt 276 0 0 15 1 Int 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
125 Larceny/Numerical/sum SeqAAM 9723 0 0 212 1 Int 13 0.09  0.092 0.091 0.088 0.09  0.091 0.092 0.091 0.092 0.091 0.089 0.088 0.09  13 0.09  0.001
126 Larceny/Numerical/sum SeqAAMS 9723 0 0 212 1 Int 13 0.092 0.091 0.09  0.089 0.09  0.093 0.091 0.092 0.093 0.091 0.089 0.091 0.092 13 0.091 0.001
127 Larceny/Numerical/sum SeqAAMLS 9723 0 0 212 1 Int 13 0.088 0.089 0.09  0.089 0.09  0.091 0.093 0.091 0.091 0.091 0.091 0.087 0.092 13 0.09  0.001
128 Larceny/Numerical/sum SeqAAMLS-halt 9723 0 0 212 1 Int 13 0.095 0.098 0.098 0.098 0.097 0.094 0.094 0.095 0.093 0.094 0.097 0.097 0.097 13 0.096 0.002
129 Larceny/Numerical/tak SeqAAM 3710 0 0 127 1 {#f,#t} 13 0.036 0.036 0.036 0.036 0.036 0.036 0.035 0.035 0.036 0.035 0.035 0.036 0.036 13 0.036 0    
130 Larceny/Numerical/tak SeqAAMS 3710 0 0 127 1 {#f,#t} 13 0.038 0.041 0.042 0.039 0.043 0.04  0.038 0.038 0.037 0.041 0.038 0.045 0.04  13 0.04  0.002
131 Larceny/Numerical/tak SeqAAMLS 3710 0 0 127 1 {#f,#t} 13 0.037 0.035 0.037 0.036 0.036 0.036 0.037 0.037 0.036 0.036 0.035 0.036 0.036 13 0.036 0.001
132 Larceny/Numerical/tak SeqAAMLS-halt 3710 0 0 127 1 {#f,#t} 13 0.038 0.038 0.038 0.038 0.038 0.039 0.039 0.038 0.038 0.038 0.037 0.038 0.038 13 0.038 0    
133 Larceny/other/earley SeqAAM 1670 14 1 0 0 13 0.028 0.021 0.022 0.022 0.022 0.021 0.022 0.021 0.021 0.021 0.021 0.021 0.021 13 0.022 0.001
134 Larceny/other/earley SeqAAMS 1670 14 1 0 0 13 0.023 0.022 0.022 0.022 0.022 0.022 0.022 0.022 0.022 0.022 0.022 0.022 0.022 13 0.022 0    
135 Larceny/other/earley SeqAAMLS 1670 14 1 0 0 13 0.022 0.021 0.021 0.021 0.021 0.021 0.021 0.021 0.021 0.021 0.021 0.021 0.021 13 0.021 0    
136 Larceny/other/earley SeqAAMLS-halt 1670 14 1 0 0 13 0.022 0.021 0.021 0.022 0.021 0.021 0.021 0.021 0.021 0.021 0.021 0.022 0.021 13 0.021 0    
137 Larceny/other/fibc SeqAAM 17782 761 1 158 1 Int 13 0.147 0.147 0.145 0.144 0.143 0.148 0.146 0.145 0.146 0.146 0.147 0.146 0.145 13 0.146 0.001
138 Larceny/other/fibc SeqAAMS 17782 761 1 158 1 Int 13 0.142 0.14  0.138 0.137 0.138 0.139 0.139 0.135 0.137 0.139 0.137 0.139 0.141 13 0.139 0.001
139 Larceny/other/fibc SeqAAMLS 17782 761 1 158 1 Int 13 0.147 0.146 0.145 0.145 0.145 0.146 0.143 0.147 0.147 0.144 0.144 0.147 0.146 13 0.146 0.001
140 Larceny/other/fibc SeqAAMLS-halt 17782 761 1 158 1 Int 13 0.148 0.148 0.149 0.15  0.148 0.149 0.149 0.15  0.148 0.147 0.147 0.148 0.148 13 0.148 0.001
141 Larceny/other/lattice SeqAAM 30 1 1 0 0 13 0.001 0.001 0     0.001 0     0     0     0     0     0     0     0     0     13 0.001 0    
142 Larceny/other/lattice SeqAAMS 30 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
143 Larceny/other/lattice SeqAAMLS 30 1 1 0 0 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
144 Larceny/other/lattice SeqAAMLS-halt 30 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
145 Larceny/other/nqueens SeqAAM 9477 170 1 41 1 Int 13 0.057 0.055 0.053 0.054 0.054 0.054 0.054 0.054 0.054 0.053 0.054 0.054 0.053 13 0.054 0.001
146 Larceny/other/nqueens SeqAAMS 9477 170 1 41 1 Int 13 0.06  0.059 0.061 0.059 0.059 0.059 0.059 0.06  0.059 0.06  0.06  0.059 0.059 13 0.059 0    
147 Larceny/other/nqueens SeqAAMLS 9477 170 1 41 1 Int 13 0.055 0.055 0.055 0.055 0.055 0.055 0.054 0.053 0.054 0.054 0.056 0.056 0.054 13 0.055 0    
148 Larceny/other/nqueens SeqAAMLS-halt 9477 170 1 41 1 Int 13 0.059 0.057 0.058 0.057 0.057 0.059 0.06  0.057 0.058 0.059 0.058 0.058 0.058 13 0.058 0.001
149 Larceny/other/primes SeqAAM 9151 0 0 283 2 #f, {#f,#t} 13 0.105 0.101 0.099 0.1   0.1   0.099 0.099 0.1   0.1   0.1   0.1   0.099 0.1   13 0.1   0.001
150 Larceny/other/primes SeqAAMS 9151 0 0 283 2 #f, {#f,#t} 13 0.104 0.101 0.102 0.103 0.105 0.105 0.103 0.103 0.106 0.102 0.104 0.103 0.102 13 0.103 0.001
151 Larceny/other/primes SeqAAMLS 9151 0 0 283 2 #f, {#f,#t} 13 0.102 0.101 0.099 0.1   0.101 0.1   0.101 0.101 0.1   0.1   0.101 0.1   0.101 13 0.101 0.001
152 Larceny/other/primes SeqAAMLS-halt 9151 0 0 283 2 #f, {#f,#t} 13 0.106 0.107 0.106 0.106 0.106 0.106 0.104 0.106 0.105 0.105 0.105 0.106 0.106 13 0.106 0    
153 Nguyen/ack SeqAAM 316 0 0 16 1 Int 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
154 Nguyen/ack SeqAAMS 316 0 0 16 1 Int 13 0.003 0.002 0.003 0.002 0.002 0.003 0.003 0.002 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
155 Nguyen/ack SeqAAMLS 316 0 0 16 1 Int 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
156 Nguyen/ack SeqAAMLS-halt 316 0 0 16 1 Int 13 0.003 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 0.002 13 0.002 0    
157 Nguyen/len SeqAAM 63 0 0 3 2 #f, Int 13 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 13 0.001 0    
158 Nguyen/len SeqAAMS 63 0 0 3 2 #f, Int 13 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 13 0.001 0    
159 Nguyen/len SeqAAMLS 63 0 0 3 2 #f, Int 13 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 13 0.001 0    
160 Nguyen/len SeqAAMLS-halt 63 0 0 3 2 #f, Int 13 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 13 0.001 0    
161 OPi/abs SeqAAM 8 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
162 OPi/abs SeqAAMS 8 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
163 OPi/abs SeqAAMLS 8 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
164 OPi/abs SeqAAMLS-halt 8 0 0 1 1 Int 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
165 OPi/add SeqAAM 4 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
166 OPi/add SeqAAMS 4 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
167 OPi/add SeqAAMLS 4 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
168 OPi/add SeqAAMLS-halt 4 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
169 OPi/collatz SeqAAM 13 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
170 OPi/collatz SeqAAMS 13 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
171 OPi/collatz SeqAAMLS 13 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
172 OPi/collatz SeqAAMLS-halt 13 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
173 OPi/factorial_iter SeqAAM 22 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
174 OPi/factorial_iter SeqAAMS 22 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
175 OPi/factorial_iter SeqAAMLS 22 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0  &nbs