Support no-timeout solving