logtk_solving depends on 'solving' oasis flag