#652 (Jun 6, 2018, 1:40:33 AM)

1. more parallelism to cope with 8h30 CPU time; (detail / hgweb)
2. full benchmarks, including all conditional theories; (detail / hgweb)
3. tuned proofs; (detail / hgweb)
4. more robust; (detail / hgweb)
5. less wasteful consolidation, based on PIDE front-end state and recent changes; (detail / hgweb)
6. tuned -- short-circuit result; (detail / hgweb)
7. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

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