SYNTCOMP
Benchmarks
TaskDatasetSOTA resultTrendResults
SYNTCOMP benchmarks 2025 (competition)
0.925Solved Problems
9
SYNTCOMP Aiger Track 2025
1,392Solves
5
SYNTCOMP Real Track 2025
1,412Solves
4
SYNTCOMP Mealy Track 2025
1,391Solves
3
SYNTCOMP
77.3Perfect Emulation Rate
3