f424016e

By: Lucien Huber <im@lcnbr.ch>

Bind generated equality refinements to source authority
Time to Start Worker time Duration Time to finish Idle
Config - - - - 1353h40m15s
Eval - - - - -
Build - - - - -
Suite - - - - 1353h40m15s