                                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          Alma, Jesse               Alvez, Javier            
Andrews, Peter            Asperti, Andrea           Baccala, Brent           
Bachmair, Leo             Badura, Adam              Baumgartner, Peter       
Bibel, Wolfgang           Blanchette, Jasmin        Bock, Conrad             
Boehme, Sascha            Bonacina, Maria Paola     Bos, Johan               
Bottoms, John             Brown, Chad               Bubeck, Uwe              
Bundy, Alan               Chang, Cynthia            Claessen, Koen           
Cohn, Anthony             Cok, David                Contejean, Evelyne       
Dahn, Ingo                Degli Antoni, Giovanni    Deharbe, David           
de Melo, Gerard           De Nivelle, Hans          Denzinger, Joerg         
Dershowitz, Nachum        Ding, Li                  Dixon, Lucas             
Doligez, Damien           Dyck, Stephen             Esterlin, Albert         
Fermueller, Chris         Fischer, Bernd            Fisher, John             
Fox, David                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           Halcomb, Jay             
Halleck, John             Haroun, Paul              Harrison, John           
Hillenbrand, Thomas       Hoder, Krystof            Hoefner, Peter           
Hofman, Radoslaw          Horrocks, Ian             Horton, Joe              
Hurd, Joe                 Janson, Sverker           Jech, Thomas             
Kaljurand, Kaarel         Kaminski, Mark            Katsumi, Inoue           
Keefe, Ken                Khasidashvili, Zurab      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           Lusk, Rusty              
Mahler, Daniel            Makarios, Selene          McGuinness, Deborah      
Morris, Karl              Newborn, Monty            Nieuwenhuis, Roberto     
Otten, Jens               Oveisi, Mehrdad           Paskevich, Andrei        
Pastre, Dominique         Pease, Adam               Pelletier, Jeff          
Pelzer, Bjoern            Piskac, Ruzica            Plaisted, David          
Quaife, Art               Ranise, Silvio            Raths, Thomas            
Riazanov, Alexandre       Rusinowitch, Michael      Salzer, Gernot           
Schneider, Marius         Schneider, Michael        Schubert, Len            
Schulz, Stephan           Schwichtenberg, Helmut    Sebastiani, Roberto      
Selman, Bart              Shasha, Feng              Sicard-Ramerez, Andres   
Slaney, John Keith        Steel, Graham             Stenz, Gernot            
Stickel, Mark             Sticksel, Christoph       Streeter, Matthew        
Suda, Martin              Sultana, Nik              Susanto, Kong Woei       
Sutcliffe, Geoff          Suttner, Christian        Tammet, Tanel            
Tassi, Enrico             Thau, Dave                Tinelli, Cesare          
Torlak, Emina             Trac, Steven              Urban, Josef             
Uribe, Tomas              Van Gelder, Allen         Van Keulen, Maurice      
Veroff, Bob               Vigneron, Laurent         Voronkov, Andrei         
Wagner, Marc              Walden, Marvin            Wallace, Russell         
Weidenbach, Christoph     Wos, Larry                Xu, Hao                  
Yakowenko, Bill           Zalta, Edward             Zhang, Hantao            
Zhang, Jian               Zimmer, Jurgen           
