![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| efficient-mines.txt | 2005-01-08 19:30 | 7.8M | |
| efficient-factories-with-domination-list.txt.gz | 2005-01-30 16:15 | 5.1M | |
| efficient-factories-just-configs.txt | 2005-01-30 16:13 | 137K | |
| cropped-contour-plot.png | 2005-01-08 18:26 | 75K | |
| factories.cc | 2005-01-30 16:19 | 7.0K | |
| mines.cc | 2005-01-30 16:19 | 6.2K | |