Merge pull request #3005 from apalache-mc/igor/distinct2964 #7023
| Job | Run time |
|---|---|
| 2m 43s | |
| 3m 59s | |
| 3m 21s | |
| 5m 29s | |
| 4m 26s | |
| 7s | |
| 20m 17s | |
| 18m 13s | |
| 16m 21s | |
| 19m 40s | |
| 1h 34m 36s |
| Job | Run time |
|---|---|
| 2m 43s | |
| 3m 59s | |
| 3m 21s | |
| 5m 29s | |
| 4m 26s | |
| 7s | |
| 20m 17s | |
| 18m 13s | |
| 16m 21s | |
| 19m 40s | |
| 1h 34m 36s |