List of correct example Scheme programs (March 20, 2019)

TypeSet lattice – Classical address – List from Scheme-examples/ ≤ 30 minutes – Default step – Sequential AAM – No repetition (time in seconds, computed on Hydra – Intel Xeon Gold 6148 CPU @ 2.40GHz – Java GraalVM 1.0.0-rc13)
  Scheme program # states # error values # final values Final values Time # states /s # words # !
1 AlgoDat1/DFS/dfs 2 0 1 #f 0     7570.968 256 13
2 AlgoDat1/abstrct 1244 0 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 0.098 12669.605 244 20
3 AlgoDat1/bst 2 0 1 #f 0.001 1786.453 527 21
4 AlgoDat1/btree 2 0 1 #f 0.001 2028.396 106 10
5 AlgoDat1/bubsort 181 0 1 VectorAddress(@vector-Time()) 0.02  8880.971 99 3
6 AlgoDat1/graf/graf 15540 15 1 #t 0.082 189006.802 879 25
7 AlgoDat1/heap 1936 10 1 VectorAddress(@vector-Time()) 0.076 25587.541 232 4
8 AlgoDat1/inssort 198 0 1 VectorAddress(@vector-Time()) 0.005 43493.465 92 2
9 AlgoDat1/qsort 2073573 0 1 VectorAddress(@vector-Time()) 85.566 24233.668 192 2
10 AlgoDat1/queue 2 0 1 #f 0     7357.35  95 5
11 AlgoDat1/quick 175651 1 1 {#f,#t} 8.695 20201.342 91 0
12 AlgoDat1/selsort 298 0 1 VectorAddress(@vector-Time()) 0.004 67770.692 103 2
13 AlgoDat1/shortest/priorityGraf 2 0 1 #f 0     7494.089 106 0
14 AlgoDat1/shortest/shortestOLD 2 0 1 #f 0     7374.196 95 0
15 AlgoDat1/stSpace/STSPACEopl 4 1 0 0     13024.522 645 7
16 AlgoDat1/stspaceCODE 2 0 1 #f 0     6007.521 386 5
17 AlgoDat1/traverse 2 0 1 #f 0     6920.319 67 0
18 Larceny/Gabriel/cpstak 1966 0 1 Int 0.051 38729.376 56 0
19 Larceny/Gabriel/ctak 5 1 0 0.003 1557.291 68 0
20 Larceny/Gabriel/deriv 69439 4 2 Cons(@'--Time(),@_cons_1-Time()), Int 0.777 89316.794 95 0
21 Larceny/Gabriel/diviter 593 1 2 #f, {#f,#t} 0.131 4527.493 43 0
22 Larceny/Gabriel/divrec 533 1 2 #f, {#f,#t} 0.046 11665.786 40 0
23 Larceny/Gabriel/puzzle 24 1 0 0.001 18634.698 553 23
24 Larceny/Gabriel/takl 2509129 1 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 195.252 12850.691 72 0
25 Larceny/Gabriel/triangl 4 1 0 0     11966.374 290 9
26 Larceny/Kernighan_and_Van_Wyk/ack 53990 0 1 Int 0.985 54820.934 38 0
27 Larceny/Kernighan_and_Van_Wyk/array1 9011 0 2 (), {Int,()} 0.111 81352.22  82 2
28 Larceny/Kernighan_and_Van_Wyk/cat 7 1 0 0.001 8839.243 39 2
29 Larceny/Kernighan_and_Van_Wyk/string 8713 1 1 Int 0.089 97381.797 77 3
30 Larceny/Kernighan_and_Van_Wyk/sumloop 12952 0 1 {#f,#t} 0.15  86192.59  66 4
31 Larceny/Kernighan_and_Van_Wyk/tail 7 1 0 0.001 7890.48  76 2
32 Larceny/Kernighan_and_Van_Wyk/wc 8 1 0 0.001 9052.825 101 10
33 Larceny/Numerical/fib 276 0 1 Int 0.003 102052.626 18 0
34 Larceny/Numerical/sum 9723 0 1 Int 0.104 93259.583 31 0
35 Larceny/Numerical/tak 3710 0 1 {#f,#t} 0.041 91118.539 35 0
36 Larceny/other/earley 1670 1 0 0.022 75271.84  1943 28
37 Larceny/other/fibc 17782 1 1 Int 0.183 97260.534 98 0
38 Larceny/other/lattice 30 1 0 0.002 18121.227 441 3
39 Larceny/other/maze 22220 10 0 0.437 50899.284 1507 29
40 Larceny/other/nqueens 9477 1 1 Int 0.074 128873.55  113 0
41 Larceny/other/perm9 460107 2 2 Cons(@x-Time(),@_nil_-Time()), {Cons(@x-Time(),@perms-Time()),Cons(@x-Time(),@_nil_-Time())} 10.462 43978.088 135 2
42 Larceny/other/peval 284 5 0 0.007 40635.011 2065 58
43 Larceny/other/primes 9151 0 2 #f, {#f,#t} 0.111 82247.456 95 0
44 OPi/abs 8 0 1 Int 0.001 9493.532 11 0
45 OPi/add 4 0 1 Int 0     16069.162 4 0
46 OPi/factorial_iter 22 0 1 Int 0.001 23929.352 24 0
47 OPi/factorial_recur 36 0 1 Int 0.001 33369.979 15 0
48 OPi/fibonacci_iter 24 0 1 Int 0.001 26181.951 30 0
49 OPi/fibonacci_recur 276 0 1 Int 0.003 106091.13  18 0
50 OPi/gen3fibonacci_recur 3264 0 1 Int 0.033 97636.284 22 0
51 OPi/gen4fibonacci_recur 49854 0 1 Int 0.671 74347.859 26 0
52 OPi/gen5fibonacci_recur 911786 0 1 Int 36.594 24916.394 30 0
53 OPi/inc 4 0 1 Int 0     13060.627 8 0
54 OPi/linear_1 3 0 1 Int 0     11226.368 2 0
55 OPi/linear_10 31 0 1 Int 0.001 37283.276 20 0
56 OPi/linear_100 301 0 1 Int 0.001 246957.135 200 0
57 OPi/linear_1000 3001 0 1 Int 0.022 137243.086 2000 0
58 OPi/old/FiboNbSystem 18 1 1 #f 0.001 16074.342 337 6
59 OPi/old/Fibonacci 3707 1 0 0.02  182374.613 182 7
60 OPi/old/partitions 4 1 0 0     15819.718 473 55
61 OPi/set 7 0 1 Int 0.001 7714.034 10 1
62 Parallel_AAM_Andersen_2013/factorial_00 36 0 1 Int 0.001 36838.405 16 0
63 Parallel_AAM_Andersen_2013/factorial_05 36 0 1 Int 0.001 36362.13  16 0
64 Parallel_AAM_Andersen_2013/factorial_10 36 0 1 Int 0.001 37343.856 16 0
65 Parallel_AAM_Andersen_2013/factorial_15 36 0 1 Int 0.001 35664.469 16 0
66 Parallel_AAM_Andersen_2013/factorial_20 36 0 1 Int 0.001 36180.868 16 0
67 Parallel_AAM_Andersen_2013/hailstone_05 788 0 1 Int 0.004 217241.774 86 0
68 Rosetta/easter 3478 0 2 #f, {#f,#t} 0.038 91831.377 124 0
69 Rosetta/quadratic 175390 1 2 #f, {#f,#t} 2.05  85538.078 99 0
70 SCPI/2.1 6633 0 2 #f, {#f,#t} 0.047 139764.783 108 0
71 SCPI/2.4 47 0 1 {#f,#t} 0.005 9466.209 39 0
72 SCPI/3.1 367 1 1 {#f,#t} 0.003 107041.399 57 0
73 SCPI/3.2.1 852068 1 2 #f, {#f,#t} 37.705 22598.052 90 0
74 SCPI/3.2 106 0 1 {#f,#t} 0.002 69375.451 44 0
75 SCPI/3.3 24079 0 2 #f, {#f,#t} 0.303 79599.866 111 0
76 SCPI/3.4 474 0 1 {#f,#t} 0.007 67757.147 61 1
77 SCPI/3.6 169567 2 2 #f, {#f,#t} 4.581 37015.957 151 1
78 SCPI/3.8 6884 1 2 #f, {#f,#t} 0.057 120149.83  62 0
79 SCPI/4.1 1071 0 1 {#f,#t} 0.024 44400.274 115 2
80 SCPI/4.8 9961 2 2 #f, {#f,#t} 0.117 85294.529 109 0
81 SCPI/5.20.4 5224 0 2 #f, {#f,#t} 0.843 6198.976 109 0
82 SCPI/5.6 4116 0 2 #f, {#f,#t} 0.125 32962.017 48 0
83 SCPI/5.7 191902 0 2 #f, {#f,#t} 17.577 10917.947 86 0
84 SCPI/7.18 12 1 0 0.001 11003.884 180 0
85 SCPI/7.4 232018 0 2 #f, {#f,#t} 176.732 1312.822 104 0
86 SCPI/8.1.1 94 0 2 #f, {#f,#t} 0.001 74348.972 30 2
87 SCPI/8.1.3 95 0 2 #f, {#f,#t} 0.001 76668.179 33 2
88 SCPI/8.11 8 1 0 0.001 7998.496 299 5
89 SCPI/8.5 1414 3 0 0.011 128678.321 253 0
90 SCPI/8.6 62 0 1 {#f,#t} 0.001 41868.214 41 2
91 SCPI/9.13 721 0 1 {#f,#t} 0.014 50635.059 114 4
92 SCPI/9.14 1846 0 1 {#f,#t} 0.171 10812.692 58 6
93 SCPI/9.2 45103 0 2 #f, {#f,#t} 1.954 23085.161 63 0
94 SCPI/9.3 3489 0 1 {#f,#t} 0.044 80148.221 107 2
95 SCPI/9.5 3398 0 2 #f, {#f,#t} 0.037 92525.308 112 2
96 SCPI/9.7 50715 0 2 #f, {#f,#t} 0.914 55493.456 160 5
97 SCPI/9.8 245668 1 2 #f, {#f,#t} 8.664 28356.398 237 8
98 Sergey/examples/facehugger 573 0 1 Int 0.004 145116.782 41 0
99 Sergey/examples/initial-example 574 0 1 Int 0.004 150306.951 39 0
100 Sergey/gcfa2/blur 188 2 2 #f, {#f,#t} 0.002 77197.913 38 0
101 Sergey/gcfa2/eta 10 0 1 {#f,#t} 0.001 10355.29  14 0
102 Sergey/gcfa2/kcfa2 101 0 1 {#f,#t} 0.002 54726.411 33 0
103 Sergey/gcfa2/kcfa3 190 0 1 {#f,#t} 0.003 60432.839 41 0
104 Sergey/gcfa2/loop2 94 0 1 Int 0.002 55434.367 60 2
105 Sergey/gcfa2/mj09 36 0 1 Int 0.001 30519.156 34 0
106 Sergey/gcfa2/sat 18728 0 3 #f, #t, {#f,#t} 0.554 33800.023 51 0
107 Sergey/jfp/primtest 243472 1 1 Int 4.933 49359.713 148 0
108 Sergey/jfp/rsa 214420 4 1 #f 5.029 42633.831 197 0
109 Sergey/kcfa/eta 47 0 2 #f, {#f,#t} 0.001 33401.961 18 0
110 Sergey/kcfa/fermat 270306 1 1 #f 5.682 47568.827 160 0
111 Sergey/kcfa/indirect-hol 19 0 1 {#f,#t} 0.001 19484.402 12 0
112 Sergey/kcfa/kcfa-worst-case-1 12 0 1 {#f,#t} 0.001 12916.587 15 0
113 Sergey/kcfa/kcfa-worst-case-10 5829 0 1 {#f,#t} 0.075 77383.429 105 0
114 Sergey/kcfa/kcfa-worst-case-16 32792 0 1 {#f,#t} 0.525 62492.39  165 0
115 Sergey/kcfa/kcfa-worst-case-2 39 0 1 {#f,#t} 0.001 31176.206 25 0
116 Sergey/kcfa/kcfa-worst-case-20 75879 0 1 {#f,#t} 1.358 55873.221 205 0
117 Sergey/kcfa/kcfa-worst-case-3 110 0 1 {#f,#t} 0.002 45853.853 35 0
118 Sergey/kcfa/kcfa-worst-case-32 457324 0 1 {#f,#t} 11.637 39300.797 325 0
119 Sergey/kcfa/kcfa-worst-case-4 259 0 1 {#f,#t} 0.004 69643.351 45 0
120 Sergey/kcfa/kcfa-worst-case-40 1084654 0 1 {#f,#t} 33.266 32605.834 405 0
121 Sergey/kcfa/kcfa-worst-case-5 529 0 1 {#f,#t} 0.006 87061.794 55 0
122 Sergey/kcfa/kcfa-worst-case-6 972 0 1 {#f,#t} 0.012 81644.653 65 0
123 Sergey/kcfa/kcfa-worst-case-7 1649 0 1 {#f,#t} 0.021 80272.238 75 0
124 Sergey/kcfa/kcfa-worst-case-8 2630 0 1 {#f,#t} 0.031 84797.055 85 0
125 Sergey/kcfa/kcfa-worst-case-9 3994 0 1 {#f,#t} 0.048 83132.754 95 0
126 Sergey/kcfa/map-pattern 2 0 1 #f 0     5546.358 58 0
127 Sergey/kcfa/rsa 300388 4 1 #f 7.427 40443.742 212 0
128 Sergey/kcfa/sat-brute 57108 0 1 #f 1.338 42675.4   61 0
129 Sergey/kcfa/simple-id 9 0 1 #<clo> 0.001 8678.337 16 0
130 Sergey/kcfa/solovay-strassen 698817 1 1 #f 23.022 30354.845 335 0
131 SigScheme/arithint 4 1 0 0     13878.528 37 0
132 SigScheme/case 4 1 0 0     16162.53  28 0
133 SigScheme/let-loop 4 1 0 0     16716.328 27 0
134 SigScheme/loop 4 1 0 0     16193.939 20 0
135 SigScheme/mem 6 1 0 0.001 6384.5   44 1
136 SigScheme/rec 13093 0 1 #<clo> 0.207 63105.423 33 0
137 other/bound-precision 45 1 2 #f, #t 0.001 37515.225 17 0
138 other/church-2-num 23 0 1 Int 0.001 20292.1   37 0
139 other/church-6 114 0 1 Int 0.002 51863.775 45 0
140 other/collatz 309 0 1 Int 0.002 140782.825 64 0
141 other/count 16 0 1 Str 0.001 14136.049 15 0
142 other/infinite-1 3 0 0 0     7709.664 5 0
143 other/infinite-2 6 0 0 0.001 6453.133 10 0
144 other/infinite-3 3 0 0 0     8672.174 8 0
145 other/letrec-begin 9 0 1 Int 0.001 11033.279 11 0
146 other/mut-rec 32 0 2 #f, #t 0.001 26121.724 27 0
147 other/nested-defines 8 0 1 {#f,#t} 0.001 9366.146 15 0
148 other/sq 7 0 1 Int 0.002 3990.639 11 0
149 other/sym 5 0 1 Sym 0.001 6508.578 4 0
150 other/widen 53 0 1 Int 0.001 50085.997 19 0
151 other/work 285 0 1 Int 0.002 119845.286 107 3