                                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       
Benzmuller, Christoph     Bibel, Wolfgang           Blanchette, Jasmin       
Bock, Conrad              Boehme, Sascha            Bonacina, Maria Paola    
Bos, Johan                Bottoms, John             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          Gasse, Francis            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          
Lusk, Rusty               Mahler, Daniel            Makarios, Selene         
McCune, Bill              McGuinness, Deborah       Morris, Karl             
Newborn, Monty            Nieuwenhuis, Roberto      Otten, Jens              
Oveisi, Mehrdad           Pastre, Dominique         Pease, Adam              
Pelletier, Jeff           Pelzer, Bjoern            Piskac, Ruzica           
Plaisted, David           Pudlak, Petr              Quaife, Art              
Ranise, Silvio            Raths, Thomas             Riazanov, Alexandre      
Ross, Cameron             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             Stoller, Scott            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           
