| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Aquarium Tank | 0.00 | 432 | 790 | 200 | 25% | 5.0Medium | en | |
| Continued Fraction | 0.00 | 340 | 804 | 305 | 38% | 3.5Medium | en | |
| Facility Locations | 0.00 | 373 | 370 | 134 | 36% | 5.7Hard | en | |
| Landline Telephone Network | 0.01 | 725 | 3161 | 610 | 19% | 5.9Hard | en | |
| Server | 0.00 | 5 | 16897 | 7041 | 42% | 1.6Easy | en | |
| Yet Satisfiability Again! | 0.00 | 322 | 2987 | 822 | 28% | 3.6Medium | en |
