Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
een-tipb-sr06-par1.cnf | 2006-09-07 23:06 | 8.4M | ||
queen-20.cnf | 2006-09-07 23:06 | 144K | ||
q2.10.ucl.1.0.bench.cnf | 2006-09-07 23:08 | 106K | ||
md5_8_4_10.cnf | 2006-09-07 23:09 | 1.9M | ||
pigeon_hole_12_13.cnf | 2006-09-07 23:11 | 10K | ||