![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 3sat-10clause-10var | 1995-10-19 17:39 | 257 | |
| 3sat-20clause-10var | 1995-10-19 17:39 | 511 | |
| 3sat-20clause-20var | 1995-10-19 17:39 | 532 | |
| 3sat-30clause-10var | 1995-10-19 17:39 | 729 | |
| 3sat-30clause-30var | 1995-10-19 17:39 | 742 | |
| 3sat-40clause-10var | 1995-10-19 17:39 | 935 | |
| 3sat-40clause-20var | 1995-10-19 17:39 | 1.0K | |
| 3sat-60clause-20var | 1995-10-19 17:39 | 1.5K | |
| 3sat-60clause-30var | 1995-10-19 17:39 | 1.5K | |
| 3sat-80clause-20var | 1995-10-19 17:39 | 1.9K | |
| 3sat-90clause-30var | 1995-10-19 17:39 | 2.3K | |
| 3sat-120clause-30var | 1995-10-19 17:39 | 2.9K | |
| outfile.scm | 1995-10-19 22:13 | 3.0K | |
| part1-v10.data | 1995-10-19 22:09 | 206 | |
| part1-v20.data | 1995-10-19 22:09 | 381 | |
| part1-v30.data | 1995-10-19 22:09 | 386 | |
| part1.graph | 1995-10-19 22:12 | 4.2K | |
| part1.plot | 1995-10-19 22:09 | 569 | |
| part1.script | 1995-10-19 20:59 | 2.6K | |