1396cce9

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

Short-circuit sign-definite guards and prioritize sparse native equations
Time to Start Worker time Duration Time to finish Idle
Config - - - - 718h03m09s
Eval - - - - -
Build - - - - -
Suite - - - - 718h03m09s