[Havoc]

> while being a little bit verbose

Discovered today that they set reasoning effort to max by default. So that’s probably why