#533 (Nov 10, 2016, 6:29:12 PM)

1. Markov_Models: a CTMC has infinite explosion time when the escape rates are bounded (detail / hgweb)

Started by an SCM change

This run spent:

• 9.5 sec waiting;
• 4 min 32 sec build duration;
• 4 min 42 sec total from scheduled to completion.