Categories Companies Research

Loading the SOTA2 catalog…

Explore

Categories Companies Research

Contribute

Join SOTA2 Contact

SOTA2

© 2026 SOTA2

Build in Bellevue, USA

WizWand is now SOTA2 Research

Papers Benchmarks Datasets Tasks

Logical Equivalence Checking research benchmarks · SOTA2 Research

Logical Equivalence Checking

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

LEC instances for sorting algorithms

Algorithm 3 (Parallel CircuitSAT decomposition)

0Number of INDETs

5

Feb 26, 2026

Hard LEC instances for sorting algorithms

Parallel CircuitSAT decomposition (Algorithm 3)

2,106INDET Count

2

Feb 26, 2026

Popular datasets

LEC LEC instances

Follow for updates

Join SOTA2 Contact