Merge pull request #53 from BP-WG/primitives #229
Job | Run time |
---|---|
24s | |
37s | |
1m 4s | |
37s | |
49s | |
1m 10s | |
1m 6s | |
2m 16s | |
1m 43s | |
48s | |
43s | |
32s | |
2m 10s | |
13m 59s |
Job | Run time |
---|---|
24s | |
37s | |
1m 4s | |
37s | |
49s | |
1m 10s | |
1m 6s | |
2m 16s | |
1m 43s | |
48s | |
43s | |
32s | |
2m 10s | |
13m 59s |