![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/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 | 16-May-2007 17:48 | 247K | |
| bc2sat.qualif | 16-May-2007 17:48 | 247K | |
| muterm-competition.tar.gz | 04-Jun-2007 00:54 | 1.5M | |
| muterm.tar.gz | 21-May-2007 18:42 | 1.5M | |
| results/ | 08-Jun-2007 14:12 | - | |
| runme | 04-Jun-2007 00:34 | 3.9M | |
| runme.qualif | 21-May-2007 18:28 | 3.8M | |
| sat | 16-May-2007 17:44 | 504K | |
| sat.qualif | 16-May-2007 17:44 | 504K | |