Merge branch 'master' of https://github.com/ralna/CUTEst #122
Job | Run time |
---|---|
1m 20s | |
1m 13s | |
1m 20s | |
1m 15s | |
38s | |
40s | |
40s | |
1m 2s | |
1m 3s | |
1m 11s | |
53s | |
53s | |
2m 17s | |
2m 4s | |
2m 4s | |
2m 6s | |
5m 37s | |
8m 18s | |
2m 10s | |
2m 20s | |
2m 15s | |
2m 9s | |
38s | |
43s | |
1m 2s | |
35s | |
46m 26s |