| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Antiarithmetic? | 0.01 | 258 | 678 | 415 | 61% | 6.7Hard | en | |
| Help! | 0.00 | 371 | 587 | 420 | 72% | 5.5Hard | en | |
| Test | 0.00 | 880 | 205 | 159 | 78% | 4.1Medium | en | |
| Treequivalence | 0.01 | 961 | 45 | 24 | 53% | 8.0Hard | en |
| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Antiarithmetic? | 0.01 | 258 | 678 | 415 | 61% | 6.7Hard | en | |
| Help! | 0.00 | 371 | 587 | 420 | 72% | 5.5Hard | en | |
| Test | 0.00 | 880 | 205 | 159 | 78% | 4.1Medium | en | |
| Treequivalence | 0.01 | 961 | 45 | 24 | 53% | 8.0Hard | en |