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

Reactive Synthesis research benchmarks · SOTA2 Research

Reactive Synthesis

Benchmarks

Dataset NameSOTA MethodSort

Dataset NameSOTA methodMetricTrendResultsLast Updated

SYNTCOMP benchmarks 2025 (competition)

0.925Solved Problems

9

May 15, 2026

SYNTCOMP Aiger Track 2025

1,392Solves

5

Apr 28, 2026

MAX_PARAM 57 hardest parameterized SYNTCOMP benchmarks formalized variant of the NATURAL dataset

0.719Solved Rate

4

May 15, 2026

SYNTCOMP Real Track 2025

1,412Solves

4

Apr 28, 2026

SYNTCOMP Mealy Track 2025

1,391Solves

3

Apr 28, 2026

Popular datasets

SYNTCOMP MAX_PARAM

Follow for updates

Join SOTA2 Contact