Index of /pub/sat-files/benchmarks

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]tm2-yes.cnf.Z1996-01-17 08:37 8.4K 
[   ]tm1-yes.cnf.Z1996-01-17 08:37 180K 
[TXT]supertab.sty1996-01-17 11:03 19K 
[TXT]set1contents.tex1996-01-17 11:03 1.7K 
[   ]as15-yes.cnf.Z1996-01-17 08:37 24K 
[   ]as14-yes.cnf.Z1996-01-17 08:37 4.7K 
[   ]as13-yes.cnf.Z1996-01-17 08:37 15K 
[   ]as12-yes.cnf.Z1996-01-17 08:37 5.9K 
[   ]as11-yes.cnf.Z1996-01-17 08:37 7.9K 
[   ]as10-yes.cnf.Z1996-01-17 08:37 18K 
[   ]as9-no.cnf.Z1996-01-17 08:37 8.1K 
[   ]as8-yes.cnf.Z1996-01-17 08:37 6.0K 
[   ]as7-yes.cnf.Z1996-01-17 08:37 129K 
[   ]as6-yes.cnf.Z1996-01-17 08:37 15K 
[   ]as5-yes.cnf.Z1996-01-17 08:37 240K 
[   ]as4-yes.cnf.Z1996-01-17 08:37 28K 
[   ]as3-yes.cnf.Z1996-01-17 08:37 5.7K 
[   ]as2-yes.cnf.Z1996-01-17 08:37 5.6K 
[   ]as1-yes.cnf.Z1996-01-17 08:37 246K 

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