CVC4 at CASC 25 (2015)

---

CASC 25 (2015)

Competing Version:  CVC4---1.5.tgz

Tracks Entered

---

• Typed First-Order Theorems (TFA)
  
• Typed First-Order Non-Theorems (TFN)
  
• First-Order Theorems (FOF)
  
• First-Order Non-Theorems (FNT)
  

Track Awards

---

  1^st place in the TFN Track
  2^nd place in the TFA Track