Incorrect Behavior of Bars under (:permute) -> remove the expand_extrema call #4647
| Job | Run time |
|---|---|
| 0s | |
| 24m 9s | |
| 33m 37s | |
| 21m 57s | |
| 32m 18s | |
| 30m 14s | |
| 33m 56s | |
| 20m 11s | |
| 23m 43s | |
| 23m 6s | |
| 22m 33s | |
| 31m 35s | |
| 4h 57m 19s |
| Job | Run time |
|---|---|
| 0s | |
| 24m 9s | |
| 33m 37s | |
| 21m 57s | |
| 32m 18s | |
| 30m 14s | |
| 33m 56s | |
| 20m 11s | |
| 23m 43s | |
| 23m 6s | |
| 22m 33s | |
| 31m 35s | |
| 4h 57m 19s |