Index of /~simon/contest/results/download

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]distrib-benchs-crafted-sat2005.tar.bz22005-07-28 12:56 343M 
[   ]distrib-benchs-industrial-sat2005.tar.bz22005-07-28 12:57 196M 
[   ]distrib-benchs-random-sat2005.tar.bz22005-07-28 12:57 24M 
[   ]raw-results-first-stage.bz22005-07-28 11:40 184K 
[   ]raw-results-second-stage.bz22005-07-28 11:40 55K 

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