Current proposals for extensions to the TPTP are online at http://www.tptp.org. Comments are welcome.
If you'd like to be kept informed of developments, join the
TPTP World Google Group.
For contributing problems:
Argonne National Laboratory,
AR Research Group at TU München,
Negin Arhami,
Alessandro Armando,
Javier Alvez,
Rob Arthan,
Jaroslav Barta,
Peter Baumgartner,
Bjoern Pelzer,
Dan Benanav,
Alexander Bentkamp,
Christoph Benzmüller,
Marc Bezem,
Wolfgang Bibel,
Jasmin Blanchette,
Woody Bledsoe,
Conrad Bock,
Harald Boley,
Johan Bos,
Marc Boule,
Chad Brown,
Cristóbal Camarero,
Marco Caminati,
David Cerna,
Vinay Chaudri,
Koen Claessen,
Simon Colton,
Simon Cruanes,
David Deharbe,
Stefano Demarchi,
Gerard de Melo,
Louise Dennis,
Samiro Discher,
Alexander Dvorsky,
Christian Fermüller,
Jean-Christophe Filliâtre,
Bernd Fischer,
Paul Fodor,
Deepak Garg,
Dario Guidotti,
Thibault Gauthier,
Tim Geisler,
Keith Goolsbey,
Sylvia Grewe,
Johan Gustafsson,
Jay Halcomb,
John Harrison,
Lifeng He,
Stefan Hetzl,
Thomas Hillenbrand,
Tim Hinrichs,
Peter Hoefner,
Arjen Hommersom,
Jack Horner,
Ullrich Hustadt,
Mikoláš Janota,
Thomas Jech,
Milene Johns,
Ulf Kahlert,
Cezary Kaliszyk,
Mark Kaminski,
Zurab Khasidashvili,
Daniel Kuehlwein,
Lydia Kondylidou,
Boris Konev,
Laura Kovacs,
Ivan Kossey,
Evgeny Kotelnikov,
Evgeny Kruglov,
Tobias Kuhn,
Lars Kulik,
Timm Lampert,
Rob Lewis,
Daniel Li,
Di Long Li,
Theo Losekoot,
Meng Luan,
Johan Martensson,
Takuya Matsuzaki,
Bill McCune,
Andreas Meier,
Jia Meng,
Frederic Mesnard,
Esteban Morales,
Daham Mohammed Mustafa,
Cláudia Nalon,
Julian Parsert,
Juan Antonio Navarro Perez,
Georg Neis,
Jens Otten,
Andrei Paskevich,
Dominique Pastre,
Adam Pease,
David Plaisted,
Larry Paulson,
Luca Pulina,
Art Quaife,
Pedro Quaresma,
Florian Rabe,
Daniel Ranalter,
Silvio Ranise,
Thomas Raths,
Michael Rawson,
Pace Reagan-Smith,
Martin Riener,
Philipp Rümmer,
Teppei Saito,
Happy Sariyanto,
Johannes Schoisswohl,
Alberto Segre,
Renate Schmidt,
Michael Schneider,
Johannes Schoisswohl,
Stefan Schulz,
Martina Seidl,
Ted Sider,
John Slaney,
Nick Smallbone,
Pante Stanica,
David Stanovsky,
Graham Steel,
Alexander Steen,
Mark Stickel,
Nik Sultana,
Hans Svensson,
Armando Tacchella,
Tanel Tammet,
Alwen Tiu,
Steven Trac,
Thaleia Tsioka,
Josef Urban,
Bob Veroff,
Petar Vukmirovic,
Uwe Waldmann,
Mark Wallace,
Peter Watson,
Christoph Weidenbach,
Christoph Wernhard,
Michael Wessel,
Patrick Wischnewski,
Thomas Wies,
Bruno Woltzenlogel Paleo,
Aparna Yerikalapudi,
Jian Zhang,
Zsolt Zombori.
For helping with problems and/or pointing out errors:
Geoff Alexander,
Johan Belinfante,
Alexander Bentkamp,
Ahmed Bhayat,
Nikolaj Bjorner,
Woody Bledsoe,
Maria Poala Bonacina,
Julie Cailler,
Heng Chu,
Koen Claessen,
Ingo Dahn,
Morgan Deters,
Damien Doligez,
Marisol Fernandez,
Alexander Fuchs,
Matthias Fuchs,
Tim Geisler,
John Harrison,
John Hester,
Thomas Jech,
Konstantin Korovin,
Ivan Kossey,
Harald Ganzinger,
Mark Lemay,
Reinhold Letz,
Ann Lilliestrom,
Thomas Ludwig,
Klaus Mayr,
Bill McCune,
Monty Newborn,
Xumin Nie,
Andrei Paskevich,
Dominique Pastre,
Jeff Pelletier,
Axel Polaczek,
Petr Pudlak,
Art Quaife,
Dimitris Raptis,
Michael Raskin,
Thomas Raths,
Piotr Rudnicki,
Masahiro Sakai,
Happy Sariyanto,
Michael Schneider,
Len Schubert,
Stephan Schulz,
Simon Schwarz,
Alberto Segre,
Stuart Shapiro,
Guy Shefner,
Andrés Sicard-Ramírez,
Nick Siegel,
John Slaney,
Nick Smallbone,
Alex Steen,
Mark Stickel,
Christoph Sticksel,
Martin Suda,
Nik Sultana,
Bob Veroff,
Russell Wallace,
TC Wang,
Christoph Weidenbach,
Hantao Zhang.
For support regarding the utilities:
Jesse Alma,
Stefan Berghofer,
Marc Bezem,
Lucas Dixon,
Bernd Fischer,
Alexander Fuchs,
Kal Hodgson,
Jose Morales,
Max Moser,
Gerd Neugebauer,
Vladimir Pavlov,
Grzegorz Prusak,
Petr Pudlak,
Alex Roederer,
Paul Tarau,
Frank Theiss,
Abdul Sattar,
Renate Schmidt,
Andrés Sicard-Ramírez,
Jing Tang,
Andrei Tchaltsev,
Christoph Weidenbach,
Makarius Wenzel,
Jürgen Zimmer.
For general advice and comments:
Serge Autexier,
Jasmin Blanchette,
Martin Desharnais,
Reiner Hähnle,
Joe Hurd,
Reinhold Letz,
Selene Makarios,
Diego Páez,
Andrei Paskevich,
Jeff Pelletier,
Florian Rabe,
Stephan Schulz,
Mark Stickel,
Allen van Gelder,
Uwe Waldmann,
Russell Wallace,
Christoph Walther.
Acknowledgements
We are indebted to the following people and organizations who have helped with the construction
of the TPTP.