#459 (Oct 29, 2017, 1:40:12 AM)

1. reduced heap hierarchy, for potentially improved performance; (detail / hgweb)
2. deactivated old tests; (detail / hgweb)
3. avoid slow proofs due to simp rules from 960509bfd47e; (detail / hgweb)

Started by an SCM change

This run spent:

• 50 min waiting;
• 1 hr 37 min build duration;
• 2 hr 27 min total from scheduled to completion.