3054a67a

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

Preserve affine exclusions in rule proofs and prune cover contradictions
Time to Start Worker time Duration Time to finish Idle
Config - - - - 864h17m20s
Eval - - - - -
Build - - - - -
Suite - - - - 864h17m20s