what4-1.2.1: test/responses/minisat_verbose_success.rsp
minisat: Incremental solving is forced on (to avoid variable elimination) unless using internal decision strategy. success
minisat: Incremental solving is forced on (to avoid variable elimination) unless using internal decision strategy. success