Resumed benchmarks of different structures for the worklist (Scala-Par-AM 01.00.02)

TypeSet lattice – Classical address – List from Scheme-examples/ 1 second≤…≤ 10 minutes – Default step – Sequential SeqAAM* – p = 1 – 13 repetitions (3 first skipped) (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 β # initial chain # states # error states # error values # final states # final values Final values # words # ! # # states /s Ideal time Average time Time error Time min Time max Ideal abstract speedup Chain abstract speedup Abstract speedup ideal weighted Abstract speedup chain weighted Average speedup Speedup error Speedup min Speedup max Ideal abstract efficiency Chain abstract efficiency Average efficiency Efficiency error Efficiency min Efficiency max Minimal abstract overhead Chain abstract overhead Average overhead Overhead error Overhead min Overhead max
1 AlgoDat1/abstrct SeqAAM 0.013 16 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 244 20 10 56045.605 0.016 0.022 0.004 0.018 0.029 1     1     0.734 0.734 0.734 0.108 0.548 0.876 1     1     0.725 0     0.725 0.725 0     0     0.006 0     0.006 0.006
2 AlgoDat1/abstrct SeqAAMS 0.013 16 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 244 20 10 67482.692 0.016 0.018 0     0.018 0.019 1     1     0.873 0.873 0.873 0.014 0.851 0.893 1     1     0.873 0     0.873 0.873 0     0     0.002 0     0.002 0.002
3 AlgoDat1/abstrct SeqAAMLS 0.013 16 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 244 20 10 77299.665 0.016 0.016 0     0.016 0.017 1     1     1     1     1     0.017 0.974 1.024 1     1     1     0     1     1     0     0     0     0     0     0    
4 AlgoDat1/abstrct SeqAAMLS-halt 0.013 16 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 244 20 10 77762.577 0.016 0.016 0     0.016 0.016 1     1     1.006 1.006 1.006 0.015 0.982 1.032 1     1     1.006 0     1.006 1.006 0     0     -0     0     -0     -0    
5 AlgoDat1/bst SeqAAM 1     2 2 0 0 1 1 #f 527 21 10 14384.215 0     0     0     0     0     1     1     0.987 0.987 0.987 0.076 0.84  1.087 1     1     0.984 0     0.984 0.984 0     0     0     0     0     0    
6 AlgoDat1/bst SeqAAMS 1     2 2 0 0 1 1 #f 527 21 10 15019.582 0     0     0     0     0     1     1     1.028 1.028 1.028 0.022 0.98  1.051 1     1     1.028 0     1.028 1.028 0     0     -0     0     -0     -0    
7 AlgoDat1/bst SeqAAMLS 1     2 2 0 0 1 1 #f 527 21 10 14613.463 0     0     0     0     0     1     1     1.002 1.002 1.002 0.066 0.868 1.089 1     1     1     0     1     1     0     0     0     0     0     0    
8 AlgoDat1/bst SeqAAMLS-halt 1     2 2 0 0 1 1 #f 527 21 10 13695.075 0     0     0     0     0     1     1     0.938 0.938 0.938 0.031 0.864 0.97  1     1     0.937 0     0.937 0.937 0     0     0     0     0     0    
9 AlgoDat1/btree SeqAAM 1     2 2 0 0 1 1 #f 106 10 10 14438.974 0     0     0     0     0     1     1     0.925 0.925 0.925 0.094 0.766 1.04  1     1     0.92  0     0.92  0.92  0     0     0     0     0     0    
10 AlgoDat1/btree SeqAAMS 1     2 2 0 0 1 1 #f 106 10 10 14359.471 0     0     0     0     0     1     1     0.917 0.917 0.917 0.065 0.817 0.987 1     1     0.915 0     0.915 0.915 0     0     0     0     0     0    
11 AlgoDat1/btree SeqAAMLS 1     2 2 0 0 1 1 #f 106 10 10 15692.872 0     0     0     0     0     1     1     1.001 1.001 1.001 0.038 0.916 1.061 1     1     1     0     1     1     0     0     0     0     0     0    
12 AlgoDat1/btree SeqAAMLS-halt 1     2 2 0 0 1 1 #f 106 10 10 14014.504 0     0     0     0     0     1     1     0.894 0.894 0.894 0.045 0.763 0.924 1     1     0.893 0     0.893 0.893 0     0     0     0     0     0    
13 AlgoDat1/bubsort SeqAAM 0.072 13 181 0 0 5 1 VectorAddress(@vector-Time()) 99 3 10 79090.175 0.002 0.002 0     0.002 0.002 1     1     0.901 0.901 0.901 0.019 0.869 0.941 1     1     0.901 0     0.901 0.901 0     0     0     0     0     0    
14 AlgoDat1/bubsort SeqAAMS 0.072 13 181 0 0 5 1 VectorAddress(@vector-Time()) 99 3 10 81120.71  0.002 0.002 0     0.002 0.003 1     1     0.926 0.926 0.926 0.05  0.813 1.005 1     1     0.924 0     0.924 0.924 0     0     0     0     0     0    
15 AlgoDat1/bubsort SeqAAMLS 0.072 13 181 0 0 5 1 VectorAddress(@vector-Time()) 99 3 10 87775.395 0.002 0.002 0     0.002 0.002 1     1     1.001 1.001 1.001 0.038 0.906 1.04  1     1     1     0     1     1     0     0     0     0     0     0    
16 AlgoDat1/bubsort SeqAAMLS-halt 0.072 13 181 0 0 5 1 VectorAddress(@vector-Time()) 99 3 10 98201.699 0.002 0.002 0     0.002 0.002 1     1     1.123 1.123 1.123 0.099 0.985 1.256 1     1     1.119 0     1.119 1.119 0     0     -0     0     -0     -0    
17 AlgoDat1/heap SeqAAM 0.008 15 1936 276 10 20 1 VectorAddress(@vector-Time()) 232 4 10 102283.494 0.014 0.019 0.002 0.016 0.023 1     1     0.748 0.748 0.748 0.079 0.605 0.861 1     1     0.743 0     0.743 0.743 0     0     0.005 0     0.005 0.005
18 AlgoDat1/heap SeqAAMS 0.008 15 1936 276 10 20 1 VectorAddress(@vector-Time()) 232 4 10 120183.906 0.014 0.016 0     0.015 0.017 1     1     0.874 0.874 0.874 0.026 0.819 0.911 1     1     0.874 0     0.874 0.874 0     0     0.002 0     0.002 0.002
19 AlgoDat1/heap SeqAAMLS 0.008 15 1936 276 10 20 1 VectorAddress(@vector-Time()) 232 4 10 137585.473 0.014 0.014 0     0.014 0.015 1     1     1     1     1     0.018 0.962 1.021 1     1     1     0     1     1     0     0     0     0     0     0    
20 AlgoDat1/heap SeqAAMLS-halt 0.008 15 1936 276 10 20 1 VectorAddress(@vector-Time()) 232 4 10 136961.748 0.014 0.014 0     0.014 0.014 1     1     0.996 0.996 0.996 0.008 0.979 1.007 1     1     0.995 0     0.995 0.995 0     0     0     0     0     0    
21 AlgoDat1/inssort SeqAAM 0.076 15 198 0 0 4 1 VectorAddress(@vector-Time()) 92 2 10 145262.974 0.001 0.001 0     0.001 0.001 1     1     1.01  1.01  1.01  0.012 0.995 1.027 1     1     1.01  0     1.01  1.01  0     0     -0     0     -0     -0    
22 AlgoDat1/inssort SeqAAMS 0.076 15 198 0 0 4 1 VectorAddress(@vector-Time()) 92 2 10 137066.442 0.001 0.001 0     0.001 0.001 1     1     0.953 0.953 0.953 0.011 0.932 0.967 1     1     0.953 0     0.953 0.953 0     0     0     0     0     0    
23 AlgoDat1/inssort SeqAAMLS 0.076 15 198 0 0 4 1 VectorAddress(@vector-Time()) 92 2 10 143810.745 0.001 0.001 0     0.001 0.001 1     1     1.001 1.001 1.001 0.034 0.919 1.03  1     1     1     0     1     1     0     0     0     0     0     0    
24 AlgoDat1/inssort SeqAAMLS-halt 0.076 15 198 0 0 4 1 VectorAddress(@vector-Time()) 92 2 10 145071.886 0.001 0.001 0     0.001 0.001 1     1     1.009 1.009 1.009 0.035 0.927 1.052 1     1     1.009 0     1.009 1.009 0     0     -0     0     -0     -0    
25 AlgoDat1/qsort SeqAAM 0     14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 192 2 10 86800.705 24.037 23.889 0.065 23.79  23.975 1     1     1.006 1.006 1.006 0.003 1.003 1.01  1     1     1.006 0     1.006 1.006 0     0     -0.148 0     -0.148 -0.148
26 AlgoDat1/qsort SeqAAMS 0     14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 192 2 10 71923.397 24.037 28.83  0.183 28.525 29.074 1     1     0.834 0.834 0.834 0.005 0.827 0.843 1     1     0.834 0     0.834 0.834 0     0     4.793 0     4.793 4.793
27 AlgoDat1/qsort SeqAAMLS 0     14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 192 2 10 86266.028 24.037 24.037 0.107 23.841 24.184 1     1     1     1     1     0.004 0.994 1.008 1     1     1     0     1     1     0     0     0     0     0     0    
28 AlgoDat1/qsort SeqAAMLS-halt 0     14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 192 2 10 84705.148 24.037 24.48  0.093 24.353 24.687 1     1     0.982 0.982 0.982 0.004 0.974 0.987 1     1     0.982 0     0.982 0.982 0     0     0.443 0     0.443 0.443
29 AlgoDat1/queue SeqAAM 1     2 2 0 0 1 1 #f 95 5 10 20925.23  0     0     0     0     0     1     1     1.055 1.055 1.055 0.045 0.961 1.136 1     1     1.054 0     1.054 1.054 0     0     -0     0     -0     -0    
30 AlgoDat1/queue SeqAAMS 1     2 2 0 0 1 1 #f 95 5 10 19556.307 0     0     0     0     0     1     1     0.987 0.987 0.987 0.058 0.832 1.05  1     1     0.985 0     0.985 0.985 0     0     0     0     0     0    
31 AlgoDat1/queue SeqAAMLS 1     2 2 0 0 1 1 #f 95 5 10 19859.829 0     0     0     0     0     1     1     1     1     1     0.03  0.926 1.047 1     1     1     0     1     1     0     0     0     0     0     0    
32 AlgoDat1/queue SeqAAMLS-halt 1     2 2 0 0 1 1 #f 95 5 10 17218.031 0     0     0     0     0     1     1     0.867 0.867 0.867 0.029 0.815 0.908 1     1     0.867 0     0.867 0.867 0     0     0     0     0     0    
33 AlgoDat1/quick SeqAAM 0     11 175651 2184 1 1 1 {#f,#t} 91 0 10 19136.173 9.512 9.179 0.027 9.13  9.217 1     1     1.036 1.036 1.036 0.003 1.032 1.042 1     1     1.036 0     1.036 1.036 0     0     -0.333 0     -0.333 -0.333
34 AlgoDat1/quick SeqAAMS 0     11 175651 2184 1 1 1 {#f,#t} 91 0 10 18289.533 9.512 9.604 0.024 9.558 9.65  1     1     0.99  0.99  0.99  0.002 0.986 0.995 1     1     0.99  0     0.99  0.99  0     0     0.092 0     0.092 0.092
35 AlgoDat1/quick SeqAAMLS 0     11 175651 2184 1 1 1 {#f,#t} 91 0 10 18466.84  9.512 9.512 0.02  9.481 9.555 1     1     1     1     1     0.002 0.995 1.003 1     1     1     0     1     1     0     0     0     0     0     0    
36 AlgoDat1/quick SeqAAMLS-halt 0     11 175651 2184 1 1 1 {#f,#t} 91 0 10 18319.279 9.512 9.588 0.014 9.57  9.619 1     1     0.992 0.992 0.992 0.001 0.989 0.994 1     1     0.992 0     0.992 0.992 0     0     0.077 0     0.077 0.077
37 AlgoDat1/selsort SeqAAM 0.05  15 298 0 0 5 1 VectorAddress(@vector-Time()) 103 2 10 179396.807 0.002 0.002 0     0.002 0.002 1     1     1.026 1.026 1.026 0.006 1.012 1.035 1     1     1.026 0     1.026 1.026 0     0     -0     0     -0     -0    
38 AlgoDat1/selsort SeqAAMS 0.05  15 298 0 0 5 1 VectorAddress(@vector-Time()) 103 2 10 139298.031 0.002 0.002 0     0.002 0.002 1     1     0.798 0.798 0.798 0.037 0.744 0.851 1     1     0.797 0     0.797 0.797 0     0     0     0     0     0    
39 AlgoDat1/selsort SeqAAMLS 0.05  15 298 0 0 5 1 VectorAddress(@vector-Time()) 103 2 10 174851.199 0.002 0.002 0     0.002 0.002 1     1     1     1     1     0.008 0.987 1.009 1     1     1     0     1     1     0     0     0     0     0     0    
40 AlgoDat1/selsort SeqAAMLS-halt 0.05  15 298 0 0 5 1 VectorAddress(@vector-Time()) 103 2 10 172544.16  0.002 0.002 0     0.002 0.002 1     1     0.987 0.987 0.987 0.012 0.97  1.014 1     1     0.987 0     0.987 0.987 0     0     0     0     0     0    
41 AlgoDat1/stspaceCODE SeqAAM 1     2 2 0 0 1 1 #f 386 5 10 20199.633 0     0     0     0     0     1     1     1.003 1.003 1.003 0.045 0.917 1.076 1     1     1.002 0     1.002 1.002 0     0     -0     0     -0     -0    
42 AlgoDat1/stspaceCODE SeqAAMS 1     2 2 0 0 1 1 #f 386 5 10 17328.965 0     0     0     0     0     1     1     0.902 0.902 0.902 0.18  0.394 1.033 1     1     0.859 0     0.859 0.859 0     0     0     0     0     0    
43 AlgoDat1/stspaceCODE SeqAAMLS 1     2 2 0 0 1 1 #f 386 5 10 20165.153 0     0     0     0     0     1     1     1     1     1     0.021 0.951 1.03  1     1     1     0     1     1     0     0     0     0     0     0    
44 AlgoDat1/stspaceCODE SeqAAMLS-halt 1     2 2 0 0 1 1 #f 386 5 10 16191.828 0     0     0     0     0     1     1     0.803 0.803 0.803 0.022 0.754 0.832 1     1     0.803 0     0.803 0.803 0     0     0     0     0     0    
45 AlgoDat1/traverse SeqAAM 1     2 2 0 0 1 1 #f 67 0 10 21210.055 0     0     0     0     0     1     1     1.07  1.07  1.07  0.027 1.011 1.111 1     1     1.069 0     1.069 1.069 0     0     -0     0     -0     -0    
46 AlgoDat1/traverse SeqAAMS 1     2 2 0 0 1 1 #f 67 0 10 19608.516 0     0     0     0     0     1     1     0.991 0.991 0.991 0.062 0.826 1.053 1     1     0.989 0     0.989 0.989 0     0     0     0     0     0    
47 AlgoDat1/traverse SeqAAMLS 1     2 2 0 0 1 1 #f 67 0 10 19835.878 0     0     0     0     0     1     1     1     1     1     0.023 0.949 1.032 1     1     1     0     1     1     0     0     0     0     0     0    
48 AlgoDat1/traverse SeqAAMLS-halt 1     2 2 0 0 1 1 #f 67 0 10 16479.854 0     0     0     0     0     1     1     0.831 0.831 0.831 0.019 0.799 0.858 1     1     0.831 0     0.831 0.831 0     0     0     0     0     0    
49 AlgoDat1/DFS/dfs SeqAAM 1     2 2 0 0 1 1 #f 256 13 10 16764.558 0     0     0     0     0     1     1     0.852 0.852 0.852 0.209 0.385 1.021 1     1     0.804 0     0.804 0.804 0     0     0     0     0     0    
50 AlgoDat1/DFS/dfs SeqAAMS 1     2 2 0 0 1 1 #f 256 13 10 21208.098 0     0     0     0     0     1     1     1.017 1.017 1.017 0.027 0.978 1.061 1     1     1.017 0     1.017 1.017 0     0     -0     0     -0     -0    
51 AlgoDat1/DFS/dfs SeqAAMLS 1     2 2 0 0 1 1 #f 256 13 10 20855.492 0     0     0     0     0     1     1     1.001 1.001 1.001 0.034 0.906 1.038 1     1     1     0     1     1     0     0     0     0     0     0    
52 AlgoDat1/DFS/dfs SeqAAMLS-halt 1     2 2 0 0 1 1 #f 256 13 10 16162.805 0     0     0     0     0     1     1     0.776 0.776 0.776 0.036 0.695 0.816 1     1     0.775 0     0.775 0.775 0     0     0     0     0     0    
53 AlgoDat1/shortest/priorityGraf SeqAAM 1     2 2 0 0 1 1 #f 106 0 10 22033.42  0     0     0     0     0     1     1     1.035 1.035 1.035 0.053 0.965 1.101 1     1     1.034 0     1.034 1.034 0     0     -0     0     -0     -0    
54 AlgoDat1/shortest/priorityGraf SeqAAMS 1     2 2 0 0 1 1 #f 106 0 10 20287.206 0     0     0     0     0     1     1     0.953 0.953 0.953 0.048 0.866 1.011 1     1     0.952 0     0.952 0.952 0     0     0     0     0     0    
55 AlgoDat1/shortest/priorityGraf SeqAAMLS 1     2 2 0 0 1 1 #f 106 0 10 21311.215 0     0     0     0     0     1     1     1     1     1     0.026 0.939 1.036 1     1     1     0     1     1     0     0     0     0     0     0    
56 AlgoDat1/shortest/priorityGraf SeqAAMLS-halt 1     2 2 0 0 1 1 #f 106 0 10 16314.558 0     0     0     0     0     1     1     0.766 0.766 0.766 0.035 0.684 0.814 1     1     0.766 0     0.766 0.766 0     0     0     0     0     0    
57 AlgoDat1/shortest/shortestOLD SeqAAM 1     2 2 0 0 1 1 #f 95 0 10 22165.626 0     0     0     0     0     1     1     1.156 1.156 1.156 0.037 1.089 1.202 1     1     1.155 0     1.155 1.155 0     0     -0     0     -0     -0    
58 AlgoDat1/shortest/shortestOLD SeqAAMS 1     2 2 0 0 1 1 #f 95 0 10 17118.305 0     0     0     0     0     1     1     0.982 0.982 0.982 0.238 0.321 1.161 1     1     0.892 0     0.892 0.892 0     0     0     0     0     0    
59 AlgoDat1/shortest/shortestOLD SeqAAMLS 1     2 2 0 0 1 1 #f 95 0 10 19185.002 0     0     0     0     0     1     1     1.01  1.01  1.01  0.139 0.802 1.212 1     1     1     0     1     1     0     0     0     0     0     0    
60 AlgoDat1/shortest/shortestOLD SeqAAMLS-halt 1     2 2 0 0 1 1 #f 95 0 10 17153.085 0     0     0     0     0     1     1     0.895 0.895 0.895 0.037 0.815 0.948 1     1     0.894 0     0.894 0.894 0     0     0     0     0     0    
61 AlgoDat1/stSpace/STSPACEopl SeqAAM 1     4 4 1 1 0 0 645 7 10 30932.148 0     0     0     0     0     1     1     1.086 1.086 1.086 0.03  1.029 1.121 1     1     1.086 0     1.086 1.086 0     0     -0     0     -0     -0    
62 AlgoDat1/stSpace/STSPACEopl SeqAAMS 1     4 4 1 1 0 0 645 7 10 30065.558 0     0     0     0     0     1     1     1.055 1.055 1.055 0.018 1.029 1.082 1     1     1.055 0     1.055 1.055 0     0     -0     0     -0     -0    
63 AlgoDat1/stSpace/STSPACEopl SeqAAMLS 1     4 4 1 1 0 0 645 7 10 28491.307 0     0     0     0     0     1     1     1.007 1.007 1.007 0.101 0.745 1.093 1     1     1     0     1     1     0     0     0     0     0     0    
64 AlgoDat1/stSpace/STSPACEopl SeqAAMLS-halt 1     4 4 1 1 0 0 645 7 10 25818.378 0     0     0     0     0     1     1     0.906 0.906 0.906 0.02  0.875 0.944 1     1     0.906 0     0.906 0.906 0     0     0     0     0     0    
65 Larceny/Gabriel/cpstak SeqAAM 0.005 9 1966 0 0 67 1 Int 56 0 10 54232.432 0.036 0.036 0     0.036 0.037 1     1     1.005 1.005 1.005 0.005 0.994 1.012 1     1     1.005 0     1.005 1.005 0     0     -0     0     -0     -0    
66 Larceny/Gabriel/cpstak SeqAAMS 0.005 9 1966 0 0 67 1 Int 56 0 10 52779.672 0.036 0.037 0     0.036 0.038 1     1     0.978 0.978 0.978 0.012 0.964 1.004 1     1     0.978 0     0.978 0.978 0     0     0.001 0     0.001 0.001
67 Larceny/Gabriel/cpstak SeqAAMLS 0.005 9 1966 0 0 67 1 Int 56 0 10 53969.804 0.036 0.036 0     0.036 0.037 1     1     1     1     1     0.003 0.994 1.006 1     1     1     0     1     1     0     0     0     0     0     0    
68 Larceny/Gabriel/cpstak SeqAAMLS-halt 0.005 9 1966 0 0 67 1 Int 56 0 10 52353.668 0.036 0.038 0     0.037 0.038 1     1     0.97  0.97  0.97  0.006 0.96  0.978 1     1     0.97  0     0.97  0.97  0     0     0.001 0     0.001 0.001
69 Larceny/Gabriel/ctak SeqAAM 1     5 5 1 1 0 0 68 0 10 28362.904 0     0     0     0     0     1     1     1.019 1.019 1.019 0.026 0.985 1.074 1     1     1.018 0     1.018 1.018 0     0     -0     0     -0     -0    
70 Larceny/Gabriel/ctak SeqAAMS 1     5 5 1 1 0 0 68 0 10 27427.603 0     0     0     0     0     1     1     0.986 0.986 0.986 0.046 0.886 1.054 1     1     0.985 0     0.985 0.985 0     0     0     0     0     0    
71 Larceny/Gabriel/ctak SeqAAMLS 1     5 5 1 1 0 0 68 0 10 27848.296 0     0     0     0     0     1     1     1     1     1     0.03  0.946 1.041 1     1     1     0     1     1     0     0     0     0     0     0    
72 Larceny/Gabriel/ctak SeqAAMLS-halt 1     5 5 1 1 0 0 68 0 10 24246.186 0     0     0     0     0     1     1     0.871 0.871 0.871 0.023 0.827 0.907 1     1     0.871 0     0.871 0.871 0     0     0     0     0     0    
73 Larceny/Gabriel/diviter SeqAAM 0.012 7 593 1 1 37 2 #f, {#f,#t} 43 0 10 5921.442 0.099 0.1   0.001 0.099 0.104 1     1     0.987 0.987 0.987 0.014 0.95  1.003 1     1     0.987 0     0.987 0.987 0     0     0.001 0     0.001 0.001
74 Larceny/Gabriel/diviter SeqAAMS 0.012 7 593 1 1 37 2 #f, {#f,#t} 43 0 10 5929.55  0.099 0.1   0.001 0.098 0.102 1     1     0.989 0.989 0.989 0.01  0.973 1.007 1     1     0.989 0     0.989 0.989 0     0     0.001 0     0.001 0.001
75 Larceny/Gabriel/diviter SeqAAMLS 0.012 7 593 1 1 37 2 #f, {#f,#t} 43 0 10 5997.624 0.099 0.099 0.001 0.097 0.1   1     1     1     1     1     0.009 0.987 1.016 1     1     1     0     1     1     0     0     0     0     0     0    
76 Larceny/Gabriel/diviter SeqAAMLS-halt 0.012 7 593 1 1 37 2 #f, {#f,#t} 43 0 10 5975.301 0.099 0.099 0.001 0.098 0.101 1     1     0.996 0.996 0.996 0.01  0.981 1.01  1     1     0.996 0     0.996 0.996 0     0     0     0     0     0    
77 Larceny/Gabriel/divrec SeqAAM 0.013 7 533 1 1 42 2 #f, {#f,#t} 40 0 10 13809.829 0.039 0.039 0     0.038 0.039 1     1     1     1     1     0.005 0.991 1.009 1     1     1     0     1     1     0     0     0     0     0     0    
78 Larceny/Gabriel/divrec SeqAAMS 0.013 7 533 1 1 42 2 #f, {#f,#t} 40 0 10 13713.677 0.039 0.039 0     0.038 0.039 1     1     0.993 0.993 0.993 0.008 0.977 1.006 1     1     0.993 0     0.993 0.993 0     0     0     0     0     0    
79 Larceny/Gabriel/divrec SeqAAMLS 0.013 7 533 1 1 42 2 #f, {#f,#t} 40 0 10 13813.647 0.039 0.039 0     0.038 0.039 1     1     1     1     1     0.01  0.983 1.021 1     1     1     0     1     1     0     0     0     0     0     0    
80 Larceny/Gabriel/divrec SeqAAMLS-halt 0.013 7 533 1 1 42 2 #f, {#f,#t} 40 0 10 13780.566 0.039 0.039 0     0.038 0.039 1     1     0.998 0.998 0.998 0.012 0.979 1.017 1     1     0.998 0     0.998 0.998 0     0     0     0     0     0    
81 Larceny/Gabriel/puzzle SeqAAM 1     24 24 1 1 0 0 553 23 10 52568.577 0     0     0     0     0     1     1     0.999 0.999 0.999 0.042 0.929 1.082 1     1     0.998 0     0.998 0.998 0     0     0     0     0     0    
82 Larceny/Gabriel/puzzle SeqAAMS 1     24 24 1 1 0 0 553 23 10 53001.356 0     0     0     0     0     1     1     1.007 1.007 1.007 0.021 0.982 1.058 1     1     1.006 0     1.006 1.006 0     0     -0     0     -0     -0    
83 Larceny/Gabriel/puzzle SeqAAMLS 1     24 24 1 1 0 0 553 23 10 52660.681 0     0     0     0     0     1     1     1     1     1     0.031 0.956 1.07  1     1     1     0     1     1     0     0     0     0     0     0    
84 Larceny/Gabriel/puzzle SeqAAMLS-halt 1     24 24 1 1 0 0 553 23 10 51916.138 0     0     0     0     0     1     1     0.986 0.986 0.986 0.026 0.947 1.03  1     1     0.986 0     0.986 0.986 0     0     0     0     0     0    
85 Larceny/Gabriel/takl SeqAAM 0     5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 72 0 10 77968.172 32.441 32.181 0.11  31.911 32.294 1     1     1.008 1.008 1.008 0.003 1.005 1.017 1     1     1.008 0     1.008 1.008 0     0     -0.26  0     -0.26  -0.26 
86 Larceny/Gabriel/takl SeqAAMS 0     5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 72 0 10 68730.94  32.441 36.507 0.189 36.244 36.844 1     1     0.889 0.889 0.889 0.005 0.88  0.895 1     1     0.889 0     0.889 0.889 0     0     4.066 0     4.066 4.066
87 Larceny/Gabriel/takl SeqAAMLS 0     5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 72 0 10 77344.392 32.441 32.441 0.107 32.252 32.599 1     1     1     1     1     0.003 0.995 1.006 1     1     1     0     1     1     0     0     0     0     0     0    
88 Larceny/Gabriel/takl SeqAAMLS-halt 0     5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 72 0 10 73709.052 32.441 34.041 0.089 33.939 34.207 1     1     0.953 0.953 0.953 0.002 0.948 0.956 1     1     0.953 0     0.953 0.953 0     0     1.6   0     1.6   1.6  
89 Larceny/Gabriel/triangl SeqAAM 1     4 4 1 1 0 0 290 9 10 43190.108 0     0     0     0     0     1     1     0.958 0.958 0.958 0.134 0.629 1.092 1     1     0.945 0     0.945 0.945 0     0     0     0     0     0    
90 Larceny/Gabriel/triangl SeqAAMS 1     4 4 1 1 0 0 290 9 10 45427.134 0     0     0     0     0     1     1     0.994 0.994 0.994 0.037 0.936 1.067 1     1     0.994 0     0.994 0.994 0     0     0     0     0     0    
91 Larceny/Gabriel/triangl SeqAAMLS 1     4 4 1 1 0 0 290 9 10 45720.556 0     0     0     0     0     1     1     1     1     1     0.023 0.958 1.042 1     1     1     0     1     1     0     0     0     0     0     0    
92 Larceny/Gabriel/triangl SeqAAMLS-halt 1     4 4 1 1 0 0 290 9 10 35744.19  0     0     0     0     0     1     1     0.783 0.783 0.783 0.035 0.726 0.854 1     1     0.782 0     0.782 0.782 0     0     0     0     0     0    
93 Larceny/Kernighan_and_Van_Wyk/ack SeqAAM 0     5 53990 0 0 1546 1 Int 38 0 10 69527.353 0.78  0.777 0.005 0.768 0.787 1     1     1.004 1.004 1.004 0.007 0.991 1.015 1     1     1.004 0     1.004 1.004 0     0     -0.003 0     -0.003 -0.003
94 Larceny/Kernighan_and_Van_Wyk/ack SeqAAMS 0     5 53990 0 0 1546 1 Int 38 0 10 66896.702 0.78  0.807 0.013 0.788 0.826 1     1     0.966 0.966 0.966 0.015 0.944 0.989 1     1     0.966 0     0.966 0.966 0     0     0.027 0     0.027 0.027
95 Larceny/Kernighan_and_Van_Wyk/ack SeqAAMLS 0     5 53990 0 0 1546 1 Int 38 0 10 69229.376 0.78  0.78  0.007 0.771 0.788 1     1     1     1     1     0.008 0.99  1.012 1     1     1     0     1     1     0     0     0     0     0     0    
96 Larceny/Kernighan_and_Van_Wyk/ack SeqAAMLS-halt 0     5 53990 0 0 1546 1 Int 38 0 10 66882.939 0.78  0.807 0.003 0.803 0.814 1     1     0.966 0.966 0.966 0.004 0.959 0.971 1     1     0.966 0     0.966 0.966 0     0     0.027 0     0.027 0.027
97 Larceny/Kernighan_and_Van_Wyk/array1 SeqAAM 0.001 8 9011 0 0 96 2 (), {Int,()} 82 2 10 87407.788 0.102 0.103 0.001 0.102 0.104 1     1     0.986 0.986 0.986 0.007 0.973 0.995 1     1     0.986 0     0.986 0.986 0     0     0.001 0     0.001 0.001
98 Larceny/Kernighan_and_Van_Wyk/array1 SeqAAMS 0.001 8 9011 0 0 96 2 (), {Int,()} 82 2 10 83630.957 0.102 0.108 0.003 0.103 0.113 1     1     0.943 0.943 0.943 0.023 0.901 0.986 1     1     0.943 0     0.943 0.943 0     0     0.006 0     0.006 0.006
99 Larceny/Kernighan_and_Van_Wyk/array1 SeqAAMLS 0.001 8 9011 0 0 96 2 (), {Int,()} 82 2 10 88673.535 0.102 0.102 0.001 0.101 0.102 1     1     1     1     1     0.006 0.992 1.01  1     1     1     0     1     1     0     0     0     0     0     0    
100 Larceny/Kernighan_and_Van_Wyk/array1 SeqAAMLS-halt 0.001 8 9011 0 0 96 2 (), {Int,()} 82 2 10 84571.328 0.102 0.107 0.001 0.105 0.108 1     1     0.954 0.954 0.954 0.008 0.945 0.966 1     1     0.954 0     0.954 0.954 0     0     0.005 0     0.005 0.005
101 Larceny/Kernighan_and_Van_Wyk/cat SeqAAM 1     7 7 1 1 0 0 39 2 10 36795.085 0     0     0     0     0     1     1     0.966 0.966 0.966 0.045 0.849 1.019 1     1     0.964 0     0.964 0.964 0     0     0     0     0     0    
102 Larceny/Kernighan_and_Van_Wyk/cat SeqAAMS 1     7 7 1 1 0 0 39 2 10 35578.073 0     0     0     0     0     1     1     0.94  0.94  0.94  0.107 0.7   1.031 1     1     0.933 0     0.933 0.933 0     0     0     0     0     0    
103 Larceny/Kernighan_and_Van_Wyk/cat SeqAAMLS 1     7 7 1 1 0 0 39 2 10 38151.048 0     0     0     0     0     1     1     1.001 1.001 1.001 0.041 0.889 1.045 1     1     1     0     1     1     0     0     0     0     0     0    
104 Larceny/Kernighan_and_Van_Wyk/cat SeqAAMLS-halt 1     7 7 1 1 0 0 39 2 10 33960.009 0     0     0     0     0     1     1     0.891 0.891 0.891 0.03  0.839 0.929 1     1     0.89  0     0.89  0.89  0     0     0     0     0     0    
105 Larceny/Kernighan_and_Van_Wyk/string SeqAAM 0.001 5 8713 230 1 176 1 Int 77 3 10 124839.421 0.069 0.07  0.001 0.069 0.072 1     1     0.996 0.996 0.996 0.013 0.966 1.012 1     1     0.995 0     0.995 0.995 0     0     0     0     0     0    
106 Larceny/Kernighan_and_Van_Wyk/string SeqAAMS 0.001 5 8713 230 1 176 1 Int 77 3 10 114850.089 0.069 0.076 0.002 0.072 0.078 1     1     0.916 0.916 0.916 0.023 0.886 0.96  1     1     0.916 0     0.916 0.916 0     0     0.006 0     0.006 0.006
107 Larceny/Kernighan_and_Van_Wyk/string SeqAAMLS 0.001 5 8713 230 1 176 1 Int 77 3 10 125407.424 0.069 0.069 0.002 0.067 0.072 1     1     1     1     1     0.022 0.968 1.032 1     1     1     0     1     1     0     0     0     0     0     0    
108 Larceny/Kernighan_and_Van_Wyk/string SeqAAMLS-halt 0.001 5 8713 230 1 176 1 Int 77 3 10 120802.374 0.069 0.072 0.001 0.069 0.074 1     1     0.963 0.963 0.963 0.019 0.937 1     1     1     0.963 0     0.963 0.963 0     0     0.003 0     0.003 0.003
109 Larceny/Kernighan_and_Van_Wyk/sumloop SeqAAM 0.001 8 12952 0 0 212 1 {#f,#t} 66 4 10 96506.44  0.135 0.134 0.002 0.131 0.138 1     1     1.007 1.007 1.007 0.015 0.982 1.032 1     1     1.007 0     1.007 1.007 0     0     -0.001 0     -0.001 -0.001
110 Larceny/Kernighan_and_Van_Wyk/sumloop SeqAAMS 0.001 8 12952 0 0 212 1 {#f,#t} 66 4 10 91098.365 0.135 0.142 0.003 0.138 0.147 1     1     0.951 0.951 0.951 0.018 0.919 0.98  1     1     0.95  0     0.95  0.95  0     0     0.007 0     0.007 0.007
111 Larceny/Kernighan_and_Van_Wyk/sumloop SeqAAMLS 0.001 8 12952 0 0 212 1 {#f,#t} 66 4 10 95843.982 0.135 0.135 0.002 0.133 0.138 1     1     1     1     1     0.013 0.98  1.016 1     1     1     0     1     1     0     0     0     0     0     0    
112 Larceny/Kernighan_and_Van_Wyk/sumloop SeqAAMLS-halt 0.001 8 12952 0 0 212 1 {#f,#t} 66 4 10 92081.193 0.135 0.141 0.002 0.138 0.143 1     1     0.961 0.961 0.961 0.011 0.944 0.976 1     1     0.961 0     0.961 0.961 0     0     0.006 0     0.006 0.006
113 Larceny/Kernighan_and_Van_Wyk/tail SeqAAM 1     7 7 1 1 0 0 76 2 10 42277.297 0     0     0     0     0     1     1     1.012 1.012 1.012 0.057 0.858 1.059 1     1     1.01  0     1.01  1.01  0     0     -0     0     -0     -0    
114 Larceny/Kernighan_and_Van_Wyk/tail SeqAAMS 1     7 7 1 1 0 0 76 2 10 41120.885 0     0     0     0     0     1     1     0.984 0.984 0.984 0.048 0.864 1.038 1     1     0.983 0     0.983 0.983 0     0     0     0     0     0    
115 Larceny/Kernighan_and_Van_Wyk/tail SeqAAMLS 1     7 7 1 1 0 0 76 2 10 41844.506 0     0     0     0     0     1     1     1     1     1     0.024 0.95  1.038 1     1     1     0     1     1     0     0     0     0     0     0    
116 Larceny/Kernighan_and_Van_Wyk/tail SeqAAMLS-halt 1     7 7 1 1 0 0 76 2 10 37655.767 0     0     0     0     0     1     1     0.9   0.9   0.9   0.032 0.843 0.943 1     1     0.9   0     0.9   0.9   0     0     0     0     0     0    
117 Larceny/Kernighan_and_Van_Wyk/wc SeqAAM 1     8 8 1 1 0 0 101 10 10 44272.838 0     0     0     0     0     1     1     1.018 1.018 1.018 0.057 0.895 1.083 1     1     1.016 0     1.016 1.016 0     0     -0     0     -0     -0    
118 Larceny/Kernighan_and_Van_Wyk/wc SeqAAMS 1     8 8 1 1 0 0 101 10 10 42027.314 0     0     0     0     0     1     1     0.966 0.966 0.966 0.056 0.878 1.042 1     1     0.964 0     0.964 0.964 0     0     0     0     0     0    
119 Larceny/Kernighan_and_Van_Wyk/wc SeqAAMLS 1     8 8 1 1 0 0 101 10 10 43576.26  0     0     0     0     0     1     1     1.001 1.001 1.001 0.055 0.938 1.086 1     1     1     0     1     1     0     0     0     0     0     0    
120 Larceny/Kernighan_and_Van_Wyk/wc SeqAAMLS-halt 1     8 8 1 1 0 0 101 10 10 41692.877 0     0     0     0     0     1     1     0.96  0.96  0.96  0.079 0.845 1.065 1     1     0.957 0     0.957 0.957 0     0     0     0     0     0    
121 Larceny/Numerical/fib SeqAAM 0.018 5 276 0 0 15 1 Int 18 0 10 149237.744 0.002 0.002 0     0.002 0.002 1     1     1.007 1.007 1.007 0.017 0.981 1.035 1     1     1.006 0     1.006 1.006 0     0     -0     0     -0     -0    
122 Larceny/Numerical/fib SeqAAMS 0.018 5 276 0 0 15 1 Int 18 0 10 100102.079 0.002 0.003 0     0.002 0.003 1     1     0.678 0.678 0.678 0.06  0.569 0.749 1     1     0.675 0     0.675 0.675 0     0     0.001 0     0.001 0.001
123 Larceny/Numerical/fib SeqAAMLS 0.018 5 276 0 0 15 1 Int 18 0 10 148285.457 0.002 0.002 0     0.002 0.002 1     1     1     1     1     0.019 0.962 1.022 1     1     1     0     1     1     0     0     0     0     0     0    
124 Larceny/Numerical/fib SeqAAMLS-halt 0.018 5 276 0 0 15 1 Int 18 0 10 140100.157 0.002 0.002 0     0.002 0.002 1     1     0.945 0.945 0.945 0.024 0.905 0.988 1     1     0.945 0     0.945 0.945 0     0     0     0     0     0    
125 Larceny/Numerical/sum SeqAAM 0.001 6 9723 0 0 212 1 Int 31 0 10 107922.275 0.091 0.09  0.001 0.088 0.092 1     1     1.008 1.008 1.008 0.015 0.987 1.036 1     1     1.008 0     1.008 1.008 0     0     -0.001 0     -0.001 -0.001
126 Larceny/Numerical/sum SeqAAMS 0.001 6 9723 0 0 212 1 Int 31 0 10 106559.611 0.091 0.091 0.001 0.089 0.093 1     1     0.996 0.996 0.996 0.016 0.974 1.022 1     1     0.995 0     0.995 0.995 0     0     0     0     0     0    
127 Larceny/Numerical/sum SeqAAMLS 0.001 6 9723 0 0 212 1 Int 31 0 10 107047.72  0.091 0.091 0.002 0.087 0.093 1     1     1     1     1     0.018 0.972 1.042 1     1     1     0     1     1     0     0     0     0     0     0    
128 Larceny/Numerical/sum SeqAAMLS-halt 0.001 6 9723 0 0 212 1 Int 31 0 10 101582.572 0.091 0.096 0.002 0.093 0.098 1     1     0.949 0.949 0.949 0.018 0.925 0.981 1     1     0.949 0     0.949 0.949 0     0     0.005 0     0.005 0.005
129 Larceny/Numerical/tak SeqAAM 0.002 8 3710 0 0 127 1 {#f,#t} 35 0 10 104028.67  0.036 0.036 0     0.035 0.036 1     1     1.015 1.015 1.015 0.01  0.997 1.028 1     1     1.015 0     1.015 1.015 0     0     -0.001 0     -0.001 -0.001
130 Larceny/Numerical/tak SeqAAMS 0.002 8 3710 0 0 127 1 {#f,#t} 35 0 10 92851.39  0.036 0.04  0.002 0.037 0.045 1     1     0.908 0.908 0.908 0.051 0.805 0.97  1     1     0.906 0     0.906 0.906 0     0     0.004 0     0.004 0.004
131 Larceny/Numerical/tak SeqAAMLS 0.002 8 3710 0 0 127 1 {#f,#t} 35 0 10 102467.972 0.036 0.036 0.001 0.035 0.037 1     1     1     1     1     0.016 0.97  1.027 1     1     1     0     1     1     0     0     0     0     0     0    
132 Larceny/Numerical/tak SeqAAMLS-halt 0.002 8 3710 0 0 127 1 {#f,#t} 35 0 10 97871.07  0.036 0.038 0     0.037 0.039 1     1     0.955 0.955 0.955 0.012 0.937 0.975 1     1     0.955 0     0.955 0.955 0     0     0.002 0     0.002 0.002
133 Larceny/other/earley SeqAAM 0.03  50 1670 14 1 0 0 1943 28 10 78855.413 0.021 0.021 0     0.021 0.022 1     1     0.986 0.986 0.986 0.018 0.962 1.012 1     1     0.986 0     0.986 0.986 0     0     0     0     0     0    
134 Larceny/other/earley SeqAAMS 0.03  50 1670 14 1 0 0 1943 28 10 76017.666 0.021 0.022 0     0.022 0.022 1     1     0.95  0.95  0.95  0.008 0.938 0.965 1     1     0.95  0     0.95  0.95  0     0     0.001 0     0.001 0.001
135 Larceny/other/earley SeqAAMLS 0.03  50 1670 14 1 0 0 1943 28 10 80015.339 0.021 0.021 0     0.021 0.021 1     1     1     1     1     0.008 0.983 1.011 1     1     1     0     1     1     0     0     0     0     0     0    
136 Larceny/other/earley SeqAAMLS-halt 0.03  50 1670 14 1 0 0 1943 28 10 78087.995 0.021 0.021 0     0.021 0.022 1     1     0.976 0.976 0.976 0.01  0.958 0.994 1     1     0.976 0     0.976 0.976 0     0     0.001 0     0.001 0.001
137 Larceny/other/fibc SeqAAM 0     5 17782 761 1 158 1 Int 98 0 10 122201.478 0.145 0.146 0.001 0.143 0.148 1     1     1     1     1     0.008 0.986 1.015 1     1     1     0     1     1     0     0     0     0     0     0    
138 Larceny/other/fibc SeqAAMS 0     5 17782 761 1 158 1 Int 98 0 10 128692.952 0.145 0.138 0.001 0.135 0.141 1     1     1.053 1.053 1.053 0.011 1.034 1.076 1     1     1.053 0     1.053 1.053 0     0     -0.007 0     -0.007 -0.007
139 Larceny/other/fibc SeqAAMLS 0     5 17782 761 1 158 1 Int 98 0 10 122240.417 0.145 0.145 0.001 0.143 0.147 1     1     1     1     1     0.008 0.99  1.014 1     1     1     0     1     1     0     0     0     0     0     0    
140 Larceny/other/fibc SeqAAMLS-halt 0     5 17782 761 1 158 1 Int 98 0 10 119808.232 0.145 0.148 0.001 0.147 0.15  1     1     0.98  0.98  0.98  0.007 0.969 0.992 1     1     0.98  0     0.98  0.98  0     0     0.003 0     0.003 0.003
141 Larceny/other/lattice SeqAAM 1     30 30 1 1 0 0 441 3 10 61109.317 0     0     0     0     0.001 1     1     0.956 0.956 0.956 0.118 0.621 1.038 1     1     0.944 0     0.944 0.944 0     0     0     0     0     0    
142 Larceny/other/lattice SeqAAMS 1     30 30 1 1 0 0 441 3 10 65319.659 0     0     0     0     0     1     1     1.01  1.01  1.01  0.018 0.972 1.036 1     1     1.009 0     1.009 1.009 0     0     -0     0     -0     -0    
143 Larceny/other/lattice SeqAAMLS 1     30 30 1 1 0 0 441 3 10 64707.301 0     0     0     0     0     1     1     1     1     1     0.026 0.944 1.037 1     1     1     0     1     1     0     0     0     0     0     0    
144 Larceny/other/lattice SeqAAMLS-halt 1     30 30 1 1 0 0 441 3 10 65755.759 0     0     0     0     0     1     1     1.016 1.016 1.016 0.018 0.993 1.051 1     1     1.016 0     1.016 1.016 0     0     -0     0     -0     -0    
145 Larceny/other/nqueens SeqAAM 0.001 11 9477 170 1 41 1 Int 113 0 10 175622.75  0.055 0.054 0.001 0.053 0.054 1     1     1.013 1.013 1.013 0.01  1.004 1.035 1     1     1.013 0     1.013 1.013 0     0     -0.001 0     -0.001 -0.001
146 Larceny/other/nqueens SeqAAMS 0.001 11 9477 170 1 41 1 Int 113 0 10 159921.627 0.055 0.059 0.001 0.059 0.06  1     1     0.923 0.923 0.923 0.008 0.906 0.934 1     1     0.923 0     0.923 0.923 0     0     0.005 0     0.005 0.005
147 Larceny/other/nqueens SeqAAMLS 0.001 11 9477 170 1 41 1 Int 113 0 10 173298.785 0.055 0.055 0.001 0.053 0.056 1     1     1     1     1     0.012 0.98  1.023 1     1     1     0     1     1     0     0     0     0     0     0    
148 Larceny/other/nqueens SeqAAMLS-halt 0.001 11 9477 170 1 41 1 Int 113 0 10 163211.375 0.055 0.058 0.001 0.057 0.06  1     1     0.942 0.942 0.942 0.013 0.919 0.964 1     1     0.942 0     0.942 0.942 0     0     0.003 0     0.003 0.003
149 Larceny/other/primes SeqAAM 0.001 8 9151 0 0 283 2 #f, {#f,#t} 95 0 10 91983.965 0.101 0.099 0     0.099 0.1   1     1     1.012 1.012 1.012 0.004 1.007 1.02  1     1     1.012 0     1.012 1.012 0     0     -0.001 0     -0.001 -0.001
150 Larceny/other/primes SeqAAMS 0.001 8 9151 0 0 283 2 #f, {#f,#t} 95 0 10 88346.561 0.101 0.104 0.001 0.102 0.106 1     1     0.972 0.972 0.972 0.012 0.951 0.991 1     1     0.972 0     0.972 0.972 0     0     0.003 0     0.003 0.003
151 Larceny/other/primes SeqAAMLS 0.001 8 9151 0 0 283 2 #f, {#f,#t} 95 0 10 90930.833 0.101 0.101 0.001 0.1   0.101 1     1     1     1     1     0.005 0.993 1.008 1     1     1     0     1     1     0     0     0     0     0     0    
152 Larceny/other/primes SeqAAMLS-halt 0.001 8 9151 0 0 283 2 #f, {#f,#t} 95 0 10 86772.446 0.101 0.105 0.001 0.104 0.106 1     1     0.954 0.954 0.954 0.005 0.95  0.966 1     1     0.954 0     0.954 0.954 0     0     0.005 0     0.005 0.005
153 Nguyen/ack SeqAAM 0.016 5 316 0 0 16 1 Int 32 0 10 162537.268 0.002 0.002 0     0.002 0.002 1     1     1.019 1.019 1.019 0.005 1.012 1.025 1     1     1.019 0     1.019 1.019 0     0     -0     0     -0     -0    
154 Nguyen/ack SeqAAMS 0.016 5 316 0 0 16 1 Int 32 0 10 123780.74  0.002 0.003 0     0.002 0.003 1     1     0.777 0.777 0.777 0.04  0.669 0.82  1     1     0.776 0     0.776 0.776 0     0     0.001 0     0.001 0.001
155 Nguyen/ack SeqAAMLS 0.016 5 316 0 0 16 1 Int 32 0 10 159474.67  0.002 0.002 0     0.002 0.002 1     1     1     1     1     0.006 0.992 1.012 1     1     1     0     1     1     0     0     0     0     0     0    
156 Nguyen/ack SeqAAMLS-halt 0.016 5 316 0 0 16 1 Int 32 0 10 149322.059 0.002 0.002 0     0.002 0.002 1     1     0.936 0.936 0.936 0.006 0.928 0.943 1     1     0.936 0     0.936 0.936 0     0     0     0     0     0    
157 Nguyen/len SeqAAM 0.762 48 63 0 0 3 2 #f, Int 35 0 10 56204.645 0.001 0.001 0     0.001 0.001 1     1     0.979 0.979 0.979 0.03  0.918 1.019 1     1     0.978 0     0.978 0.978 0     0     0     0     0     0    
158 Nguyen/len SeqAAMS 0.762 48 63 0 0 3 2 #f, Int 35 0 10 57763.512 0.001 0.001 0     0.001 0.001 1     1     1.006 1.006 1.006 0.009 0.993 1.018 1     1     1.006 0     1.006 1.006 0     0     -0     0     -0     -0    
159 Nguyen/len SeqAAMLS 0.762 48 63 0 0 3 2 #f, Int 35 0 10 57440.034 0.001 0.001 0     0.001 0.001 1     1     1     1     1     0.01  0.987 1.019 1     1     1     0     1     1     0     0     0     0     0     0    
160 Nguyen/len SeqAAMLS-halt 0.762 48 63 0 0 3 2 #f, Int 35 0 10 56708.207 0.001 0.001 0     0.001 0.001 1     1     0.987 0.987 0.987 0.01  0.971 1.003 1     1     0.987 0     0.987 0.987 0     0     0     0     0     0    
161 OPi/abs SeqAAM 0.625 5 8 0 0 1 1 Int 11 0 10 43444.261 0     0     0     0     0     1     1     1.018 1.018 1.018 0.052 0.922 1.088 1     1     1.016 0     1.016 1.016 0     0     -0     0     -0     -0    
162 OPi/abs SeqAAMS 0.625 5 8 0 0 1 1 Int 11 0 10 43413.989 0     0     0     0     0     1     1     1.016 1.016 1.016 0.035 0.96  1.059 1     1     1.015 0     1.015 1.015 0     0     -0     0     -0     -0    
163 OPi/abs SeqAAMLS 0.625 5 8 0 0 1 1 Int 11 0 10 42753.313 0     0     0     0     0     1     1     1.002 1.002 1.002 0.063 0.829 1.067 1     1     1     0     1     1     0     0     0     0     0     0    
164 OPi/abs SeqAAMLS-halt 0.625 5 8 0 0 1 1 Int 11 0 10 43093.789 0     0     0     0     0     1     1     1.008 1.008 1.008 0.025 0.961 1.04  1     1     1.008 0     1.008 1.008 0     0     -0     0     -0     -0    
165 OPi/add SeqAAM 1     4 4 0 0 1 1 Int 4 0 10 48289.466 0     0     0     0     0     1     1     1.045 1.045 1.045 0.022 1.003 1.075 1     1     1.045 0     1.045 1.045 0     0     -0     0     -0     -0    
166 OPi/add SeqAAMS 1     4 4 0 0 1 1 Int 4 0 10 43570.849 0     0     0     0     0     1     1     0.957 0.957 0.957 0.139 0.622 1.056 1     1     0.943 0     0.943 0.943 0     0     0     0     0     0    
167 OPi/add SeqAAMLS 1     4 4 0 0 1 1 Int 4 0 10 46213.604 0     0     0     0     0     1     1     1.001 1.001 1.001 0.05  0.898 1.064 1     1     1     0     1     1     0     0     0     0     0     0    
168 OPi/add SeqAAMLS-halt 1     4 4 0 0 1 1 Int 4 0 10 41179.25  0     0     0     0     0     1     1     0.901 0.901 0.901 0.111 0.597 0.984 1     1     0.891 0     0.891 0.891 0     0     0     0     0     0    
169 OPi/collatz SeqAAM 0.385 5 13 0 0 2 1 Int 18 0 10 65100.287 0     0     0     0     0     1     1     1.024 1.024 1.024 0.033 0.948 1.064 1     1     1.023 0     1.023 1.023 0     0     -0     0     -0     -0    
170 OPi/collatz SeqAAMS 0.385 5 13 0 0 2 1 Int 18 0 10 63452.52  0     0     0     0     0     1     1     0.998 0.998 0.998 0.028 0.951 1.043 1     1     0.997 0     0.997 0.997 0     0     0     0     0     0    
171 OPi/collatz SeqAAMLS 0.385 5 13 0 0 2 1 Int 18 0 10 63627.585 0     0     0     0     0     1     1     1.002 1.002 1.002 0.067 0.873 1.099 1     1     1     0     1     1     0     0     0     0     0     0    
172 OPi/collatz SeqAAMLS-halt 0.385 5 13 0 0 2 1 Int 18 0 10 61435.715 0     0     0     0     0     1     1     0.966 0.966 0.966 0.038 0.891 1.016 1     1     0.966 0     0.966 0.966 0     0     0     0     0     0    
173 OPi/factorial_iter SeqAAM 0.318 7 22 0 0 2 1 Int 24 0 10 82220.522 0     0     0     0     0     1     1     1.013 1.013 1.013 0.059 0.909 1.085 1     1     1.011 0     1.011 1.011 0     0     -0     0     -0     -0    
174 OPi/factorial_iter SeqAAMS 0.318 7 22 0 0 2 1 Int 24 0 10 83848.749 0     0     0