| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Aquarium Tank | 0.00 | 432 | 879 | 226 | 26% | 4.8Medium | en | |
| Continued Fraction | 0.00 | 340 | 903 | 342 | 38% | 3.4Medium | en | |
| Facility Locations | 0.00 | 174 | 464 | 148 | 32% | 6.0Hard | en | |
| Landline Telephone Network | 0.00 | 725 | 3934 | 769 | 20% | 5.9Hard | en | |
| Server | 0.00 | 5 | 19044 | 7767 | 41% | 1.6Easy | en | |
| Yet Satisfiability Again! | 0.00 | 285 | 3325 | 924 | 28% | 3.4Medium | en |
