is_deriveX: is that a generalization?
#4191
| Job | Run time |
|---|---|
| 22s | |
| 45s | |
| 1m 1s | |
| 54s | |
| 59s | |
| 57s | |
| 1m 1s | |
| 52s | |
| 16m 19s | |
| 52s | |
| 3m 8s | |
| 2m 10s | |
| 13m 26s | |
| 13m 2s | |
| 47s | |
| 1m 1s | |
| 54s | |
| 45s | |
| 57s | |
| 1m 1s | |
| 59s | |
| 16m 19s | |
| 52s | |
| 52s | |
| 3m 8s | |
| 2m 10s | |
| 13m 2s | |
| 13m 26s | |
| 1h 52m 1s |