Class Invariants: Resolution and Wellformedness #20926
| Job | Run time |
|---|---|
| 8s | |
| 58s | |
| 2s | |
| 3s | |
| 12m 14s | |
| 8m 25s | |
| 12m 25s | |
| 18m 51s | |
| 16m 34s | |
| 19m 30s | |
| 16m 15s | |
| 15m 43s | |
| 1s | |
| 2h 1m 9s |
| Job | Run time |
|---|---|
| 8s | |
| 58s | |
| 2s | |
| 3s | |
| 12m 14s | |
| 8m 25s | |
| 12m 25s | |
| 18m 51s | |
| 16m 34s | |
| 19m 30s | |
| 16m 15s | |
| 15m 43s | |
| 1s | |
| 2h 1m 9s |