Stop relying on replace by automatic assumption-based solving
#107
| Job | Run time |
|---|---|
| 3h 48m 5s | |
| 3h 32m 12s | |
| 3h 10m 39s | |
| 10h 30m 56s |
replace by automatic assumption-based solving
#107
| Job | Run time |
|---|---|
| 3h 48m 5s | |
| 3h 32m 12s | |
| 3h 10m 39s | |
| 10h 30m 56s |