MD4 hash function inversion on MD4-43
4,020Number of INDETsParallel CircuitSAT decomposition
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Parallel CircuitSAT decompositionq=60000, d=2, t=220, Number of cores=1802026.02 | 4,020 | 3 | 7,027,119 | 43,288 | — | |
| Cube-and-ConquerCores=1802026.02 | — | — | — | — | 264,039 |