Index of /~belinfan/research/autoreas/goedel/wholebiz/usable

 Name                                          Last modified      Size  Description
 Parent Directory                                                   -   
 unsolved.txt                                  21-Jun-2004 00:51   41K  
 usable.m.txt                                  21-Jun-2004 00:51  340K  
 usable57.04e.txt                              05-May-2004 17:07  590K  
 usable58.06c.txt                              07-Jun-2004 20:54  589K  
 usable58.07a.txt                              07-Jun-2004 20:53  588K  
 usable58.10b.txt                              10-Jun-2004 16:34  587K  
 usable58.20c.txt                              21-Jun-2004 00:52  578K