Add Remove NameFastestShortestAuthorsFull SolvesRatioDifficultyLanguagesBackpack Buddies0.0234825319577%6.6HardenCounting Clauses0.00381479141896%1.6Easyen