ResearchTasksReactive SynthesisReactive SynthesisFollowBenchmarksDatasetSOTA methodSortMost resultsRecently updatedMost papersApplyDatasetSOTA methodMetricTrendResultsLast updatedSYNTCOMP benchmarks 2025 (competition)GPT-5.50.925Solved Problems9May 15, 2026SYNTCOMP Aiger Track 2025SemML 2.01,392Solves5Apr 28, 2026MAX_PARAM 57 hardest parameterized SYNTCOMP benchmarks formalized variant of the NATURAL datasetGPT-5.50.719Solved Rate4May 15, 2026SYNTCOMP Real Track 2025SemML 2.01,412Solves4Apr 28, 2026SYNTCOMP Mealy Track 2025SemML 2.01,391Solves3Apr 28, 2026
MAX_PARAM 57 hardest parameterized SYNTCOMP benchmarks formalized variant of the NATURAL datasetGPT-5.50.719Solved Rate4May 15, 2026