feat(spec): check (c) proves a guidance-route retirement on a reachable def (#18301) #35788
| Job | Run time |
|---|---|
| 15s | |
| 6m 31s | |
| 8m 34s | |
| 7m 47s | |
| 8m 31s | |
| 9m 43s | |
| 6m 38s | |
| 13m 48s | |
| 17m 13s | |
| 12m 11s | |
| 12m 59s | |
| 14m 34s | |
| 16m 36s | |
| -1s | |
| -1s | |
| 17s | |
| 18s | |
| 2h 15m 53s |
| Job | Run time |
|---|---|
| 15s | |
| 6m 31s | |
| 8m 34s | |
| 7m 47s | |
| 8m 31s | |
| 9m 43s | |
| 6m 38s | |
| 13m 48s | |
| 17m 13s | |
| 12m 11s | |
| 12m 59s | |
| 14m 34s | |
| 16m 36s | |
| -1s | |
| -1s | |
| 17s | |
| 18s | |
| 2h 15m 53s |