Past Competitions

The 6^th SyGuS Competition, SyGuS-Comp 2019 was held in conjunction with SYNT@CAV in July 2019 at New York City, USA.
  · 5 tracks, 4 solvers
  · Winners: CVC4 (General, Inv, PBE-Strings, PBE-BV), DryadSynth (CLIA)

The 5^th SyGuS Competition, SyGuS-Comp 2018 was held at the FLoC Olympic games at the 2018 Federated Logic Conference, in conjunction with SYNT@CAV in July 2018 at Oxford, UK.
  · 5 tracks, 5 solvers
  · Winners: CVC4 (General, CLIA, PBE-Strings, PBE-BV), DryadSynth (CLIA), LoopInvGen (Inv)

The 4^th SyGuS Competition, SyGuS-Comp 2017 was held in conjunction with SYNT@CAV in July 2017 at Heidelberg, Germany.
  · 5 tracks, 6 solvers
  · Winners: EUSolver (General), CVC4 (CLIA, PBE-Strings), E3Solver (PBE-BV), LoopInvGen (Inv)

The 3^rd SyGuS Competition, SyGuS-Comp 2016 was held in conjunction with SYNT@CAV in July 2016 at Ontario, Canada.
  · 4 tracks, 9 solvers
  · Winners: EUSolver (General, PBE), CVC4 1.5.1 (CLIA), ICE-DT (Inv)

The 2^nd SyGuS Competition, SyGuS-Comp 2015 was held in conjunction with SYNT@CAV in July 2015 at San Francisco, California, USA.
  · 3 tracks, 8 solvers
  · Winners: CVC4 (General, CLIA), ICE-DT (Inv)

The 1^st SyGuS Competition, SyGuS-Comp 2014 took place at the FLoC Olympic games at the 2014 Vienna Summer of Logic, as a satellite event of SYNT@CAV in July 2014 at Vienna, Austria.
  · 1 track, 5 solvers
  · Winner: Enumerative CEGIS Solver