CVC4 at SyGuS-COMP 2019

---

SyGuS-COMP 2019

Tracks Entered

---

• PBE-BV Track
  
• PBE-Strings Track
  
• Inv Track
  
• CLIA Track
  
• General Track
  

Track Awards

---

  1^st place in the PBE-BV Track
  1^st place in the PBE-Strings Track
  1^st place in the Inv Track
  1^st place in the General Track