| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Aquarium Tank | 0.00 | 432 | 801 | 206 | 26% | 5.1Medium | en | |
| Continued Fraction | 0.00 | 340 | 844 | 320 | 38% | 3.6Medium | en | |
| Facility Locations | 0.00 | 174 | 407 | 142 | 35% | 6.1Hard | en | |
| Landline Telephone Network | 0.01 | 725 | 3451 | 666 | 19% | 6.1Hard | en | |
| Server | 0.00 | 5 | 17706 | 7327 | 41% | 1.6Easy | en | |
| Yet Satisfiability Again! | 0.00 | 285 | 3041 | 840 | 28% | 3.8Medium | en |
