(Old) List of example Scheme programs (Scala-Par-AM 00.09.15)

TypeSet lattice – Classical address – List from Scheme-examples/ ≤ 10 minutes – Default step – Sequential SeqAAMLS – No repetition (time in seconds, computed on Hydra – Intel Xeon Gold 6148 CPU @ 2.4GHz – 2 processors × 20 cores (but not necessary all used) – Java GraalVM 1.0.0-rc15)
  Scheme program β # initial chain # states # error states # error values # final states # final values Final values # words # ! # states /s Time
1 AlgoDat1/abstrct 0.013 16 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 244 20 14485.921 0.086
2 AlgoDat1/bst 1     2 2 0 0 1 1 #f 527 21 1402.884 0.001
3 AlgoDat1/btree 1     2 2 0 0 1 1 #f 106 10 2106.401 0.001
4 AlgoDat1/bubsort 0.072 13 181 0 0 5 1 VectorAddress(@vector-Time()) 99 3 8969.942 0.02 
5 AlgoDat1/heap 0.008 15 1936 276 10 20 1 VectorAddress(@vector-Time()) 232 4 37787.596 0.051
6 AlgoDat1/inssort 0.076 15 198 0 0 4 1 VectorAddress(@vector-Time()) 92 2 38107.57  0.005
7 AlgoDat1/qsort 0     14 2073573 0 0 16039 1 VectorAddress(@vector-Time()) 192 2 74456.321 27.85 
8 AlgoDat1/queue 1     2 2 0 0 1 1 #f 95 5 6848.283 0    
9 AlgoDat1/quick 0     11 175651 2184 1 1 1 {#f,#t} 91 0 18670.966 9.408
10 AlgoDat1/selsort 0.05  15 298 0 0 5 1 VectorAddress(@vector-Time()) 103 2 116225.42  0.003
11 AlgoDat1/stspaceCODE 1     2 2 0 0 1 1 #f 386 5 6774.976 0    
12 AlgoDat1/traverse 1     2 2 0 0 1 1 #f 67 0 7365.614 0    
13 AlgoDat1/DFS/dfs 1     2 2 0 0 1 1 #f 256 13 7435.193 0    
14 AlgoDat1/graf/graf 0.001 22 15540 2040 15 1 1 #t 879 25 170888.278 0.091
15 AlgoDat1/shortest/priorityGraf 1     2 2 0 0 1 1 #f 106 0 6910.611 0    
16 AlgoDat1/shortest/shortestOLD 1     2 2 0 0 1 1 #f 95 0 7096.854 0    
17 AlgoDat1/stSpace/STSPACEopl 1     4 4 1 1 0 0 645 7 11202.379 0    
18 Larceny/Gabriel/cpstak 0.005 9 1966 0 0 67 1 Int 56 0 36947.282 0.053
19 Larceny/Gabriel/ctak 1     5 5 1 1 0 0 68 0 5410.114 0.001
20 Larceny/Gabriel/deriv 0     15 69439 4934 4 688 2 Cons(@'--Time(),@_cons_1-Time()), Int 95 0 113839.897 0.61 
21 Larceny/Gabriel/diviter 0.012 7 593 1 1 37 2 #f, {#f,#t} 43 0 3366.734 0.176
22 Larceny/Gabriel/divrec 0.013 7 533 1 1 42 2 #f, {#f,#t} 40 0 9133.274 0.058
23 Larceny/Gabriel/puzzle 1     24 24 1 1 0 0 553 23 17315.343 0.001
24 Larceny/Gabriel/takl 0     5 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 72 0 65534.641 38.287
25 Larceny/Gabriel/triangl 1     4 4 1 1 0 0 290 9 13626.531 0    
26 Larceny/Kernighan_and_Van_Wyk/ack 0     5 53990 0 0 1546 1 Int 38 0 63786.393 0.846
27 Larceny/Kernighan_and_Van_Wyk/array1 0.001 8 9011 0 0 96 2 (), {(),Int} 82 2 83938.071 0.107
28 Larceny/Kernighan_and_Van_Wyk/cat 1     7 7 1 1 0 0 39 2 7885.68  0.001
29 Larceny/Kernighan_and_Van_Wyk/string 0.001 5 8713 230 1 176 1 Int 77 3 103412.313 0.084
30 Larceny/Kernighan_and_Van_Wyk/sumloop 0.001 8 12952 0 0 212 1 {#f,#t} 66 4 92250.755 0.14 
31 Larceny/Kernighan_and_Van_Wyk/tail 1     7 7 1 1 0 0 76 2 8090.203 0.001
32 Larceny/Kernighan_and_Van_Wyk/wc 1     8 8 1 1 0 0 101 10 8884.052 0.001
33 Larceny/Numerical/fib 0.018 5 276 0 0 15 1 Int 18 0 101851.859 0.003
34 Larceny/Numerical/sum 0.001 6 9723 0 0 212 1 Int 31 0 98331.181 0.099
35 Larceny/Numerical/tak 0.002 8 3710 0 0 127 1 {#f,#t} 35 0 92713.649 0.04 
36 Larceny/other/earley 0.03  50 1670 14 1 0 0 1943 28 68519.384 0.024
37 Larceny/other/fibc 0     5 17782 761 1 158 1 Int 98 0 109853.172 0.162
38 Larceny/other/lattice 1     30 30 1 1 0 0 441 3 21839.497 0.001
39 Larceny/other/maze 0.001 24 22220 1022 10 0 0 1507 29 50938.651 0.436
40 Larceny/other/nqueens 0.001 11 9477 170 1 41 1 Int 113 0 152501.579 0.062
41 Larceny/other/perm9 0     8 460107 142 2 6990 2 Cons(@x-Time(),@_nil_-Time()), {Cons(@x-Time(),@perms-Time()),Cons(@x-Time(),@_nil_-Time())} 135 2 102990.406 4.467
42 Larceny/other/peval 0.412 117 284 15 5 0 0 2065 58 46601.748 0.006
43 Larceny/other/primes 0.001 8 9151 0 0 283 2 #f, {#f,#t} 95 0 74921.961 0.122
44 Nguyen/ack 0.016 5 316 0 0 16 1 Int 32 0 110889.916 0.003
45 Nguyen/len 0.762 48 63 0 0 3 2 #f, Int 35 0 33464.393 0.002
46 OPi/abs 0.625 5 8 0 0 1 1 Int 11 0 9522.143 0.001
47 OPi/add 1     4 4 0 0 1 1 Int 4 0 13756.435 0    
48 OPi/collatz 0.385 5 13 0 0 2 1 Int 18 0 14928.098 0.001
49 OPi/factorial_iter 0.318 7 22 0 0 2 1 Int 24 0 21466.577 0.001
50 OPi/factorial_recur 0.139 5 36 0 0 3 1 Int 15 0 31406.926 0.001
51 OPi/fibonacci_iter 0.32  8 25 0 0 2 1 Int 30 0 24893.233 0.001
52 OPi/fibonacci_mutable_iter 0.216 8 37 0 0 2 1 Int 35 2 18509.486 0.002
53 OPi/fibonacci_recur 0.018 5 276 0 0 15 1 Int 18 0 96698.279 0.003
54 OPi/gen3fibonacci_recur 0.002 5 3264 0 0 127 1 Int 22 0 99576.853 0.033
55 OPi/gen4fibonacci_recur 0     5 49854 0 0 1517 1 Int 26 0 83394.297 0.598
56 OPi/gen5fibonacci_recur 0     5 911786 0 0 22841 1 Int 30 0 71793.94  12.7  
57 OPi/inc 1     4 4 0 0 1 1 Int 8 0 14044.895 0    
58 OPi/linear_1 1     3 3 0 0 1 1 Int 2 0 12110.79  0    
59 OPi/linear_10 1     31 31 0 0 1 1 Int 20 0 40138.491 0.001
60 OPi/linear_100 1     301 301 0 0 1 1 Int 200 0 235178.665 0.001
61 OPi/linear_1000 1     3001 3001 0 0 1 1 Int 2000 0 131035.029 0.023
62 OPi/linear_10000 1     30001 30001 0 0 1 1 Int 20000 0 6828.68  4.393
63 OPi/set 1     7 7 0 0 1 1 Int 10 1 8249.075 0.001
64 OPi/old/Fibonacci 0.002 8 3707 63 1 0 0 182 7 170313.545 0.022
65 OPi/old/FiboNbSystem 0.611 11 18 1 1 1 1 #f 337 6 17171.444 0.001
66 OPi/old/partitions 1     4 4 1 1 0 0 473 55 15591.867 0    
67 other/bound-precision 0.111 5 45 1 1 4 2 #f, #t 17 0 35587.977 0.001
68 other/church-2-num 0.435 10 23 0 0 2 1 Int 37 0 19619.903 0.001
69 other/church-6 0.246 28 114 0 0 4 1 Int 45 0 50001.25  0.002
70 other/collatz 0.019 6 309 0 0 8 1 Int 64 0 143127.384 0.002
71 other/count 0.312 5 16 0 0 2 1 Str 15 0 14479.206 0.001
72 other/infinite-1 1     3 3 0 0 0 0 5 0 9752.07  0    
73 other/infinite-2 1     6 6 0 0 0 0 10 0 6378.209 0.001
74 other/infinite-3 1     3 3 0 0 0 0 8 0 9004.574 0    
75 other/letrec-begin 1     9 9 0 0 1 1 Int 11 0 10659.087 0.001
76 other/mut-rec 0.156 5 32 0 0 4 2 #f, #t 27 0 30251.494 0.001
77 other/nested-defines 1     8 8 0 0 1 1 {#f,#t} 15 0 9535.991 0.001
78 other/sq 1     7 7 0 0 1 1 Int 11 0 3687.191 0.002
79 other/sym 1     5 5 0 0 1 1 Sym 4 0 5995.549 0.001
80 other/widen 0.094 5 53 0 0 6 1 Int 19 0 45474.475 0.001
81 other/work 0.239 68 285 0 0 3 1 Int 107 3 113465.848 0.003
82 Parallel_AAM_Andersen_2013/factorial_00 0.139 5 36 0 0 3 1 Int 16 0 33952.687 0.001
83 Parallel_AAM_Andersen_2013/factorial_05 0.139 5 36 0 0 3 1 Int 16 0 35235.944 0.001
84 Parallel_AAM_Andersen_2013/factorial_10 0.139 5 36 0 0 3 1 Int 16 0 35186.97  0.001
85 Parallel_AAM_Andersen_2013/factorial_15 0.139 5 36 0 0 3 1 Int 16 0 35959.079 0.001
86 Parallel_AAM_Andersen_2013/factorial_20 0.139 5 36 0 0 3 1 Int 16 0 35093.363 0.001
87 Parallel_AAM_Andersen_2013/hailstone_05 0.013 10 788 0 0 15 1 Int 86 0 199066.912 0.004
88 Rosetta/easter 0.02  68 3478 0 0 50 2 #f, {#f,#t} 124 0 87172.93  0.04 
89 Rosetta/quadratic 0     6 175390 5201 1 6018 2 #f, {#f,#t} 99 0 115004.055 1.525
90 SCPI/2.1 6633 0 0 480 2 #f, {#f,#t} 108 0 144847.165 0.046
91 SCPI/2.4 47 0 0 2 1 {#f,#t} 39 0 9615.272 0.005
92 SCPI/3.1 367 14 1 14 1 {#f,#t} 57 0 113409.376 0.003
93 SCPI/3.2.1 852068 24354 1 51180 2 #f, {#f,#t} 90 0 109296.371 7.796
94 SCPI/3.2 106 0 0 6 1 {#f,#t} 44 0 71339.541 0.001
95 SCPI/3.3 24079 0 0 864 2 #f, {#f,#t} 111 0 81277.928 0.296
96 SCPI/3.4 474 0 0 10 1 {#f,#t} 61 1 63288.942 0.007
97 SCPI/3.6 169567 4494 2 5500 2 #f, {#f,#t} 151 1 41263.297 4.109
98 SCPI/3.8 6884 204 1 429 2 #f, {#f,#t} 62 0 116788.432 0.059
99 SCPI/3.9 13820 0 0 134 2 #f, {#f,#t} 282 2 3362.541 4.11 
100 SCPI/4.1 1071 0 0 1 1 {#f,#t} 115 2 51629.205 0.021
101 SCPI/4.8 9961 81 2 232 2 #f, {#f,#t} 109 0 90181.41  0.11 
102 SCPI/5.20.4 5224 0 0 100 2 #f, {#f,#t} 109 0 4813.639 1.085
103 SCPI/5.6 4116 0 0 196 2 #f, {#f,#t} 48 0 33262.02  0.124
104 SCPI/5.7 191902 0 0 5031 2 #f, {#f,#t} 86 0 9808.199 19.565
105 SCPI/7.18 12 1 1 0 0 180 0 11277.083 0.001
106 SCPI/7.4 232018 0 0 8779 2 #f, {#f,#t} 104 0 1473.726 157.436
107 SCPI/8.1.1 94 0 0 5 2 #f, {#f,#t} 30 2 77207.202 0.001
108 SCPI/8.1.3 95 0 0 5 2 #f, {#f,#t} 33 2 82388.896 0.001
109 SCPI/8.11 8 1 1 0 0 299 5 8611.725 0.001
110 SCPI/8.12 9269362 566040 4 174575 2 #f, {#f,#t} 85 5 32269.127 287.252
111 SCPI/8.5 1414 68 3 0 0 253 0 123030.993 0.011
112 SCPI/8.6 62 0 0 1 1 {#f,#t} 41 2 40225.653 0.002
113 SCPI/9.13 721 0 0 10 1 {#f,#t} 114 4 48295.801 0.015
114 SCPI/9.14 1846 0 0 90 1 {#f,#t} 58 6 9171.808 0.201
115 SCPI/9.2 45103 0 0 2072 2 #f, {#f,#t} 63 0 19036.821 2.369
116 SCPI/9.3 3489 0 0 39 1 {#f,#t} 107 2 74509.456 0.047
117 SCPI/9.5 3398 0 0 72 2 #f, {#f,#t} 112 2 82459.37  0.041
118 SCPI/9.7 50715 0 0 438 2 #f, {#f,#t} 160 5 55045.117 0.921
119 SCPI/9.8 245668 6 1 1986 2 #f, {#f,#t} 237 8 28694.445 8.562
120 Sergey/examples/facehugger 0.016 9 573 0 0 37 1 Int 41 0 159887.047 0.004
121 Sergey/examples/initial-example 0.017 10 574 0 0 37 1 Int 39 0 159105.197 0.004
122 Sergey/gcfa2/blur 0.027 5 188 15 2 6 2 #f, {#f,#t} 38 0 80689.05  0.002
123 Sergey/gcfa2/eta 1     10 10 0 0 1 1 {#f,#t} 14 0 11371.299 0.001
124 Sergey/gcfa2/kcfa2 0.287 29 101 0 0 2 1 {#f,#t} 33 0 55291.174 0.002
125 Sergey/gcfa2/kcfa3 0.137 26 190 0 0 2 1 {#f,#t} 41 0 63773.926 0.003
126 Sergey/gcfa2/loop2 0.117 11 94 0 0 3 1 Int 60 2 59607.453 0.002
127 Sergey/gcfa2/mj09 0.556 20 36 0 0 1 1 Int 34 0 29834.295 0.001
128 Sergey/gcfa2/sat 0     8 18728 0 0 672 3 #f, #t, {#f,#t} 51 0 36610.423 0.512
129 Sergey/jfp/primtest 0     14 243472 6642 1 2439 1 Int 148 0 90901.18  2.678
130 Sergey/jfp/rsa 0     9 214420 9000 4 4776 1 #f 197 0 72437.525 2.96 
131 Sergey/kcfa/eta 0.362 17 47 0 0 4 2 #f, {#f,#t} 18 0 38906.319 0.001
132 Sergey/kcfa/fermat 0     19 270306 6642 1 2439 1 #f 160 0 98852.89  2.734
133 Sergey/kcfa/indirect-hol 0.684 13 19 0 0 1 1 {#f,#t} 12 0 19073.682 0.001
134 Sergey/kcfa/kcfa-worst-case-1 1     12 12 0 0 1 1 {#f,#t} 15 0 13145.916 0.001
135 Sergey/kcfa/kcfa-worst-case-10 0.008 47 5829 0 0 1 1 {#f,#t} 105 0 76463.035 0.076
136 Sergey/kcfa/kcfa-worst-case-16 0.002 65 32792 0 0 1 1 {#f,#t} 165 0 67855.64  0.483
137 Sergey/kcfa/kcfa-worst-case-2 0.59  23 39 0 0 1 1 {#f,#t} 25 0 34759.73  0.001
138 Sergey/kcfa/kcfa-worst-case-20 0.001 77 75879 0 0 1 1 {#f,#t} 205 0 59481.076 1.276
139 Sergey/kcfa/kcfa-worst-case-3 0.236 26 110 0 0 1 1 {#f,#t} 35 0 55823.763 0.002
140 Sergey/kcfa/kcfa-worst-case-32 0     113 457324 0 0 1 1 {#f,#t} 325 0 44169.526 10.354
141 Sergey/kcfa/kcfa-worst-case-4 0.112 29 259 0 0 1 1 {#f,#t} 45 0 73672.85  0.004
142 Sergey/kcfa/kcfa-worst-case-40 0     137 1084654 0 0 1 1 {#f,#t} 405 0 38311.524 28.311
143 Sergey/kcfa/kcfa-worst-case-5 0.06  32 529 0 0 1 1 {#f,#t} 55 0 80844.166 0.007
144 Sergey/kcfa/kcfa-worst-case-6 0.036 35 972 0 0 1 1 {#f,#t} 65 0 82785.744 0.012
145 Sergey/kcfa/kcfa-worst-case-7 0.023 38 1649 0 0 1 1 {#f,#t} 75 0 79619.618 0.021
146 Sergey/kcfa/kcfa-worst-case-8 0.016 41 2630 0 0 1 1 {#f,#t} 85 0 79940.306 0.033
147 Sergey/kcfa/kcfa-worst-case-9 0.011 44 3994 0 0 1 1 {#f,#t} 95 0 81055.516 0.049
148 Sergey/kcfa/map-pattern 1     2 2 0 0 1 1 #f 58 0 8836.186 0    
149 Sergey/kcfa/rsa 0     9 300388 9000 4 4776 1 #f 212 0 92160.449 3.259
150 Sergey/kcfa/sat-brute 0     21 57108 0 0 870 1 #f 61 0 49982.423 1.143
151 Sergey/kcfa/simple-id 1     9 9 0 0 1 1 #<clo> 16 0 10078.907 0.001
152 Sergey/kcfa/solovay-strassen 0     21 698817 18162 1 4878 1 #f 335 0 84203.282 8.299
153 SigScheme/arithint 1     4 4 1 1 0 0 37 0 13180.44  0    
154 SigScheme/case 1     4 4 1 1 0 0 28 0 16525.784 0    
155 SigScheme/let-loop 1     4 4 1 1 0 0 27 0 15332.074 0    
156 SigScheme/loop 1     4 4 1 1 0 0 20 0 15839.953 0    
157 SigScheme/mem 1     6 6 1 1 0 0 44 1 6644.011 0.001
158 SigScheme/rec 0     5 13093 0 0 473 1 #<clo> 33 0 70547.287 0.186