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