×

TPTP

swMATH ID: 4143
Software Authors: Geoff Sutcliffe; Christian Suttner
Description: The TPTP (Thousands of Problems for Theorem Provers) is a library of test problems for automated theorem proving (ATP) systems. The TPTP supplies the ATP community with: A comprehensive library of the ATP test problems that are available today, in order to provide an overview and a simple, unambiguous reference mechanism. A comprehensive list of references and other interesting information for each problem. Arbitrary size instances of generic problems (e.g., the N-queens problem). A utility to convert the problems to existing ATP systems’ formats. General guidelines outlining the requirements for ATP system evaluation. Standards for input and output for ATP systems. The principal motivation for the TPTP is to support the testing and evaluation of ATP systems, to help ensure that performance results accurately reflect capabilities of the ATP systems being considered. A common library of problems is necessary for meaningful system evaluations, meaningful system comparisons, repeatability of testing, and the production of statistically significant results. The TPTP is such a library.
Homepage: http://www.cs.miami.edu/~tptp/
Related Software: VAMPIRE; E Theorem Prover; SPASS; Isabelle/HOL; OTTER; Satallax; Mizar; z3; Coq; HOL; SETHEO; Mace4; Sledgehammer; iProver; LEO-II; SMT-LIB; HOL Light; TPS; Waldmeister; Isabelle
Cited in: 396 Publications
all top 5

Cited by 450 Authors

35 Sutcliffe, Geoff
33 Benzmüller, Christoph Ewald
25 Voronkov, Andrei
21 Urban, Josef
17 Baumgartner, Peter
17 Kaliszyk, Cezary
16 Schulz, Stephan
13 Blanchette, Jasmin Christian
13 Paulson, Lawrence Charles
11 Kovács, Laura Ildikó
10 Otten, Jens
10 Reger, Giles
10 Weidenbach, Christoph
8 Furbach, Ulrich
8 Korovin, Konstantin
8 Rabe, Florian
8 Suda, Martin
7 Brown, Chad Edward
7 Claessen, Koen
7 Steen, Alexander
6 Hasegawa, Ryuzo
6 Koshimura, Miyuki
6 Sorge, Volker
6 Tinelli, Cesare
6 Woltzenlogel Paleo, Bruno
5 Bentkamp, Alexander
5 Cruanes, Simon
5 Delahaye, David
5 Hetzl, Stefan
5 Hoder, Kryštof
5 Plaisted, David Alan
5 Raths, Thomas
5 Tourret, Sophie
5 Vukmirović, Petar
4 Böhme, Sascha
4 Ebner, Gabriel
4 Fuchs, Dirk
4 Hillenbrand, Thomas
4 Janičić, Predrag
4 Kerber, Manfred
4 Letz, Reinhold
4 Lillieström, Ann
4 Meier, Andreas
4 Meng, Jia
4 Paskevich, Andrei
4 Pelzer, Björn
4 Reis, Giselle
4 Riazanov, Alexandre
4 Struth, Georg
4 Suttner, Christian B.
4 Waldmann, Uwe
4 Windsteiger, Wolfgang
4 Winkler, Sarah
3 Barrett, Clark W.
3 Burel, Guillaume
3 Colton, Simon
3 Cristiá, Maximiliano
3 Denzinger, Jörg
3 Fuchs, Matthias
3 Fujita, Hiroshi
3 Gilbert, Frédéric
3 Höfner, Peter
3 Ibens, Ortrun
3 Kohlhase, Michael
3 Kreitz, Christoph
3 Kühlwein, Daniel
3 Löchner, Bernd
3 Lyaletski, Alexander V.
3 Peltier, Nicolas
3 Pfenning, Frank
3 Quaresma, Pedro
3 Rawson, Michael
3 Reynolds, Andrew
3 Riener, Martin
3 Rossi, Gianfranco
3 Siekmann, Jörg H.
3 Slaney, John K.
3 Smallbone, Nicholas
3 Sultana, Nik
3 Theiss, Frank
3 Verchinine, Konstantin
3 Vyskočil, Jiří
3 Wisniewski, Max
2 Anai, Hirokazu
2 Andrews, Peter B.
2 Arai, Noriko H.
2 Autexier, Serge
2 Bezem, Marc
2 Bibel, Wolfgang
2 Bishop, Matthew
2 Bourke, Timothy
2 Bury, Guillaume
2 Cauderlier, Raphaël
2 Chao, Yuyan
2 Dang, Han-Hing
2 Défourneaux, Gilles
2 Doligez, Damien
2 Duarte, André
2 Egly, Uwe
2 Färber, Michael
...and 350 more Authors

Citations by Year