ed3cc0a8

By: Lucien Huber <im@lcnbr.ch>

Map refined nonzero predicates through Symbolica
Time to Start Worker time Duration Time to finish Idle
Config - - - - 1372h21m46s
Eval - - - - -
Build - - - - -
Suite - - - - 1372h21m46s