Fix ternary tri* delegation and add example #2525
| Job | Run time |
|---|---|
| 6s | |
| 14s | |
| 12s | |
| 52m 5s | |
| 27s | |
| 27s | |
| 51m 31s | |
| 24s | |
| 54m 2s | |
| 55m 13s | |
| 25s | |
| 55m 56s | |
| 31s | |
| 27s | |
| 25s | |
| 22m 20s | |
| 52m 7s | |
| 30s | |
| 49m 1s | |
| 3s | |
| 6h 36m 26s |
| Job | Run time |
|---|---|
| 6s | |
| 14s | |
| 12s | |
| 52m 5s | |
| 27s | |
| 27s | |
| 51m 31s | |
| 24s | |
| 54m 2s | |
| 55m 13s | |
| 25s | |
| 55m 56s | |
| 31s | |
| 27s | |
| 25s | |
| 22m 20s | |
| 52m 7s | |
| 30s | |
| 49m 1s | |
| 3s | |
| 6h 36m 26s |