#417 (Sep 8, 2017, 2:20:16 AM)

1. better duplicate detection (detail / hgweb)
2. merged (detail / hgweb)
3. adapted to better linear arith (detail / hgweb)
4. more simp power and less incompleteness or arith (detail / hgweb)
5. no fork of long-term test results: too complicated; (detail / hgweb)
6. avoid depedency on FSet; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 30 min waiting;
• 1 hr 35 min build duration;
• 3 hr 5 min total from scheduled to completion.