List your company

ResearchFormerly WizWand

MD4 hash function inversion

Benchmarks

DatasetSOTA methodMetricTrendResultsLast updated

Parallel CircuitSAT decomposition

4,020Number of INDETs

1

Feb 26, 2026

Parallel CircuitSAT decomposition

1,904INDET Count

1

Feb 26, 2026

Parallel CircuitSAT decomposition

7,455Number of INDETs

1

Feb 26, 2026

Parallel CircuitSAT decomposition

3,089Number of INDETs

1

Feb 26, 2026