Index of /isabelle/Projects/WCCI2008/ResuTables

 Name                    Last modified       Size  Description

 Parent Directory        14-Sep-2009 06:59      -  
 Cina0.txt               06-May-2008 05:57    66k  
 Cina1.txt               06-May-2008 05:57    59k  
 Cina2.txt               06-May-2008 05:57    65k  
 Entries.txt             06-May-2008 05:57   152k  
 Marti0.txt              06-May-2008 05:57    50k  
 Marti1.txt              06-May-2008 05:57    52k  
 Marti2.txt              06-May-2008 05:57    48k  
 Overall.txt             06-May-2008 05:57    78k  
 Reged0.txt              06-May-2008 05:57    80k  
 Reged1.txt              06-May-2008 05:57    79k  
 Reged2.txt              06-May-2008 05:57    73k  
 Sido0.txt               06-May-2008 05:57    61k  
 Sido1.txt               06-May-2008 05:57    54k  
 Sido2.txt               06-May-2008 05:57    54k