Merge branch 'master' of https://github.com/ralna/CUTEst #108
Job | Run time |
---|---|
7m 15s | |
5m 58s | |
6m 34s | |
7m 27s | |
18s | |
20s | |
14s | |
13s | |
1m 13s | |
1m 5s | |
55s | |
48s | |
2m 13s | |
2m 5s | |
2m 4s | |
2m 2s | |
8m 29s | |
5m 40s | |
2m 4s | |
2m 5s | |
2m 6s | |
2m 6s | |
35s | |
24s | |
31s | |
24s | |
1h 5m 8s |