Index of /papers/optchk-scp2017/shapes

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]factorial.pl2017-07-21 23:41 300  
[TXT]fib.pl2017-07-21 23:45 471  
[TXT]nreverse.pl2017-07-21 23:55 476  
[TXT]tak.pl2017-07-22 00:04 511  
[TXT]deriv.pl2017-07-21 23:38 920  
[TXT]hanoi.pl2017-07-21 23:51 969  
[TXT]primes.pl2017-07-21 23:58 1.0K 
[TXT]qsort.pl2017-07-22 00:01 1.0K 
[TXT]exp.pl2017-07-21 23:40 1.1K 
[TXT]queens.pl2017-07-22 00:02 1.1K 
[TXT]mmatrix.pl2017-07-21 23:55 1.1K 
[TXT]knights.pl2017-07-21 23:53 1.5K 
[TXT]progeom.pl2017-07-22 00:00 2.0K 
[TXT]serialize.pl2017-07-22 00:03 2.1K 
[TXT]crypt.pl2017-07-21 23:36 2.6K 
[TXT]hamming.pl2017-07-21 23:49 2.7K 
[TXT]guardians.pl2017-07-21 23:47 3.6K 
[TXT]poly.pl2017-07-21 23:57 3.8K 
[TXT]fft.pl2017-07-21 23:43 4.8K 
[TXT]jugs.pl2017-07-21 23:52 5.1K 
[TXT]boyerx.pl2017-07-21 22:57 14K 
[TXT]boyer.pl2017-07-21 22:52 20K 
[TXT]witt.pl2017-07-22 00:07 28K 

Apache/2.4.59 (Debian) Server at cliplab.org Port 443