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