Something failed, shot:17928 web_path btor local path None diagn btorexception: While reading from '/golem/database/operation/shots/17928/das_configuration.cfg' [line 32]: option 'off' in section 'Papouch_St' already exists