Index of /surynpav/research/csclp2010/csclp2010_experiments/cnfs
Name Last modified Size Description
Parent Directory -
uuf250-0100.cnf 17-Oct-2010 18:07 15K
sw100-5.cnf 17-Oct-2010 18:07 36K
ssa7552-160.cnf 17-Oct-2010 18:07 38K
s3-3-3-8.cnf 17-Oct-2010 18:07 99K
pret150_75.cnf 17-Oct-2010 18:07 11K
par16-1.cnf 17-Oct-2010 18:07 52K
par16-1-c.cnf 17-Oct-2010 18:07 21K
jnh1.cnf 17-Oct-2010 18:07 24K
huge.cnf 17-Oct-2010 18:07 85K
hanoi4.cnf 17-Oct-2010 18:07 65K
ais12.cnf 17-Oct-2010 18:07 67K
Urq8_5.cnf 17-Oct-2010 18:07 95K
Apache Server at users.fit.cvut.cz Port 443