 |
||
| 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 | ||||||||
|
|||||||||||||