der: add SetOfRef struct
#4482
| Job | Run time |
|---|---|
| 55s | |
| 2m 37s | |
| 2m 22s | |
| 1s | |
| 30s | |
| 33s | |
| 3m 7s | |
| 1s | |
| 40s | |
| 56s | |
| 27s | |
| 30s | |
| 32s | |
| 2m 7s | |
| 12s | |
| 28s | |
| 1m 12s | |
| 36s | |
| 1m 26s | |
| 36s | |
| 1s | |
| 19m 49s |
SetOfRef struct
#4482
| Job | Run time |
|---|---|
| 55s | |
| 2m 37s | |
| 2m 22s | |
| 1s | |
| 30s | |
| 33s | |
| 3m 7s | |
| 1s | |
| 40s | |
| 56s | |
| 27s | |
| 30s | |
| 32s | |
| 2m 7s | |
| 12s | |
| 28s | |
| 1m 12s | |
| 36s | |
| 1m 26s | |
| 36s | |
| 1s | |
| 19m 49s |