Index of /~marche/termination-competition/2007/muterm

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bc2sat2007-05-16 17:48 247K 
[   ]bc2sat.qualif2007-05-16 17:48 247K 
[   ]muterm-competition.tar.gz2007-06-04 00:54 1.5M 
[   ]muterm.tar.gz2007-05-21 18:42 1.5M 
[DIR]results/2007-06-08 14:12 -  
[   ]runme2007-06-04 00:34 3.9M 
[   ]runme.qualif2007-05-21 18:28 3.8M 
[   ]sat2007-05-16 17:44 504K 
[   ]sat.qualif2007-05-16 17:44 504K 

Apache/2.4.7 (Ubuntu) Server at www.lri.fr Port 80