improve performance of lower_bound_of_target_clause (#1598) #683
| Job | Run time |
|---|---|
| 19s | |
| 21m 51s | |
| 21m 56s | |
| 18m 38s | |
| 8m 44s | |
| 8m 52s | |
| 12m 28s | |
| 5m 41s | |
| 3m 47s | |
| 3m 42s | |
| 3m 54s | |
| 12s | |
| 0s | |
| 1h 50m 4s |
| Job | Run time |
|---|---|
| 19s | |
| 21m 51s | |
| 21m 56s | |
| 18m 38s | |
| 8m 44s | |
| 8m 52s | |
| 12m 28s | |
| 5m 41s | |
| 3m 47s | |
| 3m 42s | |
| 3m 54s | |
| 12s | |
| 0s | |
| 1h 50m 4s |