| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Aquarium Tank | 0.00 | 432 | 726 | 193 | 27% | 5.1Medium | en | |
| Continued Fraction | 0.00 | 458 | 736 | 284 | 39% | 3.7Medium | en | |
| Facility Locations | 0.00 | 373 | 333 | 130 | 39% | 4.9Medium | en | |
| Landline Telephone Network | 0.01 | 725 | 2974 | 592 | 20% | 6.0Hard | en | |
| Server | 0.00 | 48 | 15888 | 6582 | 41% | 1.7Easy | en | |
| Yet Satisfiability Again! | 0.00 | 322 | 2538 | 718 | 28% | 3.8Medium | en |
