Merge pull request #2183 from Alizter/ps/rr/some_helpful_lemmas_for_f… #3236
| Job | Run time |
|---|---|
| 2m 46s | |
| 3m 25s | |
| 5m 42s | |
| 3m 27s | |
| 3m 14s | |
| 5m 7s | |
| 3m 23s | |
| 3m 16s | |
| 7m 6s | |
| 3m 12s | |
| 7m 25s | |
| 2m 1s | |
| 15m 18s | |
| 1m 59s | |
| 1m 38s | |
| 1m 30s | |
| 2m 3s | |
| 1m 36s | |
| 1m 33s | |
| 1m 45s | |
| 31s | |
| 5s | |
| 1h 18m 2s |
| Job | Run time |
|---|---|
| 2m 46s | |
| 3m 25s | |
| 5m 42s | |
| 3m 27s | |
| 3m 14s | |
| 5m 7s | |
| 3m 23s | |
| 3m 16s | |
| 7m 6s | |
| 3m 12s | |
| 7m 25s | |
| 2m 1s | |
| 15m 18s | |
| 1m 59s | |
| 1m 38s | |
| 1m 30s | |
| 2m 3s | |
| 1m 36s | |
| 1m 33s | |
| 1m 45s | |
| 31s | |
| 5s | |
| 1h 18m 2s |