Index of ftp://ftp.uni-paderborn.de/pub/doc/SAT-Wettbewerb/satcomp/easy
![[DIR]](/icons/back.gif)
Parent Directory
![[DIR]](/icons/folder.gif) fo3l | 1.30Kb | October 9 1994 |
| fo4l | 1.30Kb | October 9 1994 |
| fo5l | 1.30Kb | October 9 1994 |
| fo6l | 1.30Kb | October 9 1994 |
| fo7l | 1.30Kb | October 9 1994 |
| fo8l | 1.30Kb | October 9 1994 |
| fokl | 1.30Kb | October 9 1994 |