Index of /files/bitsavers/bits/LMI/jb_full/k-map-check/benchmarks/
| Name | Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| bench.text.22 | 2.8 KiB | 21-Apr-2017 01:20 |
| boyer.kenv.3 | 582 B | 21-Apr-2017 01:20 |
| boyer.kfasl.3 | 42.1 KiB | 21-Apr-2017 01:20 |
| boyer.lisp.4 | 13.9 KiB | 21-Apr-2017 01:20 |
| browse-num.lisp.2 | 3.5 KiB | 21-Apr-2017 01:20 |
| browse.kenv.4 | 444 B | 21-Apr-2017 01:20 |
| browse.kfasl.4 | 9.8 KiB | 21-Apr-2017 01:20 |
| browse.lisp.10 | 3.3 KiB | 21-Apr-2017 01:20 |
| deriv.kenv.3 | 532 B | 21-Apr-2017 01:20 |
| deriv.kfasl.3 | 10.8 KiB | 21-Apr-2017 01:20 |
| deriv.lisp.4 | 2.8 KiB | 21-Apr-2017 01:20 |
| destru.kenv.3 | 268 B | 21-Apr-2017 01:20 |
| destru.kfasl.3 | 2.0 KiB | 21-Apr-2017 01:20 |
| destru.lisp.4 | 1.1 KiB | 21-Apr-2017 01:20 |
| div2.kenv.1 | 268 B | 21-Apr-2017 01:20 |
| div2.kfasl.1 | 1.6 KiB | 21-Apr-2017 01:20 |
| div2.lisp.2 | 1.1 KiB | 21-Apr-2017 01:20 |
| fft.lisp.4 | 3.8 KiB | 21-Apr-2017 01:20 |
| fprint.lisp.1 | 1.3 KiB | 21-Apr-2017 01:20 |
| fread.lisp.1 | 622 B | 21-Apr-2017 01:20 |
| frpoly.lisp.1 | 5.8 KiB | 21-Apr-2017 01:20 |
| puzzle.kenv.4 | 496 B | 21-Apr-2017 01:20 |
| puzzle.kfasl.4 | 11.3 KiB | 21-Apr-2017 01:20 |
| puzzle.lisp.6 | 3.8 KiB | 21-Apr-2017 01:20 |
| tak.kenv.1 | 650 B | 21-Apr-2017 01:20 |
| tak.kfasl.1 | 40.3 KiB | 21-Apr-2017 01:20 |
| tak.lisp.4 | 16.0 KiB | 21-Apr-2017 01:20 |
| tprint.lisp.1 | 941 B | 21-Apr-2017 01:20 |
| traverse.kenv.12 | 4.6 KiB | 21-Apr-2017 01:20 |
| traverse.kfasl.12 | 30.6 KiB | 21-Apr-2017 01:20 |
| traverse.lisp.14 | 3.5 KiB | 21-Apr-2017 01:20 |
| triang.kenv.2 | 402 B | 21-Apr-2017 01:20 |
| triang.kfasl.2 | 6.6 KiB | 21-Apr-2017 01:20 |
| triang.lisp.4 | 2.5 KiB | 21-Apr-2017 01:20 |