| Tak | ||||||
| EDT Size (Kb) | ||||||
| 0 | 5 | 8 | 10 | 12 | ||
| Hat | 2 | 46 | 1343 | 15226 | 184514 | |
| DDT | 4 | 735 | 28056 | Out of mem | ||
| Curry | 0 | 2 | 198 | 2252 | 27286 | |
| Buddha | 0 | 144 | 3120 | 22044 | 308768 | |
| EDT Size (Nodes) | ||||||
| 0 | 5 | 8 | 10 | 12 | ||
| Hat | 1 | 153 | 4601 | 52229 | 632969 | |
| DDT | 1 | 153 | 4601 | Out of mem | ||
| Curry | 1 | 153 | 4601 | 52229 | 632969 | |
| Buddha | 2 | 154 | 4602 | 52230 | 632970 | |