                                TPTP Users List
                                ---------------

Below is  the list of  registered TPTP users,  whose email  addresses we  know.
Registered users  receive notification of  TPTP patches,  and other information
relevant  to the TPTP.  If you would like to  have you name added to or removed
from this list, please email Geoff Sutcliffe at geoff@cs.miami.edu

Alexander, Geoff          Almulla, Mohammed         Andrews, Peter           
Astrachan, Owen           Bachmair, Leo             Baumgartner, Peter       
Bibel, Wolfgang           Bonacina, Maria Paola     Bornat, Richard          
Bos, Johan                Bundy, Alan               Claessen, Koen           
Clerin, Francoise         Cohn, Anthony             Cok, David               
Contejean, Evelyne        Countcham, Prakash        Dahn, Ingo               
De Nivelle, Hans          Degli Antoni, Giovanni    DelVal, Alvaro           
Denzinger, Joerg          Doligez, Damien           Draeger, Joachim         
Esterlin, Albert          Fermueller, Chris         Foo, Norman              
Fuchs, Alexander          Fuchs, Matthias           Fujita, Masayuki         
Furbach, Ulrich           Gao, Yi                   Garland, Stephen         
Geddis, Don               Geisler, Tim              Giunchiglia, Enrico      
Giunchiglia, Fausto       Greene, George            Guthery, Scott           
Haehnle, Reiner           Haroun, Paul              Harrison, John           
Hillenbrand, Thomas       Hinrichs, Timothy         Horrocks, Ian            
Horton, Joe               Hurd, Joe                 Janson, Sverker          
Jech, Thomas              Kantrowitz, Mark          Katsumi, Inoue           
Kitson, Jeff              Kossey, Ivan              Kulik, Lars              
Lager, Torbjoern          Lee, Shie-Jue             Letz, Reinhold           
Leustean, Laurentiu       Loechner, Bernd           Loveland, Don            
Lusk, Rusty               McCune, Bill              Mellouli, Taieb          
Mendez, Paola             Meng, Jia                 Newborn, Monty           
Nieuwenhuis, Robert       Pastre, Dominique         Pelletier, Jeff          
Philou, Mathieu           Plaisted, David           Pollock, John            
Price, David              Prohle, Peter             Pudlak, Petr             
Puzis, Yury               Quaife, Art               Quigley, Claire          
Riazanov, Alexandre       Roberts, Nancy            Rusinowitch, Michael     
Salzer, Gernot            Sawada, Toshimi           Schubert, Len            
Schulz, Stephan           Schwichtenberg, Helmut    Sebastiani, Roberto      
Selman, Bart              Shasha, Feng              Slaney, John Keith       
Spencer, Bruce            Stenz, Gernot             Stickel, Mark            
Sutcliffe, Geoff          Suttner, Christian        Tammet, Tanel            
Tinelli, Cesare           Urban, Josef              Uribe, Tomas             
Valle Vargas, Jesus       Van Gelder, Alan          Van Keulen, Maurice      
Veroff, Bob               Vigneron, Laurent         Voronkov, Andrei         
Walden, Marvin            Weidenbach, Christoph     Wilkerson, Ralph         
Wos, Larry                Wrightson, Graham         Yakowenko, Bill          
Zhang, Hantao             Zimmer, Jurgen           
