Index of /bits/LMI/jb_full/k-map-check/benchmarks/?C=S&O=D

Icon  Name                           Last modified      Size  
[PARENTDIR] Parent Directory                                    -   
[   ] boyer.kfasl.3                  2017-04-21 02:20   42K  
[   ] tak.kfasl.1                    2017-04-21 02:20   40K  
[   ] traverse.kfasl.12              2017-04-21 02:20   31K  
[   ] tak.lisp.4                     2017-04-21 02:20   16K  
[   ] boyer.lisp.4                   2017-04-21 02:20   14K  
[   ] puzzle.kfasl.4                 2017-04-21 02:20   11K  
[   ] deriv.kfasl.3                  2017-04-21 02:20   11K  
[   ] browse.kfasl.4                 2017-04-21 02:20  9.8K  
[   ] triang.kfasl.2                 2017-04-21 02:20  6.6K  
[   ] frpoly.lisp.1                  2017-04-21 02:20  5.8K  
[   ] traverse.kenv.12               2017-04-21 02:20  4.6K  
[   ] fft.lisp.4                     2017-04-21 02:20  3.8K  
[   ] puzzle.lisp.6                  2017-04-21 02:20  3.8K  
[   ] browse-num.lisp.2              2017-04-21 02:20  3.5K  
[   ] traverse.lisp.14               2017-04-21 02:20  3.5K  
[   ] browse.lisp.10                 2017-04-21 02:20  3.3K  
[   ] deriv.lisp.4                   2017-04-21 02:20  2.8K  
[TXT] bench.text.22                  2017-04-21 02:20  2.8K  
[   ] triang.lisp.4                  2017-04-21 02:20  2.5K  
[   ] destru.kfasl.3                 2017-04-21 02:20  2.0K  
[   ] div2.kfasl.1                   2017-04-21 02:20  1.6K  
[   ] fprint.lisp.1                  2017-04-21 02:20  1.3K  
[   ] destru.lisp.4                  2017-04-21 02:20  1.1K  
[   ] div2.lisp.2                    2017-04-21 02:20  1.1K  
[   ] tprint.lisp.1                  2017-04-21 02:20  941   
[   ] tak.kenv.1                     2017-04-21 02:20  650   
[   ] fread.lisp.1                   2017-04-21 02:20  622   
[   ] boyer.kenv.3                   2017-04-21 02:20  582   
[   ] deriv.kenv.3                   2017-04-21 02:20  532   
[   ] puzzle.kenv.4                  2017-04-21 02:20  496   
[   ] browse.kenv.4                  2017-04-21 02:20  444   
[   ] triang.kenv.2                  2017-04-21 02:20  402   
[   ] div2.kenv.1                    2017-04-21 02:20  268   
[   ] destru.kenv.3                  2017-04-21 02:20  268