| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Antiarithmetic? | 0.01 | 218 | 704 | 432 | 61% | 6.8Hard | en | |
| Help! | 0.00 | 371 | 605 | 434 | 72% | 5.2Medium | en | |
| Test | 0.00 | 880 | 206 | 160 | 78% | 4.0Medium | en | |
| Treequivalence | 0.01 | 961 | 46 | 25 | 54% | 8.0Hard | en |
| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Antiarithmetic? | 0.01 | 218 | 704 | 432 | 61% | 6.8Hard | en | |
| Help! | 0.00 | 371 | 605 | 434 | 72% | 5.2Medium | en | |
| Test | 0.00 | 880 | 206 | 160 | 78% | 4.0Medium | en | |
| Treequivalence | 0.01 | 961 | 46 | 25 | 54% | 8.0Hard | en |