14a38a80

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

Specify conditional quadratic pair lift and residual root obligations
Time to Start Worker time Duration Time to finish Idle
Config - - - - 252h08m59s
Eval - - - - -
Build - - - - -
Suite - - - - 252h08m59s