Merge pull request #379 from rtetley/coq-relation-algebra #1431
| Job | Run time |
|---|---|
| 5h 27m 16s | |
| 4h 59m 23s | |
| 3h 46m 4s | |
| 5h 58m 52s | |
| 2h 19m 38s | |
| 2h 23m 32s | |
| 1h 12m 50s | |
| 1h 37m 40s | |
| 35m 44s | |
| 1d 4h 20m 59s |
| Job | Run time |
|---|---|
| 5h 27m 16s | |
| 4h 59m 23s | |
| 3h 46m 4s | |
| 5h 58m 52s | |
| 2h 19m 38s | |
| 2h 23m 32s | |
| 1h 12m 50s | |
| 1h 37m 40s | |
| 35m 44s | |
| 1d 4h 20m 59s |