Index of /~filliatr/puf/bench

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]configure.in2007-06-13 08:01 4.5K 
[   ]pa.ml2007-06-13 08:01 1.0K 
[   ]pa1.ml2007-06-13 08:01 1.2K 
[   ]pa2.ml2007-06-13 08:01 1.3K 
[   ]pa2resize.ml2007-06-13 08:01 1.3K 
[   ]pa3.ml2007-06-13 08:01 1.4K 
[   ]pa4.ml2007-06-13 08:01 1.5K 
[   ]pptarjan.ml2007-06-13 08:01 966  
[   ]pt1.ml2007-06-13 08:01 890  
[   ]ptarjan.ml2007-06-13 08:01 936  
[   ]puf1.ml2007-06-13 08:01 450  
[   ]puf2.ml2007-06-13 08:01 957  
[   ]puf3.ml2007-06-13 08:01 436  
[   ]puf4.ml2007-06-13 08:01 2.5K 
[   ]puf5.ml2007-06-13 08:01 3.7K 
[   ]puf6.ml2007-06-13 08:01 413  
[   ]sig.mli2007-06-13 08:01 519  
[   ]tarjan.ml2007-06-13 08:01 683  
[   ]tarjan2.ml2007-06-13 08:01 586  
[DIR]autom4te.cache/2007-06-13 08:01 -  
[   ]configure2007-06-13 08:01 85K 
[   ]Makefile.in2007-06-13 08:01 4.4K 
[   ]Makefile2007-06-13 08:01 4.4K 
[   ]config.status2007-06-13 08:01 20K 
[   ]bench.ml2007-06-13 08:02 4.0K 
[   ]bench.opt2007-06-13 08:02 384K 

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