                                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             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          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          McGuinness, Deborah       Morris, Karl             
Newborn, Monty            Nieuwenhuis, Roberto      Otten, Jens              
Oveisi, Mehrdad           Pastre, Dominique         Pease, Adam              
Pelletier, Jeff           Pelzer, Bjoern            Piskac, Ruzica           
Plaisted, David           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            
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           
