0998f301

By: ValentinHirschi <valentin.hirschi@gmail.com>

Discard proven root-free univariate exceptional branches
Time to Start Worker time Duration Time to finish Idle
Config - - - - 863h06m01s
Eval - - - - -
Build - - - - -
Suite - - - - 863h06m01s