![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bc2sat | 2007-05-16 17:48 | 247K | |
| bc2sat.qualif | 2007-05-16 17:48 | 247K | |
| muterm-competition.tar.gz | 2007-06-04 00:54 | 1.5M | |
| muterm.tar.gz | 2007-05-21 18:42 | 1.5M | |
| results/ | 2007-06-08 14:12 | - | |
| runme | 2007-06-04 00:34 | 3.9M | |
| runme.qualif | 2007-05-21 18:28 | 3.8M | |
| sat | 2007-05-16 17:44 | 504K | |
| sat.qualif | 2007-05-16 17:44 | 504K | |