MD4 Hash Function Inversion on MD4-40
3,089Number of INDETsParallel CircuitSAT decomposition
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Parallel CircuitSAT decompositionq=60000, d=2, t=220, Number of cores=1802026.02 | 3,089 | 4 | 6,763,298 | 43,054 | — |
Loading the SOTA2 catalog…