CVC4 at CASC J7 (2014)

---

CASC J7 (2014)

Competing Version:  GitHub Branch 1.4

Tracks Entered

---

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

Track Awards

---

  1^st place in the TFN Track
  3^rd place in the TFA Track