Merge pull request #518 from IntersectMBO/lehins/add-missing-pieces-to-unsound-pure-kes Add missing pieces to unsound pure kes #1930
| Job | Run time |
|---|---|
| 2s | |
| 5s | |
| 3s | |
| 46m 6s | |
| 25m 35s | |
| 22m 26s | |
| 15m 59s | |
| 19m 33s | |
| 20m 49s | |
| 48m 46s | |
| 16m 9s | |
| 20m 45s | |
| 16m 43s | |
| 15m 46s | |
| 20m 2s | |
| 15m 35s | |
| 17m 57s | |
| 23m 20s | |
| 15m 6s | |
| 13m 42s | |
| 20m 44s | |
| 6h 35m 13s |