                                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          Almulla, Mohammed         Alvez, Javier            
Andersen, Carl            Andrews, Peter            Asperti, Andrea          
Astrachan, Owen           Baccala, Brent            Bachmair, Leo            
Badura, Adam              Baumgartner, Peter        Bibel, Wolfgang          
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 Nivelle, Hans          Denzinger, Joerg          Dershowitz, Nachum       
Doligez, Damien           Dyck, Stephen             Esterlin, Albert         
Fermueller, Chris         Fisher, John              Foo, Norman              
Fuchs, Alexander          Fuchs, Matthias           Furbach, Ulrich          
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             Hofman, Radoslaw          Horrocks, Ian            
Horton, Joe               Hurd, Joe                 Janson, Sverker          
Jech, Thomas              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             
Mehra, Krishna            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               Ranise, Silvio            Raths, Thomas            
Riazanov, Alexandre       Roederer, Alex            Rusinowitch, Michael     
Salzer, Gernot            Schubert, Len             Schulz, Stephan          
Schwichtenberg, Helmut    Sebastiani, Roberto       Selman, Bart             
Shasha, Feng              Slaney, John Keith        Spencer, Bruce           
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         
Walden, Marvin            Weidenbach, Christoph     Wilkerson, Ralph         
Wos, Larry                Xu, Hao                   Yakowenko, Bill          
Yerikalapudi, Aparna      Zalta, Edward             Zhang, Hantao            
Zhang, Jian               Zhitomirskaja, Irina      Zimmer, Jurgen           
