                                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              Boehme, Sascha            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        Ding, Li                 
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          
Lusk, Rusty               Mahler, Daniel            Makarios, Selene         
McCune, Bill              McGuinness, Deborah       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            Ross, Cameron            
Rusinowitch, Michael      Salzer, Gernot            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              Susanto, Kong Woei        Sutcliffe, Geoff         
Suttner, Christian        Tammet, Tanel             Tassi, Enrico            
Tchaltsev, Andrei         Thau, Dave                Tinelli, Cesare          
Torlak, Emina             Trac, Steven              Urban, Josef             
Uribe, Tomas              Valle Vargas, Jesus       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           Yerikalapudi, Aparna     
Zalta, Edward             Zhang, Hantao             Zhang, Jian              
Zimmer, Jurgen           
