Statistics
Problems
|
| |
| All
| |
| THF
| |
| TFF
| |
| FOF
| |
| CNF
|
| Domains
| |
| 53
|
| |
| 33
|
| |
| 19
|
| |
| 41
|
| |
| 40
|
|
| Problems
| |
| 22686
|
| |
| 3854
| (16%)
| |
| 2084
| (9%)
| |
| 8630
| (38%)
| |
| 8118
| (35%)
|
| THM/UNS
| |
| 18068
| (80%)
| |
| 3264
| (85%)
| |
| 1611
| (77%)
| |
| 7130
| (83%)
| |
| 6063
| (75%)
|
| CSA/SAT
| |
| 2793
| (12%)
| |
| 399
| (10%)
| |
| 119
| (6%)
| |
| 1034
| (12%)
| |
| 1241
| (15%)
|
| Equality
| |
| 16734
| (74%)
| |
| 3134
| (81%)
| |
| 938
| (45%)
| |
| 6811
| (79%)
| |
| 5851
| (72%)
|
| Arithmetic
| |
| 1544
| (7%)
| |
| 233
| (6%)
| |
| 1311
| (63%)
| |
| 0
| (0%)
| |
| 0
| (0%)
|
Formulae
|
| |
| THF
| |
| TFF
| |
| FOF
| |
| CNF
|
| Max (Avg/Med) formulae
| |
| 5639
| (316/16)
| |
| 340918
| (4147/76)
| |
| 3341984
| (27836/63)
| |
| 2332428
| (2309/42)
|
| Max (Avg/Med) atoms
| |
| 63746
| (3573/111)
| |
| 1986853
| (15167/184)
| |
| 5328211
| (57198/293)
| |
| 6570884
| (6826/94)
|
| Max (Avg/Med) predicates
| |
| 1442
| (116/12)
| |
| 271855
| (3159/42)
| |
| 204678
| (2207/13)
| |
| 480215
| (394/4)
|
| Max (Avg/Med) functions
| |
| -
| -
| |
| 9977
| (146/20)
| |
| 1050014
| (9308/14)
| |
| 21873
| (59/12)
|
| Max (Avg/Med) variables
| |
| 11290
| (686/31)
| |
| 246172
| (3075/171)
| |
| 972236
| (14803/139)
| |
| 4034129
| (6374/72)
|