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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]ackermann-ioi.pl2004-05-25 14:18 409  
[TXT]ackermann.pl2004-05-25 16:13 409  
[TXT]ackermann.pl.cim22004-06-29 15:08 685  
[TXT]average-ioi.pl2004-05-25 14:45 511  
[TXT]average-ioi.pl.cim22004-06-29 15:08 669  
[TXT]average.pl2004-05-25 16:13 511  
[TXT]average.pl.cim22004-06-29 15:08 669  
[TXT]kay4.pl2004-05-26 09:32 1.1K 
[TXT]log2a-oi.pl2004-05-25 14:18 511  
[TXT]log2a.pl2004-05-25 16:13 511  
[TXT]log2b-oi.pl2004-05-25 14:18 700  
[TXT]log2b.pl2004-05-25 16:13 700  
[TXT]mapcolor.pl2004-05-25 16:13 1.6K 
[TXT]mergesort-oi.pl2004-05-25 14:45 379  
[TXT]mergesort.pl2004-05-25 16:13 379  
[TXT]numbervars.pl2004-05-17 17:05 1.1K 
[TXT]shapes.pl2004-05-25 16:13 2.3K 
[TXT]tautology.pl2004-05-25 16:13 3.6K 
[TXT]tautology.pl.cim22004-07-30 12:25 3.1K 

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