![]() | 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 | |