Index of /pub/challenge/sat/contributed/UCSC/instances

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Cnfgen.tar.Z1993-07-11 14:08 24K 
[   ]Cnfparse.tar.Z1993-07-11 14:08 50K 
[   ]README-Jul091993-07-11 14:08 650  
[   ]README-Jul111993-07-11 14:08 405  
[   ]cnf-bf.tar1993-07-12 16:59 7.1M 
[DIR]cnf-bf/1993-07-11 16:43 -  
[   ]cnf-ssa.tar1993-07-12 17:00 2.2M 
[DIR]cnf-ssa/1993-07-11 16:44 -  

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