a9a20ea5

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

Split checked Symbolica algebra by responsibility
Time to Start Worker time Duration Time to finish Idle
Config - - - - 1322h50m43s
Eval - - - - -
Build - - - - -
Suite - - - - 1322h50m43s