#520 (Nov 5, 2016, 8:35:08 PM)

1. Better separation of random and non-random parts in Randomised_Social_Choice (detail / hgweb)

Started by an SCM change

This run spent:

• 5.2 sec waiting;
• 4 min 20 sec build duration;
• 4 min 25 sec total from scheduled to completion.