No such diagn name in shot:24912 path btor local path /golem/database/operation/shots/24912/DAS/0512NIstandard.ONN/Nidatap_6133.lvm diagn btorerror 'Missing data: btor'