                                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          Alvez, Javier             Andrews, Peter           
Asperti, Andrea           Astrachan, Owen           Baccala, Brent           
Bachmair, Leo             Badura, Adam              Baumgartner, Peter       
Benzmuller, Christoph     Bibel, Wolfgang           Blanchette, Jasmin       
Bock, Conrad              Bonacina, Maria Paola     Bonacina, Maria Paola    
Bos, Johan                Bubeck, Uwe               Bundy, Alan              
Chang, Cynthia            Claessen, Koen            Clerin, Francoise        
Cohn, Anthony             Cok, David                Contejean, Evelyne       
Dahn, Ingo                Degli Antoni, Giovanni    Deharbe, David           
de Melo, Gerard           De Nivelle, Hans          Denzinger, Joerg         
Dershowitz, Nachum        Dixon, Lucas              Doligez, Damien          
Dyck, Stephen             Esterlin, Albert          Fermueller, Chris        
Fischer, Bernd            Fisher, John              Foo, Norman              
Franssen, Michael         Fuchs, Alexander          Fuchs, Matthias          
Furbach, Ulrich           Garg, Deepak              Garland, Stephen         
Geddis, Don               Geisler, Tim              Geles, Mete              
Ge, Yeting                Giunchiglia, Enrico       Grue, Klaus              
Haehnle, Reiner           Halleck, John             Haroun, Paul             
Harrison, John            Hillenbrand, Thomas       Hinrichs, Timothy        
Hoder, Krystof            Hodgins, Dave             Hoefner, Peter           
Hofman, Radoslaw          Horrocks, Ian             Horton, Joe              
Hurd, Joe                 Janson, Sverker           Jech, Thomas             
Kaljurand, Kaarel         Kaminski, Mark            Katsumi, Inoue           
Keefe, Ken                Kitson, Jeff              Korovin, Konstantin      
Kossey, Ivan              Kuehlwein, Daniel         Kuhn, Tobias             
Kulik, Lars               Kuncak, Viktor            Kutsia, Temur            
Lager, Torbjoern          Lee, Shie-Jue             Lilliestrom, Ann         
Loechner, Bernd           Loveland, Don             Lusk, Rusty              
Mahler, Daniel            Makarios, Selene          McCune, Bill             
Meng, Jia                 Morris, Karl              Newborn, Monty           
Nieuwenhuis, Roberto      Otten, Jens               Oveisi, Mehrdad          
Pastre, Dominique         Pease, Adam               Pelletier, Jeff          
Pelzer, Bjoern            Piskac, Ruzica            Plaisted, David          
Pollock, John             Pudlak, Petr              Puzis, Yury              
Quaife, Art               Rabe, Florian             Ranise, Silvio           
Raths, Thomas             Riazanov, Alexandre       Roederer, Alex           
Rusinowitch, Michael      Salzer, Gernot            Schubert, Len            
Schulz, Stephan           Schwichtenberg, Helmut    Sebastiani, Roberto      
Selman, Bart              Shasha, Feng              Shefner, Guy             
Sicard-Ramerez, Andres    Slaney, John Keith        Steel, Graham            
Stenz, Gernot             Stickel, Mark             Stoller, Scott           
Streeter, Matthew         Suda, Martin              Susanto, Kong Woei       
Sutcliffe, Geoff          Suttner, Christian        Tammet, Tanel            
Tassi, Enrico             Tchaltsev, Andrei         Thau, Dave               
Tinelli, Cesare           Topic, Dalibor            Torlak, Emina            
Trac, Steven              Urban, Josef              Uribe, Tomas             
Valle Vargas, Jesus       Van Gelder, Allen         Van Keulen, Maurice      
Vento, Fabio              Veroff, Bob               Vigneron, Laurent        
Voronkov, Andrei          Wagner, Marc              Walden, Marvin           
Wallace, Russell          Weidenbach, Christoph     Wos, Larry               
Xu, Hao                   Yakowenko, Bill           Yerikalapudi, Aparna     
Zalta, Edward             Zhang, Hantao             Zhang, Jian              
Zimmer, Jurgen           
