UCT Linear Adaptive Dynkomi: Reduce verbosity