| Release
| Date
| |
| Changes
| |
| D's
| All
| |
| THF
| |
| TFF
| |
| FOF
| |
| CNF
|
|
| v0.5.0
| 15/04/93
| |
| Beta release
| |
|
|
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 1695
| 100%
|
| v1.0.0
| 12/11/93
| |
| First public release
| |
| 23
| 2295
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 2295
| 100%
|
| v1.1.0
| 08/04/94
| |
| TPTP2X overhauled
| |
| 25
| 2652
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 2652
| 100%
|
| v1.2.0
| 30/08/95
| |
| Generators introduced
| |
| 25
| 2752
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 2752
| 100%
|
| v2.0.0
| 05/06/97
| |
| FOF and ratings introduced
| |
| 28
| 3277
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 217
| 7%
| |
| 3060
| 93%
|
| v2.1.0
| 17/12/97
| |
| German distribution stopped
| |
| 28
| 3622
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 347
| 10%
| |
| 3275
| 90%
|
| v2.2.0
| 11/02/99
| |
| TPTP2X upgraded
| |
| 28
| 4004
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 670
| 17%
| |
| 3334
| 83%
|
| v2.3.0
| 16/11/99
| |
| Ratings made more accurate
| |
| 28
| 4229
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 671
| 16%
| |
| 3558
| 84%
|
| v2.4.0
| 24/06/01
| |
| Releases sync'ed with CASC
| |
| 30
| 5882
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 1463
| 25%
| |
| 4419
| 75%
|
| v2.5.0
| 28/07/02
| |
| VerySimilarProblems listed
| |
| 30
| 6672
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 1491
| 22%
| |
| 5181
| 78%
|
| v2.6.0
| 20/08/03
| |
|
| |
| 31
| 6973
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 1500
| 22%
| |
| 5473
| 78%
|
| v2.7.0
| 15/08/04
| |
|
| |
| 32
| 7267
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 1745
| 24%
| |
| 5522
| 76%
|
| v3.0.0
| 11/11/04
| |
| New TPTP language
| |
| 32
| 7267
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 1745
| 24%
| |
| 5522
| 76%
|
| v3.1.0
| 25/07/05
| |
|
| |
| 33
| 8013
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 2324
| 29%
| |
| 5689
| 71%
|
| v3.2.0
| 19/07/06
| |
| Language BNF updated
| |
| 35
| 8984
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 2724
| 30%
| |
| 6260
| 70%
|
| v3.3.0
| 28/06/07
| |
|
| |
| 35
| 9894
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 3644
| 37%
| |
| 6250
| 63%
|
| v3.4.0
| 04/03/08
| |
| Very large problems added
| |
| 35
| 11279
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 5029
| 45%
| |
| 6250
| 55%
|
| v3.5.0
| 13/08/08
| |
|
| |
| 35
| 11395
| |
| 0
| 0%
| |
| 0
| 0%
| |
| 5049
| 44%
| |
| 6346
| 56%
|
| v3.6.0
| 16/12/08
| |
| Alpha release for THF
| |
| 35
| 11680
| |
| 220
| 2%
| |
| 0
| 0%
| |
| 5051
| 43%
| |
| 6348
| 54%
|
| v3.7.0
| 08/03/09
| |
| Beta release for THF
| |
| 36
| 12674
| |
| 1275
| 10%
| |
| 0
| 0%
| |
| 5051
| 40%
| |
| 6348
| 50%
|
| v4.0.0
| 04/07/09
| |
| THF formally introduced
| |
| 41
| 16512
| |
| 2729
| 17%
| |
| 0
| 0%
| |
| 6983
| 42%
| |
| 6800
| 41%
|
| v4.1.0
| 15/06/10
| |
| SPC field added to headers
| |
| 43
| 17663
| |
| 2892
| 16%
| |
| 0
| 0%
| |
| 7137
| 40%
| |
| 7634
| 43%
|
| v5.0.0
| 16/09/10
| |
| TF0 introduced
| |
| 45
| 18480
| |
| 2892
| 16%
| |
| 817
| 4%
| |
| 7137
| 39%
| |
| 7634
| 41%
|
| v5.1.0
| 12/01/11
| |
| Cleaned up THF duplicates
| |
| 46
| 18460
| |
| 2798
| 15%
| |
| 891
| 5%
| |
| 7137
| 39%
| |
| 7634
| 41%
|
| v5.2.0
| 26/06/11
| |
|
| |
| 47
| 19137
| |
| 2860
| 15%
| |
| 891
| 5%
| |
| 7674
| 40%
| |
| 7712
| 40%
|
| v5.3.0
| 07/12/11
| |
| Language BNF updated
| |
| 47
| 19446
| |
| 2926
| 15%
| |
| 970
| 5%
| |
| 7807
| 40%
| |
| 7743
| 40%
|
| v5.4.0
| 19/06/12
| |
|
| |
| 47
| 19459
| |
| 2929
| 15%
| |
| 970
| 5%
| |
| 7807
| 40%
| |
| 7753
| 40%
|
| v5.5.0
| 21/05/13
| |
|
| |
| 47
| 19769
| |
| 3025
| 15%
| |
| 986
| 5%
| |
| 7923
| 40%
| |
| 7835
| 40%
|
| v6.0.0
| 21/09/13
| |
| TF1 introduced
| |
| 48
| 20306
| |
| 3025
| 15%
| |
| 1523
| 8%
| |
| 7923
| 39%
| |
| 7835
| 39%
|
| v6.1.0
| 29/05/14
| |
|
| |
| 50
| 20646
| |
| 3036
| 15%
| |
| 1757
| 9%
| |
| 7971
| 39%
| |
| 7882
| 38%
|
| v6.2.0
| 14/07/15
| |
|
| |
| 51
| 20654
| |
| 3041
| 15%
| |
| 1757
| 9%
| |
| 7974
| 39%
| |
| 7882
| 38%
|
| v6.3.0
| 28/11/15
| |
|
| |
| 51
| 20762
| |
| 3041
| 15%
| |
| 1863
| 9%
| |
| 7976
| 38%
| |
| 7882
| 38%
|
| v6.4.0
| 31/06/16
| |
|
| |
| 51
| 20897
| |
| 3077
| 15%
| |
| 1877
| 9%
| |
| 8045
| 38%
| |
| 7898
| 38%
|
| v7.0.0
| 24/07/17
| |
| TH1 introduced
| |
| 53
| 21851
| |
| 3725
| 17%
| |
| 2075
| 9%
| |
| 8153
| 37%
| |
| 7898
| 36%
|
| v7.1.0
| 06/03/18
| |
| TFX syntax introduced
| |
| 53
| 22011
| |
| 3855
| 17%
| |
| 2077
| 9%
| |
| 8157
| 37%
| |
| 7922
| 35%
|
| v7.2.0
| 10/07/18
| |
|
| |
| 53
| 22026
| |
| 3855
| 17%
| |
| 2077
| 9%
| |
| 8172
| 37%
| |
| 7922
| 35%
|
| v7.3.0
| ??/08/19
| |
| The next release
| |
| 53
| 22686
| |
| 3854
| 16%
| |
| 2084
| 9%
| |
| 8630
| 38%
| |
| 8118
| 35%
|