結論が出せなかった場合に消費された計算資源と時間をどう評価すべきなのだろうか…