No such diagn name in shot:13551   <br>path btor <br>local path /golem/database/operation/shots/13551/DAS/0512NIstandard.ONN/Nidatap_6133 <br>diagn btor<br>error 'Missing data: btor'