Index of /~belinfan/research/autoreas/otter/sum/relcomp

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 all.cls                                 20-Jul-2002 18:49  5.3K  
 all.pos                                 20-Jul-2002 18:49  2.6K  
 all.txt                                 20-Jul-2002 18:49  624   
 jobs.txt                                20-Jul-2002 18:49  559   
 relcomp.txt                             20-Jul-2002 18:50  549   
 rlc-1.sum                               20-Jul-2002 18:50  834   
 rlc-2.sum                               20-Jul-2002 18:50  882   
 rlc-3.sum                               20-Jul-2002 18:50  1.4K  
 rlc-4.sum                               20-Jul-2002 18:50  1.6K  
 rlc-5.sum                               20-Jul-2002 18:50  1.4K  
 rlc-6.sum                               20-Jul-2002 18:50  1.5K  
 rlc-v.sum                               20-Jul-2002 18:50  915   
 summary.log                             20-Jul-2002 18:50  965