Statistics for Abstraction and Refinement Techniques for Ternary Symbolic Simulation with Guard-value Encoding