Bogus safety violation checking if a set is a subset of Nat. #6962
| Job | Run time |
|---|---|
| 7s | |
| 2m 12s | |
| 22m 20s | |
| 3m 50s | |
| 19m 24s | |
| 2m 55s | |
| 10m 11s | |
| 10m 54s | |
| 17m 43s | |
| 3m 57s | |
| 1h 33m 33s |
| Job | Run time |
|---|---|
| 7s | |
| 2m 12s | |
| 22m 20s | |
| 3m 50s | |
| 19m 24s | |
| 2m 55s | |
| 10m 11s | |
| 10m 54s | |
| 17m 43s | |
| 3m 57s | |
| 1h 33m 33s |