Testing of all example Scheme programs (March 20, 2019)

TypeSet lattice – Classical address – Complete list from Scheme-examples/ – Default step – Sequential AAM – No repetition – 30 minutes timeout (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 Error
1 AlgoDat1/abstrct 1244 0 2 #f, Vec(Int, {Int: @row-Time()}, @__undef-vec-element__) 0.098
2 AlgoDat1/bst 2 0 1 #f 0.001
3 AlgoDat1/btree 2 0 1 #f 0.001
4 AlgoDat1/bubsort 181 0 1 VectorAddress(@vector-Time()) 0.02 
5 AlgoDat1/dict 3769328 3 0 1800.03  TimedOut
6 AlgoDat1/heap 1936 10 1 VectorAddress(@vector-Time()) 0.076
7 AlgoDat1/inssort 198 0 1 VectorAddress(@vector-Time()) 0.005
8 AlgoDat1/linear 4369690 3 0 1800.033 TimedOut
9 AlgoDat1/list 3415063 1 0 1800.019 TimedOut
10 AlgoDat1/mesort 4409922 3 1 VectorAddress(@vector-Time()) 1800.022 TimedOut
11 AlgoDat1/prioq 5566483 3 3 #f, Sym, {#f,#t} 1800.111 TimedOut
12 AlgoDat1/qsort 2073573 0 1 VectorAddress(@vector-Time()) 85.566
13 AlgoDat1/qstand 5302067 0 1 VectorAddress(@vector-Time()) 1805.655 TimedOut
14 AlgoDat1/queue 2 0 1 #f 0    
15 AlgoDat1/quick 175651 1 1 {#f,#t} 8.695
16 AlgoDat1/RBtreeADT 4045606 2 0 1800.039 TimedOut
17 AlgoDat1/selsort 298 0 1 VectorAddress(@vector-Time()) 0.004
18 AlgoDat1/stack 5093526 8 2 #f, {#f,#t} 1800.156 TimedOut
19 AlgoDat1/stspaceCODE 2 0 1 #f 0    
20 AlgoDat1/traverse 2 0 1 #f 0    
21 AlgoDat1/DFS/dfs 2 0 1 #f 0    
22 AlgoDat1/graf/graf 15540 15 1 #t 0.082
23 AlgoDat1/shortest/priorityGraf 2 0 1 #f 0    
24 AlgoDat1/shortest/shortestOLD 2 0 1 #f 0    
25 AlgoDat1/stSpace/STSPACEopl 4 1 0 0    
26 Larceny/Gabriel/boyer 3185515 1 0 1800.004 TimedOut
27 Larceny/Gabriel/browse 2044189 0 1 #f 1800.008 TimedOut
28 Larceny/Gabriel/cpstak 1966 0 1 Int 0.051
29 Larceny/Gabriel/ctak 5 1 0 0.003
30 Larceny/Gabriel/dderiv 3704670 5 0 1800.018 TimedOut
31 Larceny/Gabriel/deriv 69439 4 2 Cons(@'--Time(),@_cons_1-Time()), Int 0.777
32 Larceny/Gabriel/destruc 4708917 2 2 (), {Cons(@'()-Time(),@a-Time()),()} 1800.055 TimedOut
33 Larceny/Gabriel/diviter 593 1 2 #f, {#f,#t} 0.131
34 Larceny/Gabriel/divrec 533 1 2 #f, {#f,#t} 0.046
35 Larceny/Gabriel/puzzle 24 1 0 0.001
36 Larceny/Gabriel/takl 2509129 1 3 (), Cons(@n-Time(),@(listn (- n 1))-Time()), {(),Cons(@n-Time(),@(listn (- n 1))-Time())} 195.252
37 Larceny/Gabriel/triangl 4 1 0 0    
38 Larceny/Kernighan_and_Van_Wyk/ack 53990 0 1 Int 0.985
39 Larceny/Kernighan_and_Van_Wyk/array1 9011 0 2 (), {Int,()} 0.111
40 Larceny/Kernighan_and_Van_Wyk/cat 7 1 0 0.001
41 Larceny/Kernighan_and_Van_Wyk/string 8713 1 1 Int 0.089
42 Larceny/Kernighan_and_Van_Wyk/sumloop 12952 0 1 {#f,#t} 0.15 
43 Larceny/Kernighan_and_Van_Wyk/tail 7 1 0 0.001
44 Larceny/Kernighan_and_Van_Wyk/wc 8 1 0 0.001
45 Larceny/Numerical/fib 276 0 1 Int 0.003
46 Larceny/Numerical/sum 9723 0 1 Int 0.104
47 Larceny/Numerical/tak 3710 0 1 {#f,#t} 0.041
48 Larceny/other/conform 2826388 2 0 1800.054 TimedOut
49 Larceny/other/dynamic 3636163 1 0 1801.425 TimedOut
50 Larceny/other/earley 1670 1 0 0.022
51 Larceny/other/fibc 17782 1 1 Int 0.183
52 Larceny/other/gcbench 3778080 0 1 #f 1800.004 TimedOut
53 Larceny/other/graphs 3768731 10 2 (), Cons(@(proc->vector size (lambda (i) (vector-ref edges i)))-Time(),@state-Time()) 1803.18  TimedOut
54 Larceny/other/lattice 30 1 0 0.002
55 Larceny/other/matrix 3039218 2 0 1800.039 TimedOut
56 Larceny/other/maze 22220 10 0 0.437
57 Larceny/other/mazefun 2909660 1 1 Sym 1800.032 TimedOut
58 Larceny/other/nboyer java.lang.OutOfMemoryError: GC overhead limit exceeded
59 Larceny/other/nqueens 9477 1 1 Int 0.074
60 Larceny/other/paraffins 3879622 1 1 Int 1800.009 TimedOut
61 Larceny/other/perm9 460107 2 2 Cons(@x-Time(),@_nil_-Time()), {Cons(@x-Time(),@perms-Time()),Cons(@x-Time(),@_nil_-Time())} 10.462
62 Larceny/other/peval 284 5 0 0.007
63 Larceny/other/primes 9151 0 2 #f, {#f,#t} 0.111
64 Larceny/other/sboyer java.lang.OutOfMemoryError: GC overhead limit exceeded
65 OPi/abs 8 0 1 Int 0.001
66 OPi/add 4 0 1 Int 0    
67 OPi/factorial_iter 22 0 1 Int 0.001
68 OPi/factorial_recur 36 0 1 Int 0.001
69 OPi/fibonacci_iter 24 0 1 Int 0.001
70 OPi/fibonacci_recur 276 0 1 Int 0.003
71 OPi/gen3fibonacci_recur 3264 0 1 Int 0.033
72 OPi/gen4fibonacci_recur 49854 0 1 Int 0.671
73 OPi/gen5fibonacci_recur 911786 0 1 Int 36.594
74 OPi/gen6fibonacci_recur 5591368 0 1 Int 1800.051 TimedOut
75 OPi/inc 4 0 1 Int 0    
76 OPi/linear_1 3 0 1 Int 0    
77 OPi/linear_10 31 0 1 Int 0.001
78 OPi/linear_100 301 0 1 Int 0.001
79 OPi/linear_1000 3001 0 1 Int 0.022
80 OPi/linear_10000 java.lang.StackOverflowError
81 OPi/linear_100000 java.lang.StackOverflowError
82 OPi/set 7 0 1 Int 0.001
83 OPi/old/Ackermann 3212665 1 0 1800.013 TimedOut
84 OPi/old/Fibonacci 3707 1 0 0.02 
85 OPi/old/FiboNbSystem 18 1 1 #f 0.001
86 OPi/old/partitions 4 1 0 0    
87 other/bound-precision 45 1 2 #f, #t 0.001
88 other/church-2-num 23 0 1 Int 0.001
89 other/church-6 114 0 1 Int 0.002
90 other/collatz 309 0 1 Int 0.002
91 other/count 16 0 1 Str 0.001
92 other/grid 3287244 0 2 #f, {#f,#t} 1800.048 TimedOut
93 other/infinite-1 3 0 0 0    
94 other/infinite-2 6 0 0 0.001
95 other/infinite-3 3 0 0 0    
96 other/letrec-begin 9 0 1 Int 0.001
97 other/mceval 3484282 5 0 1802.572 TimedOut
98 other/mut-rec 32 0 2 #f, #t 0.001
99 other/nested-defines 8 0 1 {#f,#t} 0.001
100 other/sq 7 0 1 Int 0.002
101 other/sym 5 0 1 Sym 0.001
102 other/widen 53 0 1 Int 0.001
103 other/work 285 0 1 Int 0.002
104 Parallel_AAM_Andersen_2013/factorial_00 36 0 1 Int 0.001
105 Parallel_AAM_Andersen_2013/factorial_05 36 0 1 Int 0.001
106 Parallel_AAM_Andersen_2013/factorial_10 36 0 1 Int 0.001
107 Parallel_AAM_Andersen_2013/factorial_15 36 0 1 Int 0.001
108 Parallel_AAM_Andersen_2013/factorial_20 36 0 1 Int 0.001
109 Parallel_AAM_Andersen_2013/hailstone_05 788 0 1 Int 0.004
110 Rosetta/easter 3478 0 2 #f, {#f,#t} 0.038
111 Rosetta/quadratic 175390 1 2 #f, {#f,#t} 2.05 
112 SCPI/2.1 6633 0 2 #f, {#f,#t} 0.047
113 SCPI/2.4 47 0 1 {#f,#t} 0.005
114 SCPI/3.1 367 1 1 {#f,#t} 0.003
115 SCPI/3.2.1 852068 1 2 #f, {#f,#t} 37.705
116 SCPI/3.2 106 0 1 {#f,#t} 0.002
117 SCPI/3.3 24079 0 2 #f, {#f,#t} 0.303
118 SCPI/3.4 474 0 1 {#f,#t} 0.007
119 SCPI/3.6 169567 2 2 #f, {#f,#t} 4.581
120 SCPI/3.8 6884 1 2 #f, {#f,#t} 0.057
121 SCPI/3.9 java.lang.StackOverflowError
122 SCPI/4.1 1071 0 1 {#f,#t} 0.024
123 SCPI/4.8 9961 2 2 #f, {#f,#t} 0.117
124 SCPI/5.14.3 3212831 0 0 1800.027 TimedOut
125 SCPI/5.19 3978953 0 2 #f, {#f,#t} 1804.314 TimedOut
126 SCPI/5.20.4 5224 0 2 #f, {#f,#t} 0.843
127 SCPI/5.21 3506815 0 1 #f 1803.204 TimedOut
128 SCPI/5.22 5439550 5 1 #f 1802.825 TimedOut
129 SCPI/5.6 4116 0 2 #f, {#f,#t} 0.125
130 SCPI/5.7 191902 0 2 #f, {#f,#t} 17.577
131 SCPI/7.11 4407809 0 2 #f, {#f,#t} 1800.046 TimedOut
132 SCPI/7.12 2953176 0 2 #f, {#f,#t} 1800.056 TimedOut
133 SCPI/7.13 2041774 1 2 #f, {#f,#t} 1801.278 TimedOut
134 SCPI/7.14 3185062 1 1 #f 1800.038 TimedOut
135 SCPI/7.15 3194376 1 2 #f, #t 1800.027 TimedOut
136 SCPI/7.16 3124387 3 1 #f 1800.016 TimedOut
137 SCPI/7.17 3327157 1 2 #f, {#f,#t} 1800.052 TimedOut
138 SCPI/7.18 12 1 0 0.001
139 SCPI/7.2 3575730 0 2 #f, Bool 1800.069 TimedOut
140 SCPI/7.3 2576966 0 2 #f, {#f,#t} 1800.031 TimedOut
141 SCPI/7.4 232018 0 2 #f, {#f,#t} 176.732
142 SCPI/7.5 2890325 0 2 #f, #t 1800.036 TimedOut
143 SCPI/8.1.1 94 0 2 #f, {#f,#t} 0.001
144 SCPI/8.1.3 95 0 2 #f, {#f,#t} 0.001
145 SCPI/8.10 3952645 9 0 1800.066 TimedOut
146 SCPI/8.11 8 1 0 0.001
147 SCPI/8.12 6663626 4 2 #f, {#f,#t} 1800.32  TimedOut
148 SCPI/8.13 3338129 1 1 #f 1800.042 TimedOut
149 SCPI/8.14 4110871 10 1 #f 1800.128 TimedOut
150 SCPI/8.15 3873249 18 0 1800.067 TimedOut
151 SCPI/8.5 1414 3 0 0.011
152 SCPI/8.6 62 0 1 {#f,#t} 0.001
153 SCPI/9.12 1768793 1 1 #f 1800.047 TimedOut
154 SCPI/9.13 721 0 1 {#f,#t} 0.014
155 SCPI/9.14 1846 0 1 {#f,#t} 0.171
156 SCPI/9.15 2958539 0 0 1800.016 TimedOut
157 SCPI/9.17 2735202 0 2 #f, {#f,#t} 1800.06  TimedOut
158 SCPI/9.18 2979507 1 1 {#f,#t} 1803.551 TimedOut
159 SCPI/9.2 45103 0 2 #f, {#f,#t} 1.954
160 SCPI/9.3 3489 0 1 {#f,#t} 0.044
161 SCPI/9.5 3398 0 2 #f, {#f,#t} 0.037
162 SCPI/9.6 2238887 0 1 #f 1800.025 TimedOut
163 SCPI/9.7 50715 0 2 #f, {#f,#t} 0.914
164 SCPI/9.8 245668 1 2 #f, {#f,#t} 8.664
165 SCPI/9.9 2940634 0 1 {#f,#t} 1800.008 TimedOut
166 Sergey/examples/facehugger 573 0 1 Int 0.004
167 Sergey/examples/initial-example 574 0 1 Int 0.004
168 Sergey/gcfa2/blur 188 2 2 #f, {#f,#t} 0.002
169 Sergey/gcfa2/eta 10 0 1 {#f,#t} 0.001
170 Sergey/gcfa2/kcfa2 101 0 1 {#f,#t} 0.002
171 Sergey/gcfa2/kcfa3 190 0 1 {#f,#t} 0.003
172 Sergey/gcfa2/loop2 94 0 1 Int 0.002
173 Sergey/gcfa2/mj09 36 0 1 Int 0.001
174 Sergey/gcfa2/sat 18728 0 3 #f, #t, {#f,#t} 0.554
175 Sergey/jfp/primtest 243472 1 1 Int 4.933
176 Sergey/jfp/regex 3046017 0 2 #t, {#f,#t} 1800.004 TimedOut
177 Sergey/jfp/rsa 214420 4 1 #f 5.029
178 Sergey/kcfa/eta 47 0 2 #f, {#f,#t} 0.001
179 Sergey/kcfa/fermat 270306 1 1 #f 5.682
180 Sergey/kcfa/indirect-hol 19 0 1 {#f,#t} 0.001
181 Sergey/kcfa/kcfa-worst-case-1 12 0 1 {#f,#t} 0.001
182 Sergey/kcfa/kcfa-worst-case-10 5829 0 1 {#f,#t} 0.075
183 Sergey/kcfa/kcfa-worst-case-128 2265354 0 0 1818.432 TimedOut
184 Sergey/kcfa/kcfa-worst-case-16 32792 0 1 {#f,#t} 0.525
185 Sergey/kcfa/kcfa-worst-case-160 2006806 0 0 2089.407 TimedOut
186 Sergey/kcfa/kcfa-worst-case-2 39 0 1 {#f,#t} 0.001
187 Sergey/kcfa/kcfa-worst-case-20 75879 0 1 {#f,#t} 1.358
188 Sergey/kcfa/kcfa-worst-case-256 java.lang.OutOfMemoryError: GC overhead limit exceeded
189 Sergey/kcfa/kcfa-worst-case-3 110 0 1 {#f,#t} 0.002
190 Sergey/kcfa/kcfa-worst-case-32 457324 0 1 {#f,#t} 11.637
191 Sergey/kcfa/kcfa-worst-case-4 259 0 1 {#f,#t} 0.004
192 Sergey/kcfa/kcfa-worst-case-40 1084654 0 1 {#f,#t} 33.266
193 Sergey/kcfa/kcfa-worst-case-5 529 0 1 {#f,#t} 0.006
194 Sergey/kcfa/kcfa-worst-case-6 972 0 1 {#f,#t} 0.012
195 Sergey/kcfa/kcfa-worst-case-64 3006556 0 0 1800.608 TimedOut
196 Sergey/kcfa/kcfa-worst-case-7 1649 0 1 {#f,#t} 0.021
197 Sergey/kcfa/kcfa-worst-case-8 2630 0 1 {#f,#t} 0.031
198 Sergey/kcfa/kcfa-worst-case-80 java.lang.OutOfMemoryError: GC overhead limit exceeded
199 Sergey/kcfa/kcfa-worst-case-9 3994 0 1 {#f,#t} 0.048
200 Sergey/kcfa/map-pattern 2 0 1 #f 0    
201 Sergey/kcfa/regex-derivative 3800044 0 0 1800.009 TimedOut
202 Sergey/kcfa/rsa 300388 4 1 #f 7.427
203 Sergey/kcfa/sat-brute 57108 0 1 #f 1.338
204 Sergey/kcfa/simple-id 9 0 1 #<clo> 0.001
205 Sergey/kcfa/solovay-strassen 698817 1 1 #f 23.022
206 SigScheme/arithint 4 1 0 0    
207 SigScheme/case 4 1 0 0    
208 SigScheme/let-loop 4 1 0 0    
209 SigScheme/loop 4 1 0 0    
210 SigScheme/mem 6 1 0 0.001
211 SigScheme/rec 13093 0 1 #<clo> 0.207
212 SigScheme/takr 3782191 0 1 Int 1800.01  TimedOut