Index of /bitsavers.org/bits/LMI/dj_full/l/verify/bench/


../
boyer.lisp.3                                       21-Apr-2017 01:46               12850
boyeru.lisp.1                                      21-Apr-2017 01:46               13504
boyeru.lisp.2                                      21-Apr-2017 01:46               13485
browse.lisp.12                                     21-Apr-2017 01:46                3381
browseu.lisp.1                                     21-Apr-2017 01:46                3910
browseu.lisp.2                                     21-Apr-2017 01:46                3891
copyright.text.1                                   21-Apr-2017 01:46                 499
ctak.lisp.5                                        21-Apr-2017 01:46                 636
dderiv.lisp.9                                      21-Apr-2017 01:46                1373
dderivu.lisp.6                                     21-Apr-2017 01:46                1949
deriv.lisp.10                                      21-Apr-2017 01:46                1428
derivu.lisp.2                                      21-Apr-2017 01:46                1837
derivu.lisp.3                                      21-Apr-2017 01:46                1856
derivu.lisp.4                                      21-Apr-2017 01:46                1837
destru.lisp.3                                      21-Apr-2017 01:46                1154
destruu.lisp.3                                     21-Apr-2017 01:46                1785
destruu.lisp.4                                     21-Apr-2017 01:46                1766
div2.lisp.3                                        21-Apr-2017 01:46                 872
div2u.lisp.3                                       21-Apr-2017 01:46                1318
div2u.lisp.4                                       21-Apr-2017 01:46                1356
div2u.lisp.5                                       21-Apr-2017 01:46                1318
ffderiv.lisp.7                                     21-Apr-2017 01:46                1522
fft.lisp.1                                         21-Apr-2017 01:46                3508
fft.lisp.7                                         21-Apr-2017 01:46                3447
fft.lisp.8                                         21-Apr-2017 01:46                3463
fftu.lisp.4                                        21-Apr-2017 01:46                4088
fftu.lisp.7                                        21-Apr-2017 01:46                4203
fftu.lisp.8                                        21-Apr-2017 01:46                4241
fftu.lisp.9                                        21-Apr-2017 01:46                4203
fprint.lisp.5                                      21-Apr-2017 01:46                1315
fread.lisp.5                                       21-Apr-2017 01:46                 613
frpoly.lisp.11                                     21-Apr-2017 01:46                5452
frpolyu.lisp.5                                     21-Apr-2017 01:46                5985
frpolyu.lisp.6                                     21-Apr-2017 01:46                6042
frpolyu.lisp.7                                     21-Apr-2017 01:46                5985
harris.lisp.3                                      21-Apr-2017 01:46                1709
harrisu.lisp.2                                     21-Apr-2017 01:46                2480
marleen.lisp.6                                     21-Apr-2017 01:46                2971
puzzle.lisp.13                                     21-Apr-2017 01:46                3673
puzzleu.lisp.5                                     21-Apr-2017 01:46                5028
puzzleu.lisp.6                                     21-Apr-2017 01:46                5047
puzzleu.lisp.7                                     21-Apr-2017 01:46                5028
stak.lisp.4                                        21-Apr-2017 01:46                 706
staku.lisp.3                                       21-Apr-2017 01:46                1176
staku.lisp.4                                       21-Apr-2017 01:46                1195
staku.lisp.5                                       21-Apr-2017 01:46                1176
sysdef.lisp.67                                     21-Apr-2017 01:46                6604
sysdef.lisp.68                                     21-Apr-2017 01:46                6712
sysdef.lisp.69                                     21-Apr-2017 01:46                6778
tak.lisp.5                                         21-Apr-2017 01:46                 506
takl.lisp.3                                        21-Apr-2017 01:46                 770
taklu.lisp.5                                       21-Apr-2017 01:46                1213
taklu.lisp.6                                       21-Apr-2017 01:46                1234
taklu.lisp.7                                       21-Apr-2017 01:46                1215
takr.lisp.5                                        21-Apr-2017 01:46               17310
takru.lisp.5                                       21-Apr-2017 01:46               26880
taku.lisp.3                                        21-Apr-2017 01:46                1011
taku.lisp.4                                        21-Apr-2017 01:46                1049
taku.lisp.5                                        21-Apr-2017 01:46                1011
tprint.lisp.3                                      21-Apr-2017 01:46                 921
traverse.lisp.7                                    21-Apr-2017 01:46                3113
traverseu.lisp.6                                   21-Apr-2017 01:46                3897
traverseu.lisp.7                                   21-Apr-2017 01:46                3902
traverseu.lisp.8                                   21-Apr-2017 01:46                3897
traverseu.lisp.9                                   21-Apr-2017 01:46                3859
triang.lisp.8                                      21-Apr-2017 01:46                1756
triangu.lisp.7                                     21-Apr-2017 01:46                2316
triangu.lisp.8                                     21-Apr-2017 01:46                2297
utenn.lisp.7                                       21-Apr-2017 01:46                2065
utennu.lisp.5                                      21-Apr-2017 01:46                2374