![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/hand.right.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| OUTPUT | 1996-07-31 22:34 | 4.1K | |
| README | 1996-07-31 22:29 | 476 | |
| examples.tar.u | 1996-07-31 22:41 | 209K | |
| sat.200 | 1996-07-31 22:01 | 10K | |
| sat.200.cnf | 1996-07-31 22:03 | 12K | |
| unsat.10 | 1996-07-31 21:57 | 377 | |
| unsat.20 | 1996-07-31 22:00 | 833 | |
| unsat.50 | 1996-07-31 22:00 | 2.1K | |
| unsat.100 | 1996-07-31 22:01 | 4.3K | |
| unsat.200 | 1996-07-31 22:04 | 10K | |