option to print stats after every satisfiability or validity query