Statistics for StringFuzz: A Fuzzer for String SMT Solvers