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

../
bench.lisp.6                                       21-Apr-2017 01:42                1701
boyer.lisp.6                                       21-Apr-2017 01:42               45298
dderiv.lisp.1                                      21-Apr-2017 01:42                4374
deriv-compiled.lisp.1                              21-Apr-2017 01:42                5812
deriv.lisp.4                                       21-Apr-2017 01:42                6628
destru-compiled.lisp.1                             21-Apr-2017 01:42               28372
destru.lisp.11                                     21-Apr-2017 01:42                 929
div2-compiled.lisp.1                               21-Apr-2017 01:42                2660
div2-demo.lisp.1                                   21-Apr-2017 01:42                2954
div2-test.lisp.5                                   21-Apr-2017 01:42                2715
div2.lisp.2                                        21-Apr-2017 01:42                2885
memref.lisp.5                                      21-Apr-2017 01:42                 580
tak-compiled.lisp.1                                21-Apr-2017 01:42                 624
tak.lisp.2                                         21-Apr-2017 01:42                 163
takl.lisp.1                                        21-Apr-2017 01:42                1758