CVC4/CVC4 — pull request #67 by mdeters (2014-11-13 00:43:55+00:00)
Title: New, uniform checkTime statistic for all theories (as discussed in meeti...

...ng).