Index of /bitsavers.org/bits/LMI/jb_full/k-map-check/benchmarks/

../
bench.text.22                                      21-Apr-2017 01:20                2850
boyer.kenv.3                                       21-Apr-2017 01:20                 582
boyer.kfasl.3                                      21-Apr-2017 01:20               43092
boyer.lisp.4                                       21-Apr-2017 01:20               14234
browse-num.lisp.2                                  21-Apr-2017 01:20                3620
browse.kenv.4                                      21-Apr-2017 01:20                 444
browse.kfasl.4                                     21-Apr-2017 01:20               10057
browse.lisp.10                                     21-Apr-2017 01:20                3409
deriv.kenv.3                                       21-Apr-2017 01:20                 532
deriv.kfasl.3                                      21-Apr-2017 01:20               11034
deriv.lisp.4                                       21-Apr-2017 01:20                2866
destru.kenv.3                                      21-Apr-2017 01:20                 268
destru.kfasl.3                                     21-Apr-2017 01:20                2021
destru.lisp.4                                      21-Apr-2017 01:20                1115
div2.kenv.1                                        21-Apr-2017 01:20                 268
div2.kfasl.1                                       21-Apr-2017 01:20                1689
div2.lisp.2                                        21-Apr-2017 01:20                1086
fft.lisp.4                                         21-Apr-2017 01:20                3936
fprint.lisp.1                                      21-Apr-2017 01:20                1323
fread.lisp.1                                       21-Apr-2017 01:20                 622
frpoly.lisp.1                                      21-Apr-2017 01:20                5975
puzzle.kenv.4                                      21-Apr-2017 01:20                 496
puzzle.kfasl.4                                     21-Apr-2017 01:20               11575
puzzle.lisp.6                                      21-Apr-2017 01:20                3873
tak.kenv.1                                         21-Apr-2017 01:20                 650
tak.kfasl.1                                        21-Apr-2017 01:20               41274
tak.lisp.4                                         21-Apr-2017 01:20               16343
tprint.lisp.1                                      21-Apr-2017 01:20                 941
traverse.kenv.12                                   21-Apr-2017 01:20                4746
traverse.kfasl.12                                  21-Apr-2017 01:20               31324
traverse.lisp.14                                   21-Apr-2017 01:20                3608
triang.kenv.2                                      21-Apr-2017 01:20                 402
triang.kfasl.2                                     21-Apr-2017 01:20                6785
triang.lisp.4                                      21-Apr-2017 01:20                2511