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 |