| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Aquarium Tank | 0.00 | 432 | 837 | 211 | 25% | 5.1Medium | en | |
| Continued Fraction | 0.00 | 340 | 874 | 332 | 38% | 3.5Medium | en | |
| Facility Locations | 0.00 | 174 | 426 | 145 | 34% | 6.0Hard | en | |
| Landline Telephone Network | 0.00 | 725 | 3786 | 742 | 20% | 6.3Hard | en | |
| Server | 0.00 | 5 | 18358 | 7517 | 41% | 1.6Easy | en | |
| Yet Satisfiability Again! | 0.00 | 285 | 3124 | 862 | 28% | 3.8Medium | en |
