                                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             Andersen, Carl           
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               Fuchs, Alexander          Fuchs, Matthias          
Furbach, Ulrich           Garg, Deepak              Garland, Stephen         
Geddis, Don               Geisler, Tim              Geles, Mete              
Ge, Yeting                Giunchiglia, Enrico       Giunchiglia, Fausto      
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              Kaminski, Mark            Katsumi, Inoue           
Keefe, Ken                Kitson, Jeff              Korovin, Konstantin      
Kossey, Ivan              Kuehlwein, Daniel         Kulik, Lars              
Kuncak, Viktor            Kutsia, Temur             Lager, Torbjoern         
Lee, Shie-Jue             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         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         Susanto, Kong Woei        Sutcliffe, Geoff         
Suttner, Christian        Tammet, Tanel             Tassi, Enrico            
Tchaltsev, Andrei         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               Zhitomirskaja, Irina      Zimmer, Jurgen           
