Index of /~marche/termination-competition/2004/tpdb/Rubio

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]mfp95.trs2004-03-05 16:27 51  
[   ]mfp90b.trs2004-03-05 16:27 60  
[   ]nestrec.trs2004-03-05 16:27 60  
[   ]aoto.trs2004-03-05 16:27 70  
[   ]p266.trs2004-03-05 16:27 78  
[   ]test829.trs2004-03-05 16:27 78  
[   ]koen.trs2004-03-05 16:27 80  
[   ]lindau.trs2004-03-05 16:27 83  
[   ]test4.trs2004-03-05 16:27 93  
[   ]bn122.trs2004-03-05 16:27 97  
[   ]prov.trs2004-03-05 16:27 101  
[   ]lescanne.trs2004-03-05 16:27 102  
[   ]gmnp.trs2004-03-05 16:27 132  
[   ]gm.trs2004-03-05 16:27 144  
[   ]bn129.trs2004-03-05 16:27 149  
[   ]herchydra.trs2004-03-05 16:27 179  
[   ]logarquot.trs2004-03-05 16:27 181  
[   ]quotminus.trs2004-03-05 16:27 202  
[   ]mfp95.trs.cim22004-07-01 15:47 208  
[   ]revlist.trs2004-03-05 16:27 221  
[   ]ackclaude.trs2004-03-05 16:27 222  
[   ]nestrec.trs.cim22004-07-01 15:47 226  
[   ]bintrees.trs2004-03-05 16:27 227  
[   ]aoto.trs.cim22004-07-01 15:29 233  
[   ]mfp90b.trs.cim22004-07-01 15:47 243  
[   ]p266.trs.cim22004-07-01 15:47 262  
[   ]test829.trs.cim22004-07-01 15:57 267  
[   ]division.trs2004-03-05 16:27 269  
[   ]koen.trs.cim22004-07-01 15:44 272  
[   ]lindau.trs.cim22004-07-01 15:44 275  
[   ]bn122.trs.cim22004-07-01 15:29 283  
[   ]lescanne.trs.cim22004-07-01 15:44 292  
[   ]elimdupl.trs2004-03-05 16:27 298  
[   ]prov.trs.cim22004-07-01 15:51 305  
[   ]test4.trs.cim22004-07-01 15:57 305  
[   ]insertsort.trs2004-03-05 16:27 308  
[   ]gcd.trs2004-03-05 16:27 309  
[   ]bn129.trs.cim22004-07-01 15:29 340  
[   ]gm.trs.cim22004-07-01 15:37 379  
[   ]gmnp.trs.cim22004-07-01 15:37 383  
[   ]wst99.trs2004-03-05 16:27 427  
[   ]logarquot.trs.cim22004-07-01 15:44 441  
[   ]herchydra.trs.cim22004-07-01 15:37 464  
[   ]quotminus.trs.cim22004-07-01 15:54 486  
[   ]bintrees.trs.cim22004-07-01 15:29 499  
[   ]ackclaude.trs.cim22004-07-01 15:29 500  
[   ]revlist.trs.cim22004-07-01 15:54 513  
[   ]quick.trs2004-03-05 16:27 551  
[   ]polo2.trs2004-03-05 16:27 574  
[   ]enno.trs2004-03-05 16:27 597  
[   ]division.trs.cim22004-07-01 15:32 614  
[   ]insertsort.trs.cim22004-07-01 15:43 649  
[   ]elimdupl.trs.cim22004-07-01 15:35 675  
[   ]gcd.trs.cim22004-07-01 15:37 693  
[   ]selsort.trs2004-03-05 16:27 771  
[   ]wst99.trs.cim22004-07-01 15:57 862  
[   ]ma96.trs2004-03-05 16:27 938  
[   ]polo2.trs.cim22004-07-01 15:50 962  
[   ]enno.trs.cim22004-07-01 15:36 1.0K 
[   ]quick.trs.cim22004-07-01 15:53 1.0K 
[   ]selsort.trs.cim22004-07-01 15:56 1.4K 
[   ]ma96.trs.cim22004-07-01 15:46 1.6K 

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