Tyler Becker

Kocsis and Szepesvari logarithmic UCB proof is shown to be incomplete. It would probably be worth it to implement the polynomial UCB exploration term proposed [here](https://arxiv.org/abs/1902.05213).

Both solvers track time but do nothing with it