CVC4 at SyGuS-COMP 2015

---

SyGuS-COMP 2015

Competing Binary:  StarExec Binary

Tracks Entered

---

• Inv Track
  
• CLIA Track
  
• General Track
  

Track Awards

---

  1^st place in the CLIA Track
  1^st place in the General Track