[ fix #3448 ] Fix %search in constraint
#1112
| Job | Run time |
|---|---|
| 4s | |
| 5m 29s | |
| 8m 14s | |
| 10m 53s | |
| 12m 48s | |
| 18m 44s | |
| 10m 11s | |
| 24m 0s | |
| 10m 3s | |
| 4m 17s | |
| 14m 42s | |
| 38s | |
| 19s | |
| 12m 6s | |
| 3m 46s | |
| 5m 33s | |
| 17m 11s | |
| 0s | |
| 12m 11s | |
| 2h 51m 9s |