| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Antiarithmetic? | 0.01 | 258 | 680 | 416 | 61% | 6.7Hard | en | |
| Help! | 0.00 | 371 | 598 | 428 | 72% | 4.9Medium | en | |
| Test | 0.00 | 880 | 206 | 160 | 78% | 4.0Medium | en | |
| Treequivalence | 0.01 | 961 | 46 | 25 | 54% | 7.8Hard | en |
| Languages | ||||||||
|---|---|---|---|---|---|---|---|---|
| Antiarithmetic? | 0.01 | 258 | 680 | 416 | 61% | 6.7Hard | en | |
| Help! | 0.00 | 371 | 598 | 428 | 72% | 4.9Medium | en | |
| Test | 0.00 | 880 | 206 | 160 | 78% | 4.0Medium | en | |
| Treequivalence | 0.01 | 961 | 46 | 25 | 54% | 7.8Hard | en |