| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Antiarithmetic? | 0.01 | 258 | 672 | 409 | 61% | 6.7Hard | en | |
| Help! | 0.00 | 371 | 587 | 420 | 72% | 5.6Hard | en | |
| Test | 0.00 | 880 | 205 | 159 | 78% | 4.1Medium | en | |
| Treequivalence | 0.01 | 961 | 45 | 24 | 53% | 7.9Hard | en |
| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Antiarithmetic? | 0.01 | 258 | 672 | 409 | 61% | 6.7Hard | en | |
| Help! | 0.00 | 371 | 587 | 420 | 72% | 5.6Hard | en | |
| Test | 0.00 | 880 | 205 | 159 | 78% | 4.1Medium | en | |
| Treequivalence | 0.01 | 961 | 45 | 24 | 53% | 7.9Hard | en |