Index of ftp://ftp.uni-paderborn.de/pub/doc/SAT-Wettbewerb/satcomp/hard
![[DIR]](/icons/back.gif)
Parent Directory
![[DIR]](/icons/folder.gif) fo3 | 1.30Kb | October 9 1994 |
| fo4 | 1.30Kb | October 9 1994 |
| fo5 | 1.30Kb | October 9 1994 |
| fo6 | 1.30Kb | October 9 1994 |
| fo7 | 1.30Kb | October 9 1994 |
| fo8 | 1.30Kb | October 9 1994 |
| fok | 1.30Kb | October 9 1994 |