| Release | Date | Changes | Doms | Abst | Total | FOF | CNF |
|---|---|---|---|---|---|---|---|
| | |||||||
| v0.5.0 | 15/04/93 | Beta release | 1211 | 1695 | 0 | 1695 | |
| v1.0.0 | 12/11/93 | First public release | 23 | 1577 | 2295 | 0 | 2295 |
| v1.1.0 | 08/04/94 | tptp2X overhauled | 25 | 1897 | 2652 | 0 | 2652 |
| v1.2.0 | 30/08/95 | Problem generators introduced | 25 | 2044 | 2752 | 0 | 2752 |
| v2.0.0 | 05/06/97 | FOF and ratings introduced | 28 | 2268 | 3277 | 217 | 3060 |
| v2.1.0 | 17/12/97 | German distribution stopped | 28 | 2402 | 3622 | 347 | 3275 |
| v2.2.0 | 11/02/99 | tptp2X upgraded | 28 | 2666 | 4004 | 670 | 3334 |
| v2.3.0 | 16/11/99 | Ratings made more accurate | 28 | 2813 | 4229 | 671 | 3558 |
| v2.4.0 | 24/06/01 | New domains and problems | 30 | 3624 | 5882 | 1463 | 4419 |
| v2.5.0 | 28/07/02 | VerySimilarProblems listed | 30 | 4330 | 6672 | 1491 | 5181 |
| v2.6.0 | 20/08/03 | Regular release | 31 | 4628 | 6973 | 1500 | 5473 |
| v2.7.0 | 15/08/04 | Regular release | 32 | 4880 | 7267 | 1745 | 5522 |
| v3.0.0 | 11/11/04 | New TPTP language | 32 | 4879 | 7266 | 1745 | 5522 |
| v3.1.0 | 25/07/05 | Regular release | 33 | 5609 | 8013 | 2324 | 5689 |
| v3.2.0 | 19/07/06 | Language BNF updated | 35 | 6270 | 8984 | 2724 | 6260 |
| v3.3.0 | 28/06/07 | Regular release | 35 | 6831 | 9894 | 3644 | 6250 |
| v3.4.0 | 04/03/08 | Very large problems added | 35 | 7113 | 11279 | 5029 | 6250 |
| v3.5.0 | 13/08/08 | Last FOF and CNF release | 35 | 7134 | 11395 | 5049 | 6346 |