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

 Name                                    Last modified      Size  Description
 Parent Directory                                             -   
 agenda.txt                              28-Mar-2001 13:01  5.6K  
 all.cls                                 15-Aug-2000 23:22  4.3K  
 all.pos                                 15-Aug-2000 23:22  1.4K  
 labels.txt                              15-Aug-2000 20:06  385   
 pairset.txt                             15-Aug-2000 20:11  601   
 prs-ap1.sum                             15-Aug-2000 20:42  3.0K  
 prs-ap2.sum                             15-Aug-2000 20:42  1.2K  
 prs-cup1.sum                            15-Aug-2000 20:42  4.6K  
 prs-do.sum                              15-Aug-2000 20:42  1.5K  
 prs-dup.sum                             15-Aug-2000 23:18  4.4K  
 prs-fu.sum                              15-Aug-2000 20:42  947   
 prs-sw.sum                              15-Aug-2000 22:40  5.1K  
 studyall.txt                            15-Aug-2000 20:14  1.4K  
 summary.log                             15-Aug-2000 23:18  640