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     0     0     0     0     0     13 0     0    
176 OPi/factorial_iter SeqAAMLS-halt 22 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
177 OPi/factorial_recur SeqAAM 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
178 OPi/factorial_recur SeqAAMS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
179 OPi/factorial_recur SeqAAMLS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
180 OPi/factorial_recur SeqAAMLS-halt 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
181 OPi/fibonacci_iter SeqAAM 25 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
182 OPi/fibonacci_iter SeqAAMS 25 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
183 OPi/fibonacci_iter SeqAAMLS 25 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
184 OPi/fibonacci_iter SeqAAMLS-halt 25 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
185 OPi/fibonacci_mutable_iter SeqAAM 37 0 0 2 1 Int 13 0.001 0     0.001 0     0     0.001 0     0     0     0     0     0     0     13 0     0    
186 OPi/fibonacci_mutable_iter SeqAAMS 37 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
187 OPi/fibonacci_mutable_iter SeqAAMLS 37 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
188 OPi/fibonacci_mutable_iter SeqAAMLS-halt 37 0 0 2 1 Int 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
189 OPi/fibonacci_recur SeqAAM 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    
190 OPi/fibonacci_recur SeqAAMS 276 0 0 15 1 Int 13 0.004 0.003 0.003 0.003 0.003 0.002 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
191 OPi/fibonacci_recur 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    
192 OPi/fibonacci_recur 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    
193 OPi/gen3fibonacci_recur SeqAAM 3264 0 0 127 1 Int 13 0.03  0.029 0.029 0.029 0.029 0.029 0.029 0.03  0.029 0.029 0.03  0.029 0.03  13 0.029 0    
194 OPi/gen3fibonacci_recur SeqAAMS 3264 0 0 127 1 Int 13 0.032 0.03  0.032 0.033 0.034 0.032 0.03  0.029 0.032 0.032 0.032 0.03  0.034 13 0.032 0.001
195 OPi/gen3fibonacci_recur SeqAAMLS 3264 0 0 127 1 Int 13 0.03  0.03  0.03  0.03  0.03  0.03  0.029 0.03  0.03  0.029 0.03  0.029 0.03  13 0.03  0    
196 OPi/gen3fibonacci_recur SeqAAMLS-halt 3264 0 0 127 1 Int 13 0.032 0.03  0.03  0.031 0.031 0.031 0.031 0.031 0.031 0.03  0.03  0.031 0.03  13 0.031 0    
197 OPi/gen4fibonacci_recur SeqAAM 49854 0 0 1517 1 Int 13 0.51  0.515 0.504 0.513 0.515 0.513 0.514 0.503 0.511 0.514 0.514 0.511 0.5   13 0.511 0.004
198 OPi/gen4fibonacci_recur SeqAAMS 49854 0 0 1517 1 Int 13 0.49  0.489 0.487 0.484 0.465 0.486 0.486 0.485 0.489 0.476 0.49  0.49  0.489 13 0.485 0.005
199 OPi/gen4fibonacci_recur SeqAAMLS 49854 0 0 1517 1 Int 13 0.516 0.507 0.518 0.517 0.519 0.517 0.51  0.519 0.516 0.516 0.522 0.509 0.519 13 0.516 0.003
200 OPi/gen4fibonacci_recur SeqAAMLS-halt 49854 0 0 1517 1 Int 13 0.528 0.535 0.535 0.531 0.535 0.53  0.534 0.53  0.53  0.536 0.526 0.532 0.527 13 0.531 0.003
201 OPi/gen5fibonacci_recur SeqAAM 911786 0 0 22841 1 Int 13 11.1   11.001 10.941 10.949 10.986 11.056 11.105 10.93  11.03  10.989 10.999 10.964 11.007 13 11.004 0.042
202 OPi/gen5fibonacci_recur SeqAAMS 911786 0 0 22841 1 Int 13 10.889 10.961 10.887 10.798 10.971 10.952 10.905 11.009 10.921 10.89  11.061 10.949 10.972 13 10.936 0.05 
203 OPi/gen5fibonacci_recur SeqAAMLS 911786 0 0 22841 1 Int 13 11.065 11.047 11.062 11.046 11.137 11.066 11.037 11.008 11.06  11.058 11.083 11.024 11.023 13 11.055 0.022
204 OPi/gen5fibonacci_recur SeqAAMLS-halt 911786 0 0 22841 1 Int 13 11.295 11.322 11.288 11.261 11.324 11.295 11.29  11.303 11.376 11.317 11.331 11.35  11.254 13 11.308 0.026
205 OPi/inc SeqAAM 4 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
206 OPi/inc SeqAAMS 4 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
207 OPi/inc SeqAAMLS 4 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
208 OPi/inc 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    
209 OPi/linear_1 SeqAAM 3 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
210 OPi/linear_1 SeqAAMS 3 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
211 OPi/linear_1 SeqAAMLS 3 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
212 OPi/linear_1 SeqAAMLS-halt 3 0 0 1 1 Int 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
213 OPi/linear_10 SeqAAM 31 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
214 OPi/linear_10 SeqAAMS 31 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
215 OPi/linear_10 SeqAAMLS 31 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
216 OPi/linear_10 SeqAAMLS-halt 31 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
217 OPi/linear_100 SeqAAM 301 0 0 1 1 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    
218 OPi/linear_100 SeqAAMS 301 0 0 1 1 Int 13 0.001 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    
219 OPi/linear_100 SeqAAMLS 301 0 0 1 1 Int 13 0.001 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    
220 OPi/linear_100 SeqAAMLS-halt 301 0 0 1 1 Int 13 0.001 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    
221 OPi/linear_1000 SeqAAM 3001 0 0 1 1 Int 13 0.022 0.022 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    
222 OPi/linear_1000 SeqAAMS 3001 0 0 1 1 Int 13 0.023 0.022 0.023 0.022 0.022 0.022 0.022 0.022 0.022 0.022 0.022 0.022 0.022 13 0.022 0    
223 OPi/linear_1000 SeqAAMLS 3001 0 0 1 1 Int 13 0.023 0.022 0.022 0.021 0.021 0.021 0.021 0.021 0.022 0.021 0.021 0.021 0.021 13 0.022 0    
224 OPi/linear_1000 SeqAAMLS-halt 3001 0 0 1 1 Int 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    
225 OPi/linear_10000 SeqAAM 30001 0 0 1 1 Int 13 3.174 2.954 2.998 3.042 3.105 2.968 3.017 3.106 3.044 3.108 2.986 3.15  3.235 13 3.068 0.072
226 OPi/linear_10000 SeqAAMS 30001 0 0 1 1 Int 13 3.139 3.151 3.082 3.215 3.186 3.161 3.278 3.24  3.152 3.195 3.227 3.042 3.2   13 3.175 0.049
227 OPi/linear_10000 SeqAAMLS 30001 0 0 1 1 Int 13 3.14  3.101 3.045 3.088 3.137 3.051 3.026 3.031 3.069 2.995 3.099 3.122 2.953 13 3.066 0.045
228 OPi/linear_10000 SeqAAMLS-halt 30001 0 0 1 1 Int 13 2.986 3.124 3.072 2.99  3.056 3.018 3.043 2.988 3.104 3.07  3.094 3.112 3.02  13 3.052 0.041
229 OPi/set SeqAAM 7 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
230 OPi/set SeqAAMS 7 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
231 OPi/set SeqAAMLS 7 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
232 OPi/set SeqAAMLS-halt 7 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
233 OPi/old/Fibonacci SeqAAM 3707 63 1 0 0 13 0.021 0.019 0.019 0.019 0.019 0.019 0.019 0.018 0.018 0.019 0.018 0.018 0.018 13 0.019 0    
234 OPi/old/Fibonacci SeqAAMS 3707 63 1 0 0 13 0.022 0.022 0.021 0.022 0.022 0.022 0.022 0.021 0.021 0.022 0.022 0.022 0.022 13 0.022 0    
235 OPi/old/Fibonacci SeqAAMLS 3707 63 1 0 0 13 0.02  0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.02  0.019 0.019 13 0.019 0    
236 OPi/old/Fibonacci SeqAAMLS-halt 3707 63 1 0 0 13 0.021 0.02  0.02  0.02  0.02  0.02  0.02  0.02  0.02  0.02  0.02  0.02  0.02  13 0.02  0    
237 OPi/old/FiboNbSystem SeqAAM 18 1 1 1 1 #f 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
238 OPi/old/FiboNbSystem SeqAAMS 18 1 1 1 1 #f 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
239 OPi/old/FiboNbSystem SeqAAMLS 18 1 1 1 1 #f 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
240 OPi/old/FiboNbSystem SeqAAMLS-halt 18 1 1 1 1 #f 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
241 OPi/old/partitions SeqAAM 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
242 OPi/old/partitions SeqAAMS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
243 OPi/old/partitions SeqAAMLS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
244 OPi/old/partitions SeqAAMLS-halt 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
245 other/bound-precision SeqAAM 45 1 1 4 2 #f, #t 13 0.586 0.001 0.001 0.001 0.001 0     0.001 0.001 0     0.001 0.001 0.001 0     13 0.046 0.083
246 other/bound-precision SeqAAMS 45 1 1 4 2 #f, #t 13 0.001 0.001 0.001 0.001 0     0     0.001 0     0     0.001 0     0     0.001 13 0.001 0    
247 other/bound-precision SeqAAMLS 45 1 1 4 2 #f, #t 13 0.001 0     0     0     0.001 0     0     0     0     0     0     0     0     13 0.001 0    
248 other/bound-precision SeqAAMLS-halt 45 1 1 4 2 #f, #t 13 0.001 0     0.001 0     0.001 0     0     0.001 0.001 0     0     0     0     13 0.001 0    
249 other/church-2-num SeqAAM 23 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
250 other/church-2-num SeqAAMS 23 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
251 other/church-2-num SeqAAMLS 23 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
252 other/church-2-num SeqAAMLS-halt 23 0 0 2 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
253 other/church-6 SeqAAM 114 0 0 4 1 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    
254 other/church-6 SeqAAMS 114 0 0 4 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    
255 other/church-6 SeqAAMLS 114 0 0 4 1 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    
256 other/church-6 SeqAAMLS-halt 114 0 0 4 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    
257 other/collatz SeqAAM 309 0 0 8 1 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    
258 other/collatz SeqAAMS 309 0 0 8 1 Int 13 0.002 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.001 0.002 0.001 0.001 0.001 13 0.001 0    
259 other/collatz SeqAAMLS 309 0 0 8 1 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    
260 other/collatz SeqAAMLS-halt 309 0 0 8 1 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    
261 other/count SeqAAM 16 0 0 2 1 Str 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
262 other/count SeqAAMS 16 0 0 2 1 Str 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
263 other/count SeqAAMLS 16 0 0 2 1 Str 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
264 other/count SeqAAMLS-halt 16 0 0 2 1 Str 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
265 other/infinite-1 SeqAAM 3 0 0 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
266 other/infinite-1 SeqAAMS 3 0 0 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
267 other/infinite-1 SeqAAMLS 3 0 0 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
268 other/infinite-1 SeqAAMLS-halt 3 0 0 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
269 other/infinite-2 SeqAAM 6 0 0 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
270 other/infinite-2 SeqAAMS 6 0 0 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
271 other/infinite-2 SeqAAMLS 6 0 0 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
272 other/infinite-2 SeqAAMLS-halt 6 0 0 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
273 other/infinite-3 SeqAAM 3 0 0 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
274 other/infinite-3 SeqAAMS 3 0 0 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
275 other/infinite-3 SeqAAMLS 3 0 0 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
276 other/infinite-3 SeqAAMLS-halt 3 0 0 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
277 other/letrec-begin SeqAAM 9 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
278 other/letrec-begin SeqAAMS 9 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
279 other/letrec-begin SeqAAMLS 9 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
280 other/letrec-begin SeqAAMLS-halt 9 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
281 other/mut-rec SeqAAM 32 0 0 4 2 #f, #t 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
282 other/mut-rec SeqAAMS 32 0 0 4 2 #f, #t 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
283 other/mut-rec SeqAAMLS 32 0 0 4 2 #f, #t 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
284 other/mut-rec SeqAAMLS-halt 32 0 0 4 2 #f, #t 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
285 other/nested-defines SeqAAM 8 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
286 other/nested-defines SeqAAMS 8 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
287 other/nested-defines SeqAAMLS 8 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
288 other/nested-defines SeqAAMLS-halt 8 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
289 other/sq SeqAAM 7 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
290 other/sq SeqAAMS 7 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
291 other/sq SeqAAMLS 7 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
292 other/sq SeqAAMLS-halt 7 0 0 1 1 Int 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
293 other/sym SeqAAM 5 0 0 1 1 Sym 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
294 other/sym SeqAAMS 5 0 0 1 1 Sym 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
295 other/sym SeqAAMLS 5 0 0 1 1 Sym 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
296 other/sym SeqAAMLS-halt 5 0 0 1 1 Sym 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
297 other/widen SeqAAM 53 0 0 6 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
298 other/widen SeqAAMS 53 0 0 6 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
299 other/widen SeqAAMLS 53 0 0 6 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
300 other/widen SeqAAMLS-halt 53 0 0 6 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
301 other/work SeqAAM 285 0 0 3 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    
302 other/work SeqAAMS 285 0 0 3 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    
303 other/work SeqAAMLS 285 0 0 3 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    
304 other/work SeqAAMLS-halt 285 0 0 3 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    
305 Parallel_AAM_Andersen_2013/factorial_00 SeqAAM 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
306 Parallel_AAM_Andersen_2013/factorial_00 SeqAAMS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
307 Parallel_AAM_Andersen_2013/factorial_00 SeqAAMLS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
308 Parallel_AAM_Andersen_2013/factorial_00 SeqAAMLS-halt 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
309 Parallel_AAM_Andersen_2013/factorial_05 SeqAAM 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
310 Parallel_AAM_Andersen_2013/factorial_05 SeqAAMS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
311 Parallel_AAM_Andersen_2013/factorial_05 SeqAAMLS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
312 Parallel_AAM_Andersen_2013/factorial_05 SeqAAMLS-halt 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
313 Parallel_AAM_Andersen_2013/factorial_10 SeqAAM 36 0 0 3 1 Int 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
314 Parallel_AAM_Andersen_2013/factorial_10 SeqAAMS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
315 Parallel_AAM_Andersen_2013/factorial_10 SeqAAMLS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
316 Parallel_AAM_Andersen_2013/factorial_10 SeqAAMLS-halt 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
317 Parallel_AAM_Andersen_2013/factorial_15 SeqAAM 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
318 Parallel_AAM_Andersen_2013/factorial_15 SeqAAMS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
319 Parallel_AAM_Andersen_2013/factorial_15 SeqAAMLS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
320 Parallel_AAM_Andersen_2013/factorial_15 SeqAAMLS-halt 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
321 Parallel_AAM_Andersen_2013/factorial_20 SeqAAM 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
322 Parallel_AAM_Andersen_2013/factorial_20 SeqAAMS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
323 Parallel_AAM_Andersen_2013/factorial_20 SeqAAMLS 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
324 Parallel_AAM_Andersen_2013/factorial_20 SeqAAMLS-halt 36 0 0 3 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
325 Parallel_AAM_Andersen_2013/hailstone_05 SeqAAM 788 0 0 15 1 Int 13 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
326 Parallel_AAM_Andersen_2013/hailstone_05 SeqAAMS 788 0 0 15 1 Int 13 0.004 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
327 Parallel_AAM_Andersen_2013/hailstone_05 SeqAAMLS 788 0 0 15 1 Int 13 0.004 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
328 Parallel_AAM_Andersen_2013/hailstone_05 SeqAAMLS-halt 788 0 0 15 1 Int 13 0.004 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
329 Rosetta/easter SeqAAM 3478 0 0 50 2 #f, {#f,#t} 13 0.041 0.034 0.034 0.034 0.034 0.033 0.034 0.033 0.033 0.034 0.034 0.034 0.034 13 0.034 0.001
330 Rosetta/easter SeqAAMS 3478 0 0 50 2 #f, {#f,#t} 13 0.046 0.046 0.046 0.046 0.046 0.046 0.046 0.045 0.046 0.046 0.046 0.046 0.045 13 0.046 0    
331 Rosetta/easter SeqAAMLS 3478 0 0 50 2 #f, {#f,#t} 13 0.035 0.034 0.034 0.035 0.034 0.035 0.035 0.034 0.035 0.034 0.034 0.035 0.034 13 0.035 0    
332 Rosetta/easter SeqAAMLS-halt 3478 0 0 50 2 #f, {#f,#t} 13 0.037 0.036 0.035 0.036 0.036 0.036 0.035 0.035 0.035 0.036 0.035 0.036 0.036 13 0.036 0    
333 Rosetta/quadratic SeqAAM 175390 5201 1 6018 2 #f, {#f,#t} 13 1.456 1.378 1.396 1.395 1.359 1.389 1.388 1.345 1.392 1.375 1.367 1.387 1.362 13 1.384 0.018
334 Rosetta/quadratic SeqAAMS 175390 5201 1 6018 2 #f, {#f,#t} 13 1.547 1.583 1.579 1.554 1.604 1.576 1.514 1.573 1.596 1.567 1.562 1.581 1.565 13 1.569 0.016
335 Rosetta/quadratic SeqAAMLS 175390 5201 1 6018 2 #f, {#f,#t} 13 1.415 1.428 1.432 1.405 1.427 1.422 1.402 1.427 1.419 1.41  1.424 1.425 1.412 13 1.419 0.008
336 Rosetta/quadratic SeqAAMLS-halt 175390 5201 1 6018 2 #f, {#f,#t} 13 1.49  1.483 1.468 1.483 1.472 1.472 1.481 1.487 1.479 1.483 1.479 1.476 1.484 13 1.48  0.005
337 SCPI/2.1 SeqAAM 6633 0 0 480 2 #f, {#f,#t} 13 0.043 0.039 0.039 0.039 0.038 0.038 0.039 0.038 0.038 0.038 0.038 0.038 0.038 13 0.039 0.001
338 SCPI/2.1 SeqAAMS 6633 0 0 480 2 #f, {#f,#t} 13 0.043 0.042 0.042 0.042 0.042 0.043 0.043 0.043 0.042 0.042 0.042 0.042 0.042 13 0.042 0    
339 SCPI/2.1 SeqAAMLS 6633 0 0 480 2 #f, {#f,#t} 13 0.04  0.038 0.038 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.038 0.039 13 0.039 0    
340 SCPI/2.1 SeqAAMLS-halt 6633 0 0 480 2 #f, {#f,#t} 13 0.041 0.041 0.041 0.041 0.041 0.04  0.041 0.041 0.041 0.041 0.041 0.041 0.041 13 0.041 0    
341 SCPI/2.4 SeqAAM 47 0 0 2 1 {#f,#t} 13 0.003 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    
342 SCPI/2.4 SeqAAMS 47 0 0 2 1 {#f,#t} 13 0.001 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    
343 SCPI/2.4 SeqAAMLS 47 0 0 2 1 {#f,#t} 13 0.001 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    
344 SCPI/2.4 SeqAAMLS-halt 47 0 0 2 1 {#f,#t} 13 0.001 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    
345 SCPI/3.1 SeqAAM 367 14 1 14 1 {#f,#t} 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    
346 SCPI/3.1 SeqAAMS 367 14 1 14 1 {#f,#t} 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    
347 SCPI/3.1 SeqAAMLS 367 14 1 14 1 {#f,#t} 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    
348 SCPI/3.1 SeqAAMLS-halt 367 14 1 14 1 {#f,#t} 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    
349 SCPI/3.2.1 SeqAAM 852068 24354 1 51180 2 #f, {#f,#t} 13 6.962 6.865 6.905 7.013 6.98  6.959 7.032 6.858 6.931 6.971 6.811 6.865 6.985 13 6.934 0.057
350 SCPI/3.2.1 SeqAAMS 852068 24354 1 51180 2 #f, {#f,#t} 13 8.409 8.441 8.498 8.369 8.393 8.419 8.531 8.365 8.485 8.366 8.401 8.566 8.434 13 8.437 0.052
351 SCPI/3.2.1 SeqAAMLS 852068 24354 1 51180 2 #f, {#f,#t} 13 7.054 7.106 7.107 7.015 7.166 7.156 7.234 7.105 7.181 7.173 7.174 7.175 7.181 13 7.14  0.049
352 SCPI/3.2.1 SeqAAMLS-halt 852068 24354 1 51180 2 #f, {#f,#t} 13 7.393 7.451 7.449 7.439 7.465 7.417 7.493 7.4   7.386 7.471 7.46  7.443 7.395 13 7.436 0.029
353 SCPI/3.2 SeqAAM 106 0 0 6 1 {#f,#t} 13 0.001 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    
354 SCPI/3.2 SeqAAMS 106 0 0 6 1 {#f,#t} 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    
355 SCPI/3.2 SeqAAMLS 106 0 0 6 1 {#f,#t} 13 0.001 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    
356 SCPI/3.2 SeqAAMLS-halt 106 0 0 6 1 {#f,#t} 13 0.001 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    
357 SCPI/3.3 SeqAAM 24079 0 0 864 2 #f, {#f,#t} 13 0.277 0.264 0.273 0.271 0.266 0.274 0.273 0.267 0.274 0.273 0.272 0.273 0.273 13 0.272 0.003
358 SCPI/3.3 SeqAAMS 24079 0 0 864 2 #f, {#f,#t} 13 0.29  0.296 0.302 0.291 0.289 0.29  0.29  0.29  0.283 0.292 0.292 0.28  0.293 13 0.291 0.003
359 SCPI/3.3 SeqAAMLS 24079 0 0 864 2 #f, {#f,#t} 13 0.28  0.269 0.282 0.282 0.273 0.283 0.281 0.283 0.282 0.284 0.281 0.283 0.283 13 0.28  0.003
360 SCPI/3.3 SeqAAMLS-halt 24079 0 0 864 2 #f, {#f,#t} 13 0.293 0.29  0.29  0.292 0.29  0.283 0.293 0.293 0.28  0.29  0.292 0.284 0.293 13 0.289 0.003
361 SCPI/3.4 SeqAAM 474 0 0 10 1 {#f,#t} 13 0.006 0.005 0.005 0.005 0.005 0.005 0.005 0.005 0.005 0.005 0.005 0.005 0.005 13 0.005 0    
362 SCPI/3.4 SeqAAMS 474 0 0 10 1 {#f,#t} 13 0.007 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 13 0.006 0    
363 SCPI/3.4 SeqAAMLS 474 0 0 10 1 {#f,#t} 13 0.006 0.006 0.006 0.005 0.005 0.005 0.005 0.005 0.005 0.006 0.006 0.006 0.006 13 0.006 0    
364 SCPI/3.4 SeqAAMLS-halt 474 0 0 10 1 {#f,#t} 13 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 13 0.006 0    
365 SCPI/3.8 SeqAAM 6884 204 1 429 2 #f, {#f,#t} 13 0.052 0.051 0.051 0.051 0.051 0.051 0.051 0.052 0.052 0.051 0.05  0.051 0.05  13 0.051 0    
366 SCPI/3.8 SeqAAMS 6884 204 1 429 2 #f, {#f,#t} 13 0.053 0.051 0.052 0.052 0.052 0.051 0.053 0.052 0.052 0.052 0.051 0.051 0.053 13 0.052 0.001
367 SCPI/3.8 SeqAAMLS 6884 204 1 429 2 #f, {#f,#t} 13 0.053 0.053 0.052 0.052 0.053 0.052 0.052 0.052 0.053 0.052 0.052 0.053 0.051 13 0.052 0    
368 SCPI/3.8 SeqAAMLS-halt 6884 204 1 429 2 #f, {#f,#t} 13 0.055 0.054 0.055 0.055 0.054 0.055 0.054 0.054 0.055 0.054 0.054 0.054 0.055 13 0.055 0    
369 SCPI/3.9 SeqAAM 13820 0 0 134 2 #f, {#f,#t} 13 3.173 3.118 3.141 3.134 3.132 3.129 3.138 3.128 3.123 3.129 3.131 3.147 3.126 13 3.134 0.009
370 SCPI/3.9 SeqAAMS 13820 0 0 134 2 #f, {#f,#t} 13 3.12  3.143 3.127 3.154 3.133 3.165 3.163 3.13  3.145 3.139 3.146 3.129 3.15  13 3.142 0.011
371 SCPI/3.9 SeqAAMLS 13820 0 0 134 2 #f, {#f,#t} 13 3.122 3.139 3.147 3.149 3.156 3.143 3.129 3.139 3.135 3.122 3.128 3.148 3.131 13 3.138 0.009
372 SCPI/3.9 SeqAAMLS-halt 13820 0 0 134 2 #f, {#f,#t} 13 3.122 3.146 3.138 3.181 3.137 3.129 3.14  3.145 3.143 3.141 3.151 3.123 3.149 13 3.142 0.01 
373 SCPI/4.1 SeqAAM 1071 0 0 1 1 {#f,#t} 13 0.02  0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 13 0.018 0    
374 SCPI/4.1 SeqAAMS 1071 0 0 1 1 {#f,#t} 13 0.021 0.021 0.021 0.02  0.021 0.021 0.02  0.021 0.021 0.02  0.02  0.02  0.02  13 0.021 0    
375 SCPI/4.1 SeqAAMLS 1071 0 0 1 1 {#f,#t} 13 0.02  0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 13 0.018 0    
376 SCPI/4.1 SeqAAMLS-halt 1071 0 0 1 1 {#f,#t} 13 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 13 0.019 0    
377 SCPI/4.8 SeqAAM 9961 81 2 232 2 #f, {#f,#t} 13 0.105 0.096 0.092 0.093 0.092 0.091 0.093 0.093 0.092 0.092 0.093 0.095 0.092 13 0.094 0.002
378 SCPI/4.8 SeqAAMS 9961 81 2 232 2 #f, {#f,#t} 13 0.106 0.106 0.106 0.103 0.104 0.104 0.102 0.104 0.105 0.105 0.107 0.105 0.103 13 0.105 0.001
379 SCPI/4.8 SeqAAMLS 9961 81 2 232 2 #f, {#f,#t} 13 0.098 0.097 0.095 0.096 0.097 0.095 0.095 0.096 0.097 0.097 0.096 0.097 0.095 13 0.096 0.001
380 SCPI/4.8 SeqAAMLS-halt 9961 81 2 232 2 #f, {#f,#t} 13 0.1   0.1   0.098 0.1   0.1   0.102 0.1   0.099 0.099 0.098 0.098 0.1   0.099 13 0.1   0.001
381 SCPI/5.20.4 SeqAAM 5224 0 0 100 2 #f, {#f,#t} 13 0.87  0.902 0.932 0.869 1.039 0.89  1     0.895 0.827 0.974 0.996 0.877 0.979 13 0.927 0.055
382 SCPI/5.20.4 SeqAAMS 5224 0 0 100 2 #f, {#f,#t} 13 1.025 0.896 1.05  1.025 1.023 0.978 0.944 0.946 0.932 0.903 1.097 0.964 1.087 13 0.99  0.056
383 SCPI/5.20.4 SeqAAMLS 5224 0 0 100 2 #f, {#f,#t} 13 1.089 0.941 0.949 1.163 0.978 0.878 1.047 0.87  1.034 1.086 0.984 1.057 1.108 13 1.014 0.075
384 SCPI/5.20.4 SeqAAMLS-halt 5224 0 0 100 2 #f, {#f,#t} 13 0.966 0.916 1.07  0.928 1.025 0.918 1.027 0.975 0.948 0.962 1.137 0.991 1.039 13 0.993 0.052
385 SCPI/5.6 SeqAAM 4116 0 0 196 2 #f, {#f,#t} 13 0.115 0.114 0.11  0.111 0.112 0.108 0.112 0.111 0.113 0.111 0.109 0.111 0.107 13 0.111 0.002
386 SCPI/5.6 SeqAAMS 4116 0 0 196 2 #f, {#f,#t} 13 0.119 0.116 0.115 0.115 0.114 0.118 0.116 0.119 0.114 0.113 0.121 0.114 0.115 13 0.116 0.002
387 SCPI/5.6 SeqAAMLS 4116 0 0 196 2 #f, {#f,#t} 13 0.116 0.112 0.113 0.113 0.113 0.114 0.117 0.114 0.115 0.117 0.116 0.115 0.115 13 0.114 0.001
388 SCPI/5.6 SeqAAMLS-halt 4116 0 0 196 2 #f, {#f,#t} 13 0.118 0.121 0.12  0.119 0.118 0.119 0.121 0.119 0.119 0.117 0.117 0.119 0.122 13 0.119 0.001
389 SCPI/5.7 SeqAAM 191902 0 0 5031 2 #f, {#f,#t} 13 18.369 18.052 15.902 19.431 13.453 20.536 14.579 13.524 14.022 22.234 16.921 21.469 18.04  13 17.426 2.485
390 SCPI/5.7 SeqAAMS 191902 0 0 5031 2 #f, {#f,#t} 13 14.294 17.092 16.486 15.027 19.718 19.543 15.251 17.99  13.709 17.77  20.947 17.332 19.966 13 17.318 1.853
391 SCPI/5.7 SeqAAMLS 191902 0 0 5031 2 #f, {#f,#t} 13 21.37  15.238 22.382 21.329 13.818 19.189 15.476 14.727 20.245 13.707 14.923 16.899 15.028 13 17.256 2.805
392 SCPI/5.7 SeqAAMLS-halt 191902 0 0 5031 2 #f, {#f,#t} 13 21.73  13.93  14.758 12.944 18.202 21.122 18.802 19.007 20.122 13.793 23.48  21.362 16.312 13 18.12  2.902
393 SCPI/7.18 SeqAAM 12 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
394 SCPI/7.18 SeqAAMS 12 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
395 SCPI/7.18 SeqAAMLS 12 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
396 SCPI/7.18 SeqAAMLS-halt 12 1 1 0 0 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
397 SCPI/8.1.1 SeqAAM 94 0 0 5 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
398 SCPI/8.1.1 SeqAAMS 94 0 0 5 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
399 SCPI/8.1.1 SeqAAMLS 94 0 0 5 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
400 SCPI/8.1.1 SeqAAMLS-halt 94 0 0 5 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
401 SCPI/8.1.3 SeqAAM 95 0 0 5 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
402 SCPI/8.1.3 SeqAAMS 95 0 0 5 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
403 SCPI/8.1.3 SeqAAMLS 95 0 0 5 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
404 SCPI/8.1.3 SeqAAMLS-halt 95 0 0 5 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
405 SCPI/8.11 SeqAAM 8 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
406 SCPI/8.11 SeqAAMS 8 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
407 SCPI/8.11 SeqAAMLS 8 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
408 SCPI/8.11 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    
409 SCPI/8.5 SeqAAM 1414 68 3 0 0 13 0.031 0.01  0.01  0.01  0.01  0.01  0.009 0.01  0.01  0.009 0.01  0.01  0.009 13 0.011 0.003
410 SCPI/8.5 SeqAAMS 1414 68 3 0 0 13 0.015 0.013 0.014 0.014 0.012 0.014 0.014 0.014 0.012 0.012 0.012 0.014 0.014 13 0.013 0.001
411 SCPI/8.5 SeqAAMLS 1414 68 3 0 0 13 0.011 0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  13 0.01  0    
412 SCPI/8.5 SeqAAMLS-halt 1414 68 3 0 0 13 0.011 0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  0.01  13 0.01  0    
413 SCPI/8.6 SeqAAM 62 0 0 1 1 {#f,#t} 13 0.001 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    
414 SCPI/8.6 SeqAAMS 62 0 0 1 1 {#f,#t} 13 0.001 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    
415 SCPI/8.6 SeqAAMLS 62 0 0 1 1 {#f,#t} 13 0.001 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    
416 SCPI/8.6 SeqAAMLS-halt 62 0 0 1 1 {#f,#t} 13 0.001 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    
417 SCPI/9.13 SeqAAM 721 0 0 10 1 {#f,#t} 13 0.017 0.014 0.012 0.012 0.012 0.012 0.012 0.012 0.013 0.013 0.012 0.012 0.012 13 0.013 0.001
418 SCPI/9.13 SeqAAMS 721 0 0 10 1 {#f,#t} 13 0.013 0.013 0.013 0.013 0.013 0.013 0.013 0.014 0.013 0.012 0.013 0.014 0.013 13 0.013 0    
419 SCPI/9.13 SeqAAMLS 721 0 0 10 1 {#f,#t} 13 0.013 0.012 0.012 0.013 0.012 0.013 0.012 0.012 0.012 0.012 0.012 0.012 0.012 13 0.012 0    
420 SCPI/9.13 SeqAAMLS-halt 721 0 0 10 1 {#f,#t} 13 0.014 0.012 0.012 0.014 0.012 0.012 0.014 0.013 0.012 0.012 0.014 0.013 0.012 13 0.013 0.001
421 SCPI/9.14 SeqAAM 1846 0 0 90 1 {#f,#t} 13 0.248 0.264 0.265 0.193 0.277 0.224 0.247 0.278 0.234 0.231 0.247 0.252 0.276 13 0.249 0.018
422 SCPI/9.14 SeqAAMS 1846 0 0 90 1 {#f,#t} 13 0.197 0.218 0.268 0.194 0.212 0.287 0.187 0.27  0.262 0.202 0.235 0.218 0.246 13 0.231 0.029
423 SCPI/9.14 SeqAAMLS 1846 0 0 90 1 {#f,#t} 13 0.167 0.182 0.269 0.204 0.253 0.287 0.295 0.254 0.296 0.191 0.211 0.213 0.26  13 0.237 0.039
424 SCPI/9.14 SeqAAMLS-halt 1846 0 0 90 1 {#f,#t} 13 0.27  0.208 0.208 0.296 0.243 0.28  0.232 0.192 0.24  0.265 0.2   0.22  0.203 13 0.235 0.028
425 SCPI/9.2 SeqAAM 45103 0 0 2072 2 #f, {#f,#t} 13 2.19  2.071 2.082 2.2   2.239 2.191 2.053 2.084 2.082 2.186 2.232 2.202 2.069 13 2.145 0.066
426 SCPI/9.2 SeqAAMS 45103 0 0 2072 2 #f, {#f,#t} 13 2.242 2.37  2.275 2.268 2.239 2.194 2.24  2.267 2.157 2.198 2.353 2.241 2.127 13 2.244 0.048
427 SCPI/9.2 SeqAAMLS 45103 0 0 2072 2 #f, {#f,#t} 13 2.204 2.158 2.203 2.205 2.258 2.139 2.166 2.144 2.071 2.363 2.243 2.185 2.141 13 2.191 0.051
428 SCPI/9.2 SeqAAMLS-halt 45103 0 0 2072 2 #f, {#f,#t} 13 2.142 2.222 2.092 2.125 2.211 2.246 2.257 2.184 2.283 2.224 2.16  2.134 2.246 13 2.194 0.051
429 SCPI/9.3 SeqAAM 3489 0 0 39 1 {#f,#t} 13 0.043 0.042 0.041 0.041 0.041 0.042 0.042 0.042 0.042 0.041 0.042 0.042 0.042 13 0.042 0    
430 SCPI/9.3 SeqAAMS 3489 0 0 39 1 {#f,#t} 13 0.045 0.045 0.044 0.044 0.044 0.043 0.044 0.044 0.044 0.044 0.045 0.045 0.043 13 0.044 0    
431 SCPI/9.3 SeqAAMLS 3489 0 0 39 1 {#f,#t} 13 0.044 0.042 0.043 0.043 0.043 0.042 0.043 0.043 0.043 0.043 0.043 0.043 0.043 13 0.043 0    
432 SCPI/9.3 SeqAAMLS-halt 3489 0 0 39 1 {#f,#t} 13 0.044 0.044 0.045 0.045 0.045 0.044 0.045 0.044 0.044 0.044 0.044 0.044 0.044 13 0.044 0    
433 SCPI/9.5 SeqAAM 3398 0 0 72 2 #f, {#f,#t} 13 0.036 0.036 0.035 0.036 0.035 0.036 0.035 0.036 0.035 0.035 0.035 0.036 0.035 13 0.035 0    
434 SCPI/9.5 SeqAAMS 3398 0 0 72 2 #f, {#f,#t} 13 0.038 0.038 0.037 0.038 0.037 0.038 0.037 0.038 0.038 0.037 0.037 0.037 0.037 13 0.037 0    
435 SCPI/9.5 SeqAAMLS 3398 0 0 72 2 #f, {#f,#t} 13 0.038 0.036 0.037 0.036 0.036 0.036 0.037 0.036 0.036 0.036 0.038 0.036 0.036 13 0.037 0    
436 SCPI/9.5 SeqAAMLS-halt 3398 0 0 72 2 #f, {#f,#t} 13 0.038 0.038 0.038 0.037 0.038 0.037 0.038 0.037 0.038 0.037 0.038 0.039 0.038 13 0.038 0    
437 SCPI/9.7 SeqAAM 50715 0 0 438 2 #f, {#f,#t} 13 0.867 0.859 0.857 0.866 0.859 0.864 0.858 0.863 0.856 0.861 0.86  0.862 0.852 13 0.86  0.003
438 SCPI/9.7 SeqAAMS 50715 0 0 438 2 #f, {#f,#t} 13 0.944 0.941 0.939 0.94  0.943 0.948 0.943 0.947 0.95  0.951 0.949 0.942 0.945 13 0.945 0.003
439 SCPI/9.7 SeqAAMLS 50715 0 0 438 2 #f, {#f,#t} 13 0.882 0.881 0.88  0.882 0.881 0.877 0.868 0.886 0.877 0.876 0.867 0.88  0.872 13 0.878 0.004
440 SCPI/9.7 SeqAAMLS-halt 50715 0 0 438 2 #f, {#f,#t} 13 0.901 0.886 0.899 0.891 0.906 0.895 0.9   0.899 0.903 0.899 0.905 0.901 0.905 13 0.899 0.004
441 SCPI/9.8 SeqAAM 245668 6 1 1986 2 #f, {#f,#t} 13 6.564 6.5   6.555 6.537 6.524 6.519 6.5   6.52  6.603 6.566 6.599 6.576 6.56  13 6.548 0.029
442 SCPI/9.8 SeqAAMS 245668 6 1 1986 2 #f, {#f,#t} 13 7.116 7.126 7.07  7.05  7.097 7.084 7.033 7.082 7.128 7.161 7.08  7.121 7.061 13 7.093 0.029
443 SCPI/9.8 SeqAAMLS 245668 6 1 1986 2 #f, {#f,#t} 13 6.625 6.633 6.616 6.618 6.677 6.672 6.663 6.585 6.6   6.667 6.571 6.635 6.608 13 6.628 0.027
444 SCPI/9.8 SeqAAMLS-halt 245668 6 1 1986 2 #f, {#f,#t} 13 6.701 6.74  6.745 6.659 6.704 6.729 6.661 6.718 6.782 6.7   6.638 6.653 6.681 13 6.701 0.033
445 Sergey/examples/facehugger SeqAAM 573 0 0 37 1 Int 13 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
446 Sergey/examples/facehugger SeqAAMS 573 0 0 37 1 Int 13 0.004 0.004 0.004 0.005 0.004 0.004 0.004 0.004 0.004 0.004 0.004 0.005 0.004 13 0.004 0    
447 Sergey/examples/facehugger SeqAAMLS 573 0 0 37 1 Int 13 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
448 Sergey/examples/facehugger SeqAAMLS-halt 573 0 0 37 1 Int 13 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
449 Sergey/examples/initial-example SeqAAM 574 0 0 37 1 Int 13 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
450 Sergey/examples/initial-example SeqAAMS 574 0 0 37 1 Int 13 0.005 0.004 0.004 0.005 0.004 0.004 0.004 0.004 0.005 0.004 0.004 0.004 0.004 13 0.004 0    
451 Sergey/examples/initial-example SeqAAMLS 574 0 0 37 1 Int 13 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
452 Sergey/examples/initial-example SeqAAMLS-halt 574 0 0 37 1 Int 13 0.004 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
453 Sergey/gcfa2/blur SeqAAM 188 15 2 6 2 #f, {#f,#t} 13 0.023 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.003 0.003
454 Sergey/gcfa2/blur SeqAAMS 188 15 2 6 2 #f, {#f,#t} 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    
455 Sergey/gcfa2/blur SeqAAMLS 188 15 2 6 2 #f, {#f,#t} 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.002 0    
456 Sergey/gcfa2/blur SeqAAMLS-halt 188 15 2 6 2 #f, {#f,#t} 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    
457 Sergey/gcfa2/eta SeqAAM 10 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
458 Sergey/gcfa2/eta SeqAAMS 10 0 0 1 1 {#f,#t} 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
459 Sergey/gcfa2/eta SeqAAMLS 10 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
460 Sergey/gcfa2/eta SeqAAMLS-halt 10 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
461 Sergey/gcfa2/kcfa2 SeqAAM 101 0 0 2 1 {#f,#t} 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    
462 Sergey/gcfa2/kcfa2 SeqAAMS 101 0 0 2 1 {#f,#t} 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    
463 Sergey/gcfa2/kcfa2 SeqAAMLS 101 0 0 2 1 {#f,#t} 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    
464 Sergey/gcfa2/kcfa2 SeqAAMLS-halt 101 0 0 2 1 {#f,#t} 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    
465 Sergey/gcfa2/kcfa3 SeqAAM 190 0 0 2 1 {#f,#t} 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    
466 Sergey/gcfa2/kcfa3 SeqAAMS 190 0 0 2 1 {#f,#t} 13 0.004 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
467 Sergey/gcfa2/kcfa3 SeqAAMLS 190 0 0 2 1 {#f,#t} 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    
468 Sergey/gcfa2/kcfa3 SeqAAMLS-halt 190 0 0 2 1 {#f,#t} 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    
469 Sergey/gcfa2/loop2 SeqAAM 94 0 0 3 1 Int 13 0.001 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    
470 Sergey/gcfa2/loop2 SeqAAMS 94 0 0 3 1 Int 13 0.001 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    
471 Sergey/gcfa2/loop2 SeqAAMLS 94 0 0 3 1 Int 13 0.001 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    
472 Sergey/gcfa2/loop2 SeqAAMLS-halt 94 0 0 3 1 Int 13 0.001 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    
473 Sergey/gcfa2/mj09 SeqAAM 36 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
474 Sergey/gcfa2/mj09 SeqAAMS 36 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
475 Sergey/gcfa2/mj09 SeqAAMLS 36 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
476 Sergey/gcfa2/mj09 SeqAAMLS-halt 36 0 0 1 1 Int 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
477 Sergey/gcfa2/sat SeqAAM 18728 0 0 672 3 #f, #t, {#f,#t} 13 0.473 0.476 0.477 0.476 0.475 0.475 0.476 0.479 0.475 0.474 0.473 0.478 0.478 13 0.476 0.001
478 Sergey/gcfa2/sat SeqAAMS 18728 0 0 672 3 #f, #t, {#f,#t} 13 0.506 0.503 0.508 0.509 0.511 0.512 0.503 0.506 0.51  0.509 0.506 0.51  0.511 13 0.508 0.003
479 Sergey/gcfa2/sat SeqAAMLS 18728 0 0 672 3 #f, #t, {#f,#t} 13 0.488 0.488 0.485 0.485 0.485 0.486 0.487 0.488 0.482 0.487 0.487 0.491 0.486 13 0.487 0.002
480 Sergey/gcfa2/sat SeqAAMLS-halt 18728 0 0 672 3 #f, #t, {#f,#t} 13 0.492 0.494 0.493 0.493 0.491 0.493 0.498 0.494 0.491 0.494 0.488 0.494 0.492 13 0.493 0.002
481 Sergey/jfp/primtest SeqAAM 243472 6642 1 2439 1 Int 13 2.751 2.734 2.728 2.728 2.723 2.718 2.721 2.727 2.72  2.729 2.709 2.721 2.713 13 2.725 0.007
482 Sergey/jfp/primtest SeqAAMS 243472 6642 1 2439 1 Int 13 3.13  3.115 3.134 3.155 3.133 3.104 3.144 3.139 3.133 3.145 3.14  3.14  3.152 13 3.136 0.01 
483 Sergey/jfp/primtest SeqAAMLS 243472 6642 1 2439 1 Int 13 2.782 2.782 2.786 2.781 2.782 2.783 2.794 2.783 2.785 2.771 2.774 2.758 2.779 13 2.78  0.006
484 Sergey/jfp/primtest SeqAAMLS-halt 243472 6642 1 2439 1 Int 13 2.83  2.815 2.823 2.825 2.825 2.819 2.821 2.808 2.813 2.826 2.807 2.807 2.818 13 2.818 0.006
485 Sergey/jfp/rsa SeqAAM 214420 9000 4 4776 1 #f 13 2.853 2.857 2.84  2.848 2.828 2.842 2.841 2.819 2.82  2.832 2.831 2.837 2.847 13 2.838 0.01 
486 Sergey/jfp/rsa SeqAAMS 214420 9000 4 4776 1 #f 13 3.039 3.015 2.992 2.987 3.004 3.004 3.005 3.016 2.984 2.988 3.01  3.014 3.019 13 3.006 0.012
487 Sergey/jfp/rsa SeqAAMLS 214420 9000 4 4776 1 #f 13 2.889 2.877 2.889 2.889 2.889 2.876 2.862 2.892 2.903 2.872 2.873 2.859 2.873 13 2.88  0.011
488 Sergey/jfp/rsa SeqAAMLS-halt 214420 9000 4 4776 1 #f 13 2.917 2.908 2.924 2.931 2.929 2.914 2.919 2.919 2.922 2.938 2.913 2.926 2.919 13 2.921 0.006
489 Sergey/kcfa/eta SeqAAM 47 0 0 4 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
490 Sergey/kcfa/eta SeqAAMS 47 0 0 4 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
491 Sergey/kcfa/eta SeqAAMLS 47 0 0 4 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
492 Sergey/kcfa/eta SeqAAMLS-halt 47 0 0 4 2 #f, {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
493 Sergey/kcfa/fermat SeqAAM 270306 6642 1 2439 1 #f 13 2.838 2.828 2.826 2.82  2.825 2.819 2.828 2.824 2.817 2.828 2.825 2.829 2.821 13 2.825 0.004
494 Sergey/kcfa/fermat SeqAAMS 270306 6642 1 2439 1 #f 13 3.326 3.282 3.262 3.216 3.224 3.173 3.216 3.185 3.209 3.207 3.154 3.197 3.188 13 3.218 0.034
495 Sergey/kcfa/fermat SeqAAMLS 270306 6642 1 2439 1 #f 13 2.828 2.834 2.823 2.851 2.84  2.836 2.838 2.819 2.838 2.86  2.831 2.803 2.802 13 2.831 0.012
496 Sergey/kcfa/fermat SeqAAMLS-halt 270306 6642 1 2439 1 #f 13 2.869 2.848 2.84  2.852 2.854 2.847 2.85  2.848 2.839 2.838 2.836 2.855 2.866 13 2.849 0.008
497 Sergey/kcfa/indirect-hol SeqAAM 19 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
498 Sergey/kcfa/indirect-hol SeqAAMS 19 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
499 Sergey/kcfa/indirect-hol SeqAAMLS 19 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
500 Sergey/kcfa/indirect-hol SeqAAMLS-halt 19 0 0 1 1 {#f,#t} 13 0.002 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
501 Sergey/kcfa/kcfa-worst-case-1 SeqAAM 12 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
502 Sergey/kcfa/kcfa-worst-case-1 SeqAAMS 12 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
503 Sergey/kcfa/kcfa-worst-case-1 SeqAAMLS 12 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
504 Sergey/kcfa/kcfa-worst-case-1 SeqAAMLS-halt 12 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
505 Sergey/kcfa/kcfa-worst-case-10 SeqAAM 5829 0 0 1 1 {#f,#t} 13 0.065 0.065 0.065 0.065 0.065 0.065 0.064 0.065 0.065 0.068 0.069 0.067 0.066 13 0.066 0.001
506 Sergey/kcfa/kcfa-worst-case-10 SeqAAMS 5829 0 0 1 1 {#f,#t} 13 0.083 0.082 0.081 0.081 0.082 0.083 0.083 0.082 0.082 0.082 0.082 0.082 0.082 13 0.082 0    
507 Sergey/kcfa/kcfa-worst-case-10 SeqAAMLS 5829 0 0 1 1 {#f,#t} 13 0.068 0.068 0.067 0.068 0.068 0.069 0.068 0.069 0.068 0.069 0.067 0.068 0.068 13 0.068 0    
508 Sergey/kcfa/kcfa-worst-case-10 SeqAAMLS-halt 5829 0 0 1 1 {#f,#t} 13 0.071 0.07  0.07  0.07  0.07  0.07  0.07  0.07  0.07  0.07  0.07  0.07  0.07  13 0.07  0    
509 Sergey/kcfa/kcfa-worst-case-16 SeqAAM 32792 0 0 1 1 {#f,#t} 13 0.453 0.448 0.452 0.458 0.453 0.45  0.446 0.449 0.457 0.452 0.452 0.445 0.462 13 0.452 0.004
510 Sergey/kcfa/kcfa-worst-case-16 SeqAAMS 32792 0 0 1 1 {#f,#t} 13 0.506 0.504 0.499 0.508 0.509 0.501 0.498 0.509 0.507 0.506 0.494 0.501 0.507 13 0.504 0.004
511 Sergey/kcfa/kcfa-worst-case-16 SeqAAMLS 32792 0 0 1 1 {#f,#t} 13 0.459 0.456 0.456 0.468 0.468 0.465 0.459 0.463 0.465 0.463 0.456 0.462 0.472 13 0.463 0.004
512 Sergey/kcfa/kcfa-worst-case-16 SeqAAMLS-halt 32792 0 0 1 1 {#f,#t} 13 0.463 0.466 0.466 0.471 0.476 0.467 0.463 0.469 0.477 0.466 0.467 0.462 0.475 13 0.468 0.004
513 Sergey/kcfa/kcfa-worst-case-2 SeqAAM 39 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
514 Sergey/kcfa/kcfa-worst-case-2 SeqAAMS 39 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0.001 0     0     0     0     0.001 0.001 0     13 0.001 0    
515 Sergey/kcfa/kcfa-worst-case-2 SeqAAMLS 39 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0.001 0     0     13 0.001 0    
516 Sergey/kcfa/kcfa-worst-case-2 SeqAAMLS-halt 39 0 0 1 1 {#f,#t} 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0.001 0    
517 Sergey/kcfa/kcfa-worst-case-20 SeqAAM 75879 0 0 1 1 {#f,#t} 13 1.186 1.181 1.188 1.177 1.188 1.182 1.199 1.175 1.185 1.186 1.171 1.193 1.194 13 1.185 0.006
518 Sergey/kcfa/kcfa-worst-case-20 SeqAAMS 75879 0 0 1 1 {#f,#t} 13 1.251 1.303 1.255 1.277 1.261 1.275 1.264 1.254 1.274 1.272 1.27  1.281 1.304 13 1.272 0.012
519 Sergey/kcfa/kcfa-worst-case-20 SeqAAMLS 75879 0 0 1 1 {#f,#t} 13 1.207 1.211 1.223 1.197 1.205 1.229 1.195 1.206 1.199 1.194 1.251 1.209 1.203 13 1.21  0.011
520 Sergey/kcfa/kcfa-worst-case-20 SeqAAMLS-halt 75879 0 0 1 1 {#f,#t} 13 1.229 1.2   1.221 1.207 1.215 1.216 1.236 1.222 1.228 1.226 1.214 1.231 1.226 13 1.221 0.008
521 Sergey/kcfa/kcfa-worst-case-3 SeqAAM 110 0 0 1 1 {#f,#t} 13 0.003 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    
522 Sergey/kcfa/kcfa-worst-case-3 SeqAAMS 110 0 0 1 1 {#f,#t} 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    
523 Sergey/kcfa/kcfa-worst-case-3 SeqAAMLS 110 0 0 1 1 {#f,#t} 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    
524 Sergey/kcfa/kcfa-worst-case-3 SeqAAMLS-halt 110 0 0 1 1 {#f,#t} 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    
525 Sergey/kcfa/kcfa-worst-case-32 SeqAAM 457324 0 0 1 1 {#f,#t} 13 9.673 9.625 9.796 9.686 9.747 9.758 9.705 9.806 9.658 9.779 9.712 9.703 9.755 13 9.723 0.046
526 Sergey/kcfa/kcfa-worst-case-32 SeqAAMS 457324 0 0 1 1 {#f,#t} 13 10.135 10.076 9.972 10.022 10.062 9.896 9.94  9.877 10.093 10.003 10.011 10.024 10.002 13 10.009 0.056
527 Sergey/kcfa/kcfa-worst-case-32 SeqAAMLS 457324 0 0 1 1 {#f,#t} 13 9.802 9.83  9.812 9.787 9.851 9.85  9.823 9.819 9.783 9.874 9.854 9.979 9.799 13 9.836 0.035
528 Sergey/kcfa/kcfa-worst-case-32 SeqAAMLS-halt 457324 0 0 1 1 {#f,#t} 13 9.816 9.676 9.736 9.75  9.744 9.775 9.92  9.817 9.909 9.862 9.828 9.946 9.872 13 9.819 0.065
529 Sergey/kcfa/kcfa-worst-case-4 SeqAAM 259 0 0 1 1 {#f,#t} 13 0.003 0.002 0.002 0.002 0.003 0.003 0.002 0.002 0.002 0.002 0.003 0.002 0.002 13 0.003 0    
530 Sergey/kcfa/kcfa-worst-case-4 SeqAAMS 259 0 0 1 1 {#f,#t} 13 0.004 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
531 Sergey/kcfa/kcfa-worst-case-4 SeqAAMLS 259 0 0 1 1 {#f,#t} 13 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
532 Sergey/kcfa/kcfa-worst-case-4 SeqAAMLS-halt 259 0 0 1 1 {#f,#t} 13 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 0.003 13 0.003 0    
533 Sergey/kcfa/kcfa-worst-case-40 SeqAAM 1084654 0 0 1 1 {#f,#t} 13 26.862 26.649 26.68  26.957 26.559 26.4   26.675 26.581 26.774 26.589 26.222 27.609 27.719 13 26.79  0.305
534 Sergey/kcfa/kcfa-worst-case-40 SeqAAMS 1084654 0 0 1 1 {#f,#t} 13 28.436 28.451 28.497 28.634 28.641 28.636 28.559 28.511 28.475 28.564 28.477 28.647 28.335 13 28.528 0.079
535 Sergey/kcfa/kcfa-worst-case-40 SeqAAMLS 1084654 0 0 1 1 {#f,#t} 13 27.936 27.939 28.075 28.046 27.982 27.762 27.906 28.058 27.993 28.17  27.988 27.918 28.081 13 27.989 0.076
536 Sergey/kcfa/kcfa-worst-case-40 SeqAAMLS-halt 1084654 0 0 1 1 {#f,#t} 13 28.184 28.031 28.115 27.941 27.989 28.227 28.126 28.069 28.033 28.04  28.249 28.105 27.915 13 28.079 0.082
537 Sergey/kcfa/kcfa-worst-case-5 SeqAAM 529 0 0 1 1 {#f,#t} 13 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 13 0.006 0    
538 Sergey/kcfa/kcfa-worst-case-5 SeqAAMS 529 0 0 1 1 {#f,#t} 13 0.008 0.007 0.008 0.007 0.007 0.007 0.007 0.007 0.007 0.007 0.007 0.007 0.007 13 0.007 0    
539 Sergey/kcfa/kcfa-worst-case-5 SeqAAMLS 529 0 0 1 1 {#f,#t} 13 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 13 0.006 0    
540 Sergey/kcfa/kcfa-worst-case-5 SeqAAMLS-halt 529 0 0 1 1 {#f,#t} 13 0.007 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 0.006 13 0.006 0    
541 Sergey/kcfa/kcfa-worst-case-6 SeqAAM 972 0 0 1 1 {#f,#t} 13 0.011 0.01  0.01  0.01  0.01  0.01  0.011 0.011 0.01  0.01  0.011 0.01  0.01  13 0.011 0    
542 Sergey/kcfa/kcfa-worst-case-6 SeqAAMS 972 0 0 1 1 {#f,#t} 13 0.016 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    
543 Sergey/kcfa/kcfa-worst-case-6 SeqAAMLS 972 0 0 1 1 {#f,#t} 13 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 13 0.011 0    
544 Sergey/kcfa/kcfa-worst-case-6 SeqAAMLS-halt 972 0 0 1 1 {#f,#t} 13 0.012 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 0.011 13 0.011 0    
545 Sergey/kcfa/kcfa-worst-case-7 SeqAAM 1649 0 0 1 1 {#f,#t} 13 0.019 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 0.018 13 0.018 0    
546 Sergey/kcfa/kcfa-worst-case-7 SeqAAMS 1649 0 0 1 1 {#f,#t} 13 0.025 0.024 0.024 0.024 0.024 0.024 0.024 0.024 0.024 0.024 0.024 0.024 0.024 13 0.024 0    
547 Sergey/kcfa/kcfa-worst-case-7 SeqAAMLS 1649 0 0 1 1 {#f,#t} 13 0.02  0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 13 0.019 0    
548 Sergey/kcfa/kcfa-worst-case-7 SeqAAMLS-halt 1649 0 0 1 1 {#f,#t} 13 0.02  0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 0.019 13 0.019 0    
549 Sergey/kcfa/kcfa-worst-case-8 SeqAAM 2630 0 0 1 1 {#f,#t} 13 0.031 0.03  0.03  0.03  0.03  0.03  0.03  0.03  0.03  0.03  0.03  0.03  0.03  13 0.03  0    
550 Sergey/kcfa/kcfa-worst-case-8 SeqAAMS 2630 0 0 1 1 {#f,#t} 13 0.04  0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 0.039 13 0.039 0    
551 Sergey/kcfa/kcfa-worst-case-8 SeqAAMLS 2630 0 0 1 1 {#f,#t} 13 0.031 0.031 0.031 0.031 0.031 0.031 0.031 0.031 0.031 0.031 0.031 0.031 0.031 13 0.031 0    
552 Sergey/kcfa/kcfa-worst-case-8 SeqAAMLS-halt 2630 0 0 1 1 {#f,#t} 13 0.033 0.032 0.032 0.032 0.032 0.032 0.032 0.032 0.032 0.032 0.032 0.032 0.032 13 0.032 0    
553 Sergey/kcfa/kcfa-worst-case-9 SeqAAM 3994 0 0 1 1 {#f,#t} 13 0.047 0.047 0.047 0.047 0.047 0.047 0.047 0.047 0.047 0.047 0.047 0.047 0.047 13 0.047 0    
554 Sergey/kcfa/kcfa-worst-case-9 SeqAAMS 3994 0 0 1 1 {#f,#t} 13 0.06  0.059 0.06  0.059 0.059 0.059 0.059 0.059 0.059 0.059 0.059 0.059 0.059 13 0.059 0    
555 Sergey/kcfa/kcfa-worst-case-9 SeqAAMLS 3994 0 0 1 1 {#f,#t} 13 0.049 0.048 0.048 0.048 0.048 0.048 0.048 0.048 0.047 0.048 0.048 0.048 0.048 13 0.048 0    
556 Sergey/kcfa/kcfa-worst-case-9 SeqAAMLS-halt 3994 0 0 1 1 {#f,#t} 13 0.05  0.049 0.049 0.049 0.049 0.049 0.049 0.049 0.049 0.05  0.049 0.049 0.05  13 0.049 0    
557 Sergey/kcfa/map-pattern SeqAAM 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
558 Sergey/kcfa/map-pattern SeqAAMS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
559 Sergey/kcfa/map-pattern SeqAAMLS 2 0 0 1 1 #f 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
560 Sergey/kcfa/map-pattern 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    
561 Sergey/kcfa/rsa SeqAAM 300388 9000 4 4776 1 #f 13 3.53  3.487 3.462 3.425 3.422 3.417 3.426 3.415 3.411 3.425 3.395 3.395 3.398 13 3.431 0.029
562 Sergey/kcfa/rsa SeqAAMS 300388 9000 4 4776 1 #f 13 3.625 3.627 3.615 3.625 3.619 3.665 3.626 3.667 3.629 3.648 3.61  3.605 3.654 13 3.632 0.016
563 Sergey/kcfa/rsa SeqAAMLS 300388 9000 4 4776 1 #f 13 3.464 3.452 3.482 3.495 3.47  3.489 3.489 3.462 3.476 3.464 3.479 3.473 3.472 13 3.474 0.01 
564 Sergey/kcfa/rsa SeqAAMLS-halt 300388 9000 4 4776 1 #f 13 3.476 3.488 3.504 3.471 3.487 3.5   3.489 3.499 3.501 3.491 3.491 3.496 3.469 13 3.489 0.009
565 Sergey/kcfa/sat-brute SeqAAM 57108 0 0 870 1 #f 13 1.156 1.158 1.162 1.162 1.163 1.159 1.159 1.166 1.162 1.16  1.157 1.16  1.158 13 1.16  0.002
566 Sergey/kcfa/sat-brute SeqAAMS 57108 0 0 870 1 #f 13 1.318 1.328 1.323 1.332 1.338 1.323 1.32  1.327 1.334 1.322 1.328 1.315 1.341 13 1.327 0.006
567 Sergey/kcfa/sat-brute SeqAAMLS 57108 0 0 870 1 #f 13 1.184 1.191 1.189 1.183 1.187 1.187 1.19  1.185 1.196 1.178 1.193 1.184 1.19  13 1.187 0.004
568 Sergey/kcfa/sat-brute SeqAAMLS-halt 57108 0 0 870 1 #f 13 1.216 1.218 1.217 1.22  1.219 1.222 1.219 1.216 1.218 1.213 1.218 1.22  1.22  13 1.218 0.002
569 Sergey/kcfa/simple-id SeqAAM 9 0 0 1 1 #<clo> 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
570 Sergey/kcfa/simple-id SeqAAMS 9 0 0 1 1 #<clo> 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
571 Sergey/kcfa/simple-id SeqAAMLS 9 0 0 1 1 #<clo> 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
572 Sergey/kcfa/simple-id SeqAAMLS-halt 9 0 0 1 1 #<clo> 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
573 Sergey/kcfa/solovay-strassen SeqAAM 698817 18162 1 4878 1 #f 13 8.287 8.285 8.217 8.168 8.188 8.174 8.162 8.208 8.164 8.187 8.205 8.171 8.222 13 8.203 0.032
574 Sergey/kcfa/solovay-strassen SeqAAMS 698817 18162 1 4878 1 #f 13 9.643 9.608 9.683 9.701 9.686 9.616 9.695 9.684 9.691 9.617 9.701 9.625 9.717 13 9.667 0.034
575 Sergey/kcfa/solovay-strassen SeqAAMLS 698817 18162 1 4878 1 #f 13 8.382 8.399 8.373 8.407 8.379 8.381 8.329 8.32  8.357 8.338 8.376 8.41  8.398 13 8.373 0.023
576 Sergey/kcfa/solovay-strassen SeqAAMLS-halt 698817 18162 1 4878 1 #f 13 8.411 8.433 8.433 8.404 8.412 8.376 8.4   8.423 8.423 8.41  8.454 8.418 8.44  13 8.418 0.015
577 SigScheme/arithint SeqAAM 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
578 SigScheme/arithint SeqAAMS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
579 SigScheme/arithint SeqAAMLS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
580 SigScheme/arithint SeqAAMLS-halt 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
581 SigScheme/case SeqAAM 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
582 SigScheme/case SeqAAMS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
583 SigScheme/case SeqAAMLS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
584 SigScheme/case SeqAAMLS-halt 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
585 SigScheme/let-loop SeqAAM 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
586 SigScheme/let-loop SeqAAMS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
587 SigScheme/let-loop SeqAAMLS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
588 SigScheme/let-loop SeqAAMLS-halt 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
589 SigScheme/loop SeqAAM 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
590 SigScheme/loop SeqAAMS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
591 SigScheme/loop SeqAAMLS 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
592 SigScheme/loop SeqAAMLS-halt 4 1 1 0 0 13 0     0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
593 SigScheme/mem SeqAAM 6 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
594 SigScheme/mem SeqAAMS 6 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
595 SigScheme/mem SeqAAMLS 6 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
596 SigScheme/mem SeqAAMLS-halt 6 1 1 0 0 13 0.001 0     0     0     0     0     0     0     0     0     0     0     0     13 0     0    
597 SigScheme/rec SeqAAM 13093 0 0 473 1 #<clo> 13 0.178 0.176 0.178 0.177 0.175 0.176 0.177 0.177 0.177 0.177 0.177 0.174 0.177 13 0.177 0.001
598 SigScheme/rec SeqAAMS 13093 0 0 473 1 #<clo> 13 0.17  0.17  0.17  0.172 0.168 0.17  0.169 0.168 0.168 0.171 0.169 0.172 0.17  13 0.17  0.001
599 SigScheme/rec SeqAAMLS 13093 0 0 473 1 #<clo> 13 0.179 0.179 0.179 0.18  0.181 0.18  0.18  0.18  0.181 0.18  0.182 0.181 0.181 13 0.18  0.001
600 SigScheme/rec SeqAAMLS-halt 13093 0 0 473 1 #<clo> 13 0.188 0.187 0.188 0.186 0.187 0.187 0.188 0.188 0.187 0.188 0.188 0.186 0.187 13 0.187 0.001