At each decision
- 60 s timed gate after first nonzero eval
- Scores → Pi; catalog → Ti
- Run top hypothesis procedures in series
- Verify 1 min on alarms; else eliminate & re-rank
Orderings: P/T · Highest P · Shortest T · Random (5 seeds)
P/T & P: 28/31
short T 25
rand ~24
Discuss: belief vs cost under time · ▸ backup