Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
MD4 hash function inversion on MD4-43
Loading...
4,020
Number of INDETs
Parallel CircuitSAT decomposition
3,819
3,919.5
4,020
4,120.5
Feb 19, 2026
Number of INDETs
Max Reached Level
CPU Time (s)
Wall-clock Time (s)
CnC Wall-clock Time (s)
Updated 5mo ago
Evaluation Results
Method
Method
Links
Number of INDETs
Max Reached Level
CPU Time (s)
Wall-clock Time (s)
CnC Wall-clock Time (s)
Parallel CircuitSAT decomposition
q=60000, d=2, t=220, N...
2026.02
4,020
3
7,027,119
43,288
-
Cube-and-Conquer
Cores=180
2026.02
-
-
-
-
264,039
Feedback
Search any
task
Search any
task