CVC4/CVC4 — pull request #11 by kbansal (2014-02-27 22:22:00+00:00)
Title: --stats-every-query option: print increment in addition to cumulative va...

...lue of each stat

the increment is printed in parantheses at the end, e.g.
sat::decisions, 100 (50)