MD4 hash function inversion on MD4-41
7,455Number of INDETsParallel CircuitSAT decomposition
Evaluation Results
| Method | Links | |||||
|---|---|---|---|---|---|---|
| Parallel CircuitSAT decompositionq=60000, d=2, t=220, Number of cores=1802026.02 | 7,455 | 4 | 9,128,960 | 57,660 | — |
Loading the SOTA2 catalog…