CnfFormula -> PicoSolver, time overview
Strategy analysis mode