+ let s = Naive.stats () in
+ Run.(
+ Logger.msg `STATS "@[tree size: %d@\ntraversals: %d@\ncache2 hit ratio: %f@\ncache5 hit ratio: %f@]"
+ s.tree_size s.run
+ (float s.cache2_hit /. float s.cache2_access)
+ (float s.cache5_hit /. float s.cache5_access));