Generalize and clean up abs invariant in base analysis
#885
| Job | Run time |
|---|---|
| 13m 33s | |
| 13m 33s |
abs invariant in base analysis
#885
| Job | Run time |
|---|---|
| 13m 33s | |
| 13m 33s |