Index of /pub/challenge/sat/benchmarks/volume/Machine

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]Makefile1993-12-12 12:50 310  
[   ]README1993-12-14 19:00 2.6K 
[TXT]dfmax.c1993-12-12 12:50 7.1K 
[   ]r100.5.b1993-12-12 12:50 695  
[   ]r200.5.b1993-12-12 12:50 2.6K 
[   ]r300.5.b1993-12-12 12:50 5.7K 
[   ]r400.5.b1993-12-12 12:50 10K 
[   ]r500.5.b1993-12-12 12:50 16K 
[   ]results.sparc10.411993-12-12 12:50 566  

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