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

TypeSet lattice – Classical address – Complete list from Scheme-examples/ – Default step – Sequential SeqAAMLS – No repetition – 10 minutes timeout (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 # states # error states # error values # final states # final values Final values ? Time Error
1 AlgoDat1/abstrct 1244 0 0 3 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) ✓ 0.086
2 AlgoDat1/bst 2 0 0 1 1 #f ✓ 0.001
3 AlgoDat1/btree 2 0 0 1 1 #f ✓ 0.001
4 AlgoDat1/bubsort 181 0 0 5 1 VectorAddress(@vector-Time()) ✓ 0.02 
5 AlgoDat1/dict 7680951 49078 3 0 0 ✕ 607.063 TimedOut
6 AlgoDat1/heap 1936 276 10 20 1 VectorAddress(@vector-Time()) ✓ 0.051
7 AlgoDat1/inssort 198 0 0 4 1 VectorAddress(@vector-Time()) ✓ 0.005
8 AlgoDat1/linear 5515052 96909 3 0 0 ✕ 608.435 TimedOut
9 AlgoDat1/list 6617511 47103 1 0 0 ✕ 615.927 TimedOut
10 AlgoDat1/mesort 5767114 56040 3 13191 1 VectorAddress(@vector-Time()) ✕ 614.999 TimedOut
11 AlgoDat1/prioq 7716755 326111 3 26085 3 #f, Sym, {#f,#t} ✕ 623.701 TimedOut
12 AlgoDat1/qsort 2073573 0 0 16039 1 VectorAddress(@vector-Time()) ✓ 27.85 
13 AlgoDat1/qstand 6055486 0 0 33367 1 VectorAddress(@vector-Time()) ✕ 603.502 TimedOut
14 AlgoDat1/queue 2 0 0 1 1 #f ✓ 0    
15 AlgoDat1/quick 175651 2184 1 1 1 {#f,#t} ✓ 9.408
16 AlgoDat1/RBtreeADT 5429708 74738 2 0 0 ✕ 616.662 TimedOut
17 AlgoDat1/selsort 298 0 0 5 1 VectorAddress(@vector-Time()) ✓ 0.003
18 AlgoDat1/stack 10294838 723587 8 116513 2 #f, {#f,#t} ✕ 636.003 TimedOut
19 AlgoDat1/stspaceCODE 2 0 0 1 1 #f ✓ 0    
20 AlgoDat1/traverse 2 0 0 1 1 #f ✓ 0    
21 AlgoDat1/DFS/dfs 2 0 0 1 1 #f ✓ 0    
22 AlgoDat1/graf/graf 15540 2040 15 1 1 #t ✓ 0.091
23 AlgoDat1/shortest/priorityGraf 2 0 0 1 1 #f ✓ 0    
24 AlgoDat1/shortest/shortestOLD 2 0 0 1 1 #f ✓ 0    
25 AlgoDat1/stSpace/STSPACEopl 4 1 1 0 0 ✓ 0    
26 Larceny/Gabriel/boyer 3571534 7532 1 0 0 ✕ 600.003 TimedOut
27 Larceny/Gabriel/browse 1491792 0 0 72 1 #f ✕ 600.002 TimedOut
28 Larceny/Gabriel/cpstak 1966 0 0 67 1 Int ✓ 0.053
29 Larceny/Gabriel/ctak 5 1 1 0 0 ✓ 0.001
30 Larceny/Gabriel/dderiv 5306341 939 5 0 0 ✕ 603.548 TimedOut
31 Larceny/Gabriel/deriv 69439 4934 4 688 2 Cons(@'--Time(),@_cons_1-Time()), Int ✓ 0.61 
32 Larceny/Gabriel/destruc 8219264 151853 2 85474 2 (), {Cons(@'()-Time(),@a-Time()),()} ✕ 616.276 TimedOut
33 Larceny/Gabriel/diviter 593 1 1 37 2 #f, {#f,#t} ✓ 0.176
34 Larceny/Gabriel/divrec 533 1 1 42 2 #f, {#f,#t} ✓ 0.058
35 Larceny/Gabriel/puzzle 24 1 1 0 0 ✓ 0.001
36 Larceny/Gabriel/takl 2509129 108 1 52821 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} ✓ 38.287
37 Larceny/Gabriel/triangl 4 1 1 0 0 ✓ 0    
38 Larceny/Kernighan_and_Van_Wyk/ack 53990 0 0 1546 1 Int ✓ 0.846
39 Larceny/Kernighan_and_Van_Wyk/array1 9011 0 0 96 2 (), {(),Int} ✓ 0.107
40 Larceny/Kernighan_and_Van_Wyk/cat 7 1 1 0 0 ✓ 0.001
41 Larceny/Kernighan_and_Van_Wyk/string 8713 230 1 176 1 Int ✓ 0.084
42 Larceny/Kernighan_and_Van_Wyk/sumloop 12952 0 0 212 1 {#f,#t} ✓ 0.14 
43 Larceny/Kernighan_and_Van_Wyk/tail 7 1 1 0 0 ✓ 0.001
44 Larceny/Kernighan_and_Van_Wyk/wc 8 1 1 0 0 ✓ 0.001
45 Larceny/Numerical/fib 276 0 0 15 1 Int ✓ 0.003
46 Larceny/Numerical/sum 9723 0 0 212 1 Int ✓ 0.099
47 Larceny/Numerical/tak 3710 0 0 127 1 {#f,#t} ✓ 0.04 
48 Larceny/other/conform 4016595 53890 2 0 0 ✕ 606.759 TimedOut
49 Larceny/other/dynamic 3862257 47875 1 0 0 ✕ 605.155 TimedOut
50 Larceny/other/earley 1670 14 1 0 0 ✓ 0.024
51 Larceny/other/fibc 17782 761 1 158 1 Int ✓ 0.162
52 Larceny/other/gcbench 5955263 0 0 11301 1 #f ✕ 604.485 TimedOut
53 Larceny/other/graphs 4377085 52926 10 13035 2 (), Cons(@(proc->vector size (lambda (i) (vector-ref edges i)))-Time(),@state-Time()) ✕ 612.285 TimedOut
54 Larceny/other/lattice 30 1 1 0 0 ✓ 0.001
55 Larceny/other/matrix 3853102 6 2 0 0 ✕ 603.753 TimedOut
56 Larceny/other/maze 22220 1022 10 0 0 ✓ 0.436
57 Larceny/other/mazefun 4406811 88651 1 2 1 Sym ✕ 613.52  TimedOut
58 Larceny/other/nboyer 134986 191 1 1 1 #t ✕ 640.565 TimedOut
59 Larceny/other/nqueens 9477 170 1 41 1 Int ✓ 0.062
60 Larceny/other/paraffins 5572893 2697 1 6212 1 Int ✕ 601.042 TimedOut
61 Larceny/other/perm9 460107 142 2 6990 2 Cons(@x-Time(),@_nil_-Time()), {Cons(@x-Time(),@perms-Time()),Cons(@x-Time(),@_nil_-Time())} ✓ 4.467
62 Larceny/other/peval 284 15 5 0 0 ✓ 0.006
63 Larceny/other/primes 9151 0 0 283 2 #f, {#f,#t} ✓ 0.122
64 Larceny/other/sboyer 134653 190 1 1 1 #t ✕ 626.959 TimedOut
65 Nguyen/ack 316 0 0 16 1 Int ✓ 0.003
66 Nguyen/len 63 0 0 3 2 #f, Int ✓ 0.002
67 OPi/abs 8 0 0 1 1 Int ✓ 0.001
68 OPi/add 4 0 0 1 1 Int ✓ 0    
69 OPi/collatz 13 0 0 2 1 Int ✓ 0.001
70 OPi/factorial_iter 22 0 0 2 1 Int ✓ 0.001
71 OPi/factorial_recur 36 0 0 3 1 Int ✓ 0.001
72 OPi/fibonacci_iter 25 0 0 2 1 Int ✓ 0.001
73 OPi/fibonacci_mutable_iter 37 0 0 2 1 Int ✓ 0.002
74 OPi/fibonacci_recur 276 0 0 15 1 Int ✓ 0.003
75 OPi/gen3fibonacci_recur 3264 0 0 127 1 Int ✓ 0.033
76 OPi/gen4fibonacci_recur 49854 0 0 1517 1 Int ✓ 0.598
77 OPi/gen5fibonacci_recur 911786 0 0 22841 1 Int ✓ 12.7  
78 OPi/gen6fibonacci_recur 9425704 0 0 200768 1 Int ✕ 603.58  TimedOut
79 OPi/inc 4 0 0 1 1 Int ✓ 0    
80 OPi/linear_1 3 0 0 1 1 Int ✓ 0    
81 OPi/linear_10 31 0 0 1 1 Int ✓ 0.001
82 OPi/linear_100 301 0 0 1 1 Int ✓ 0.001
83 OPi/linear_1000 3001 0 0 1 1 Int ✓ 0.023
84 OPi/linear_10000 30001 0 0 1 1 Int ✓ 4.393
85 OPi/linear_100000 ✕ java.lang.StackOverflowError
86 OPi/set 7 0 0 1 1 Int ✓ 0.001
87 OPi/old/Ackermann 7035648 27170 1 0 0 ✕ 608.8   TimedOut
88 OPi/old/Fibonacci 3707 63 1 0 0 ✓ 0.022
89 OPi/old/FiboNbSystem 18 1 1 1 1 #f ✓ 0.001
90 OPi/old/partitions 4 1 1 0 0 ✓ 0    
91 other/bound-precision 45 1 1 4 2 #f, #t ✓ 0.001
92 other/church-2-num 23 0 0 2 1 Int ✓ 0.001
93 other/church-6 114 0 0 4 1 Int ✓ 0.002
94 other/collatz 309 0 0 8 1 Int ✓ 0.002
95 other/count 16 0 0 2 1 Str ✓ 0.001
96 other/grid 5308071 0 0 125146 2 #f, {#f,#t} ✕ 600.71  TimedOut
97 other/infinite-1 3 0 0 0 0 ✓ 0    
98 other/infinite-2 6 0 0 0 0 ✓ 0.001
99 other/infinite-3 3 0 0 0 0 ✓ 0    
100 other/letrec-begin 9 0 0 1 1 Int ✓ 0.001
101 other/mceval 4084522 5588 5 0 0 ✕ 606.889 TimedOut
102 other/mut-rec 32 0 0 4 2 #f, #t ✓ 0.001
103 other/nested-defines 8 0 0 1 1 {#f,#t} ✓ 0.001
104 other/sq 7 0 0 1 1 Int ✓ 0.002
105 other/sym 5 0 0 1 1 Sym ✓ 0.001
106 other/widen 53 0 0 6 1 Int ✓ 0.001
107 other/work 285 0 0 3 1 Int ✓ 0.003
108 Parallel_AAM_Andersen_2013/factorial_00 36 0 0 3 1 Int ✓ 0.001
109 Parallel_AAM_Andersen_2013/factorial_05 36 0 0 3 1 Int ✓ 0.001
110 Parallel_AAM_Andersen_2013/factorial_10 36 0 0 3 1 Int ✓ 0.001
111 Parallel_AAM_Andersen_2013/factorial_15 36 0 0 3 1 Int ✓ 0.001
112 Parallel_AAM_Andersen_2013/factorial_20 36 0 0 3 1 Int ✓ 0.001
113 Parallel_AAM_Andersen_2013/hailstone_05 788 0 0 15 1 Int ✓ 0.004
114 Rosetta/easter 3478 0 0 50 2 #f, {#f,#t} ✓ 0.04 
115 Rosetta/quadratic 175390 5201 1 6018 2 #f, {#f,#t} ✓ 1.525
116 SCPI/2.1 6633 0 0 480 2 #f, {#f,#t} ✓ 0.046
117 SCPI/2.4 47 0 0 2 1 {#f,#t} ✓ 0.005
118 SCPI/3.1 367 14 1 14 1 {#f,#t} ✓ 0.003
119 SCPI/3.2.1 852068 24354 1 51180 2 #f, {#f,#t} ✓ 7.796
120 SCPI/3.2 106 0 0 6 1 {#f,#t} ✓ 0.001
121 SCPI/3.3 24079 0 0 864 2 #f, {#f,#t} ✓ 0.296
122 SCPI/3.4 474 0 0 10 1 {#f,#t} ✓ 0.007
123 SCPI/3.6 169567 4494 2 5500 2 #f, {#f,#t} ✓ 4.109
124 SCPI/3.8 6884 204 1 429 2 #f, {#f,#t} ✓ 0.059
125 SCPI/3.9 13820 0 0 134 2 #f, {#f,#t} ✓ 4.11 
126 SCPI/4.1 1071 0 0 1 1 {#f,#t} ✓ 0.021
127 SCPI/4.8 9961 81 2 232 2 #f, {#f,#t} ✓ 0.11 
128 SCPI/5.14.3 5372051 0 0 20 1 #f ✕ 600.375 TimedOut
129 SCPI/5.19 4498332 0 0 81780 2 #f, {#f,#t} ✕ 606.228 TimedOut
130 SCPI/5.20.4 5224 0 0 100 2 #f, {#f,#t} ✓ 1.085
131 SCPI/5.21 3857153 0 0 100174 1 #f ✕ 606.369 TimedOut
132 SCPI/5.22 6266036 504791 5 7340 1 #f ✕ 631.146 TimedOut
133 SCPI/5.6 4116 0 0 196 2 #f, {#f,#t} ✓ 0.124
134 SCPI/5.7 191902 0 0 5031 2 #f, {#f,#t} ✓ 19.565
135 SCPI/7.11 5613589 0 0 114839 2 #f, {#f,#t} ✕ 601.529 TimedOut
136 SCPI/7.12 6581464 0 0 158088 2 #f, {#f,#t} ✕ 613.426 TimedOut
137 SCPI/7.13 2272585 49656 1 34426 2 #f, {#f,#t} ✕ 602.988 TimedOut
138 SCPI/7.14 4009626 252 1 75829 1 #f ✕ 600.028 TimedOut
139 SCPI/7.15 4361015 98 1 72952 2 #f, #t ✕ 601.39  TimedOut
140 SCPI/7.16 5896984 1156 13 78428 1 #f ✕ 600.297 TimedOut
141 SCPI/7.17 4073365 26333 1 79898 2 #f, {#f,#t} ✕ 604.374 TimedOut
142 SCPI/7.18 12 1 1 0 0 ✓ 0.001
143 SCPI/7.2 6492892 0 0 182181 2 #f, Bool ✕ 605.792 TimedOut
144 SCPI/7.3 4214818 0 0 89052 2 #f, {#f,#t} ✕ 602.057 TimedOut
145 SCPI/7.4 232018 0 0 8779 2 #f, {#f,#t} ✓ 157.436
146 SCPI/7.5 3610766 0 0 66118 2 #f, #t ✕ 604.279 TimedOut
147 SCPI/8.1.1 94 0 0 5 2 #f, {#f,#t} ✓ 0.001
148 SCPI/8.1.3 95 0 0 5 2 #f, {#f,#t} ✓ 0.001
149 SCPI/8.10 7029462 234344 9 0 0 ✕ 610.71  TimedOut
150 SCPI/8.11 8 1 1 0 0 ✓ 0.001
151 SCPI/8.12 9269362 566040 4 174575 2 #f, {#f,#t} ✓ 287.252
152 SCPI/8.13 9051786 71136 1 180895 1 #f ✕ 610.499 TimedOut
153 SCPI/8.14 8285581 597356 10 10671 1 #f ✕ 630.259 TimedOut
154 SCPI/8.15 6429739 303709 18 0 0 ✕ 619.612 TimedOut
155 SCPI/8.5 1414 68 3 0 0 ✓ 0.011
156 SCPI/8.6 62 0 0 1 1 {#f,#t} ✓ 0.002
157 SCPI/9.12 758424 15467 1 19459 1 #f ✕ 600.017 TimedOut
158 SCPI/9.13 721 0 0 10 1 {#f,#t} ✓ 0.015
159 SCPI/9.14 1846 0 0 90 1 {#f,#t} ✓ 0.201
160 SCPI/9.15 6845572 0 0 0 0 ✕ 600.586 TimedOut
161 SCPI/9.17 2440234 0 0 93144 2 #f, {#f,#t} ✕ 600.035 TimedOut
162 SCPI/9.18 3131805 30437 1 46464 1 {#f,#t} ✕ 610.093 TimedOut
163 SCPI/9.2 45103 0 0 2072 2 #f, {#f,#t} ✓ 2.369
164 SCPI/9.3 3489 0 0 39 1 {#f,#t} ✓ 0.047
165 SCPI/9.5 3398 0 0 72 2 #f, {#f,#t} ✓ 0.041
166 SCPI/9.6 5071198 0 0 95790 2 #f, #t ✕ 608.221 TimedOut
167 SCPI/9.7 50715 0 0 438 2 #f, {#f,#t} ✓ 0.921
168 SCPI/9.8 245668 6 1 1986 2 #f, {#f,#t} ✓ 8.562
169 SCPI/9.9 5607256 0 0 28870 1 {#f,#t} ✕ 605.425 TimedOut
170 Sergey/examples/facehugger 573 0 0 37 1 Int ✓ 0.004
171 Sergey/examples/initial-example 574 0 0 37 1 Int ✓ 0.004
172 Sergey/gcfa2/blur 188 15 2 6 2 #f, {#f,#t} ✓ 0.002
173 Sergey/gcfa2/eta 10 0 0 1 1 {#f,#t} ✓ 0.001
174 Sergey/gcfa2/kcfa2 101 0 0 2 1 {#f,#t} ✓ 0.002
175 Sergey/gcfa2/kcfa3 190 0 0 2 1 {#f,#t} ✓ 0.003
176 Sergey/gcfa2/loop2 94 0 0 3 1 Int ✓ 0.002
177 Sergey/gcfa2/mj09 36 0 0 1 1 Int ✓ 0.001
178 Sergey/gcfa2/sat 18728 0 0 672 3 #f, #t, {#f,#t} ✓ 0.512
179 Sergey/jfp/primtest 243472 6642 1 2439 1 Int ✓ 2.678
180 Sergey/jfp/regex 5780143 0 0 19726 2 #t, {#f,#t} ✕ 608.183 TimedOut
181 Sergey/jfp/rsa 214420 9000 4 4776 1 #f ✓ 2.96 
182 Sergey/kcfa/eta 47 0 0 4 2 #f, {#f,#t} ✓ 0.001
183 Sergey/kcfa/fermat 270306 6642 1 2439 1 #f ✓ 2.734
184 Sergey/kcfa/indirect-hol 19 0 0 1 1 {#f,#t} ✓ 0.001
185 Sergey/kcfa/kcfa-worst-case-1 12 0 0 1 1 {#f,#t} ✓ 0.001
186 Sergey/kcfa/kcfa-worst-case-10 5829 0 0 1 1 {#f,#t} ✓ 0.076
187 Sergey/kcfa/kcfa-worst-case-128 2198259 0 0 0 0 ✕ 602.61  TimedOut
188 Sergey/kcfa/kcfa-worst-case-16 32792 0 0 1 1 {#f,#t} ✓ 0.483
189 Sergey/kcfa/kcfa-worst-case-160 1926968 0 0 0 0 ✕ 600.548 TimedOut
190 Sergey/kcfa/kcfa-worst-case-2 39 0 0 1 1 {#f,#t} ✓ 0.001
191 Sergey/kcfa/kcfa-worst-case-20 75879 0 0 1 1 {#f,#t} ✓ 1.276
192 Sergey/kcfa/kcfa-worst-case-256 1424663 0 0 0 0 ✕ 601.182 TimedOut
193 Sergey/kcfa/kcfa-worst-case-3 110 0 0 1 1 {#f,#t} ✓ 0.002
194 Sergey/kcfa/kcfa-worst-case-32 457324 0 0 1 1 {#f,#t} ✓ 10.354
195 Sergey/kcfa/kcfa-worst-case-4 259 0 0 1 1 {#f,#t} ✓ 0.004
196 Sergey/kcfa/kcfa-worst-case-40 1084654 0 0 1 1 {#f,#t} ✓ 28.311
197 Sergey/kcfa/kcfa-worst-case-5 529 0 0 1 1 {#f,#t} ✓ 0.007
198 Sergey/kcfa/kcfa-worst-case-6 972 0 0 1 1 {#f,#t} ✓ 0.012
199 Sergey/kcfa/kcfa-worst-case-64 2843400 0 0 0 0 ✕ 600.706 TimedOut
200 Sergey/kcfa/kcfa-worst-case-7 1649 0 0 1 1 {#f,#t} ✓ 0.021
201 Sergey/kcfa/kcfa-worst-case-8 2630 0 0 1 1 {#f,#t} ✓ 0.033
202 Sergey/kcfa/kcfa-worst-case-80 2683946 0 0 0 0 ✕ 602.601 TimedOut
203 Sergey/kcfa/kcfa-worst-case-9 3994 0 0 1 1 {#f,#t} ✓ 0.049
204 Sergey/kcfa/map-pattern 2 0 0 1 1 #f ✓ 0    
205 Sergey/kcfa/regex-derivative 5697855 0 0 0 0 ✕ 601.152 TimedOut
206 Sergey/kcfa/rsa 300388 9000 4 4776 1 #f ✓ 3.259
207 Sergey/kcfa/sat-brute 57108 0 0 870 1 #f ✓ 1.143
208 Sergey/kcfa/simple-id 9 0 0 1 1 #<clo> ✓ 0.001
209 Sergey/kcfa/solovay-strassen 698817 18162 1 4878 1 #f ✓ 8.299
210 SigScheme/arithint 4 1 1 0 0 ✓ 0    
211 SigScheme/case 4 1 1 0 0 ✓ 0    
212 SigScheme/let-loop 4 1 1 0 0 ✓ 0    
213 SigScheme/loop 4 1 1 0 0 ✓ 0    
214 SigScheme/mem 6 1 1 0 0 ✓ 0.001
215 SigScheme/rec 13093 0 0 473 1 #<clo> ✓ 0.186
216 SigScheme/takr 5371860 0 0 5281 1 Int ✕ 639.893 TimedOut