Problem Ratings

Motivation

TPTP Problems

| All (%Lan,%Dif) | THF | TFF | FOF | CNF
Easy | 5077 (22%,100%) | 855 (22%,17%) | 520 (25%,10%) | 1649 (19%,32%) | 2053 (25%,40%)
Difficult | 13619 (60%,100%) | 2346 (61%,17%) | 1182 (54%, 9%) | 5682 (66%,42%) | 4463 (55%,33%)
Unsolved | 3990 (18%,100%) | 653 (17%,17%) | 436 (21%,11%) | 1299 (15%,34%) | 1602 (20%,42%)