- fetch_trans_cache_access : int;
- fetch_trans_cache_hit : int;
- eval_trans_cache_access : int;
- eval_trans_cache_hit : int;
+ mutable fetch_trans_cache_access : int;
+ mutable fetch_trans_cache_hit : int;
+ mutable eval_trans_cache_access : int;
+ mutable eval_trans_cache_hit : int;
+ mutable nodes_per_run : int list;