Stop relying on replace by automatic assumption-based solving
#704
| Job | Run time |
|---|---|
| 3h 31m 17s | |
| 2h 45m 35s | |
| 6h 16m 52s |
replace by automatic assumption-based solving
#704
| Job | Run time |
|---|---|
| 3h 31m 17s | |
| 2h 45m 35s | |
| 6h 16m 52s |