---
id: 20250821123741
title: SYNTCOMP
type: permanent
created: 2025-08-21T16:37:41Z
modified: 2025-08-21T16:42:25Z
tags: []
---

# SYNTCOMP

SYNTCOMP, otherwise known as the Reactive Synthesis
Competition, is a yearly competition for reactive synthesis
tools to compete against one another to try and solve
synthesis benchmarks.

SYNTCOMP has been around since 2014. Usually, they run all
the code on their own machines to ensure fairness. 

SYNTCOMP is a satelite event of CAV, the International
Conference on Computer-Aided Verification.