 |
||
| Factorial | ||||||||||||||
| EDT Size (Kb) | ||||||||||||||
| 0 | 10 | 100 | 1000 | 5000 | 10000 | |||||||||
| Hat | 1 | 7 | 77 | 4967 | 170437 | 790680 | ||||||||
| DDT | 3 | 21 | 640 | 51410 | Out of mem | |||||||||
| Curry | 0,04 | 0,47 | 4 | 42 | 214 | 429 | ||||||||
| Buddha | 0 | 28 | 164 | 2540 | 26056 | 93684 | ||||||||
| EDT Size (Nodes) | ||||||||||||||
| 0 | 10 | 100 | 1000 | 5000 | 10000 | |||||||||
| Hat | 1 | 11 | 101 | 1001 | 5001 | 10001 | ||||||||
| DDT | 1 | 11 | 101 | 1001 | Out of mem | |||||||||
| Curry | 1 | 11 | 101 | 1001 | 5001 | 10001 | ||||||||
| Buddha | 2 | 12 | 102 | 1002 | 5002 | 10002 | ||||||||
|
||||||||||||||