Index of /pub/challenge/proposals/sat

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ward.tex1993-03-14 10:03 13K 
[TXT]walsh.tex1993-03-14 10:03 4.8K 
[TXT]tuncel.tex1993-03-14 10:03 5.0K 
[   ]tsuji.ps1993-03-14 10:03 61K 
[TXT]pilgrim.asc1993-03-14 10:03 2.2K 
[TXT]mr81a.tex1993-03-14 10:03 5.0K 
[   ]moorthy.ps1993-03-14 10:03 62K 
[TXT]iwama.tex1993-03-14 10:03 19K 
[TXT]hampson.asc1993-03-16 09:27 2.2K 
[TXT]haglin2.tex1993-03-14 10:03 5.2K 
[TXT]haglin1.tex1993-03-14 10:03 22K 
[TXT]freuder.asc1993-03-14 10:03 1.8K 
[TXT]dubois.tex1993-03-14 10:03 14K 
[   ]crawford.ps1993-03-14 10:03 136K 
[TXT]annex.tex1993-03-14 10:03 5.6K 

Apache/2.4.10 (Debian) Server at archive.dimacs.rutgers.edu Port 80