SyGuS-Comp 2014

The 1st Syntax-Guided Synthesis Competition (SyGuS-Comp) took place as a satellite event of FLoC, CAV and SYNT 2014.


Solvers are evaluated on the StarExec platform, which provided 200 dual quad-core machines with 256GB memory each. The solvers are run with a TIMEOUT value as well. The solvers were compared against 250 benchmarks and the scores were based primarily on the number of benchmark solved and the solving time, and secondarily on the succinctness of the synthesized solution.

Participating Solvers

Five solvers participated in SyGuS-Comp’14:


The winner of the competition was the Enumerative (CEGIS) solver.

A detailed final report is available here.