fix size management of the result table during filtering #1211
| Job | Run time |
|---|---|
| 31s | |
| 34s | |
| 7s | |
| 8s | |
| 7s | |
| 7s | |
| 7s | |
| 10s | |
| 7s | |
| 10s | |
| 11s | |
| 11s | |
| 10s | |
| 10s | |
| 6s | |
| 7s | |
| 9s | |
| 8s | |
| 11s | |
| 12s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 7s | |
| 1s | |
| 7s | |
| 7s | |
| 9s | |
| 10s | |
| 7s | |
| 1s | |
| 7s | |
| 8s | |
| 9s | |
| 10s | |
| 6s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 1s | |
| 6s | |
| 7s | |
| 8s | |
| 8s | |
| 10s | |
| 11s | |
| 6s | |
| 8s | |
| 9s | |
| 7s | |
| 10s | |
| 10s | |
| 0s | |
| 0s | |
| 0s | |
| 0s | |
| 7m 39s |