Merge pull request #313 from jwillemsen/jwi-bitsetconstructor #880
Job | Run time |
---|---|
49m 4s | |
55m 49s | |
1h 17m 59s | |
54m 57s | |
56m 44s | |
52m 58s | |
1h 16m 11s | |
1h 5m 0s | |
2h 9m 47s | |
10h 18m 29s |
Job | Run time |
---|---|
49m 4s | |
55m 49s | |
1h 17m 59s | |
54m 57s | |
56m 44s | |
52m 58s | |
1h 16m 11s | |
1h 5m 0s | |
2h 9m 47s | |
10h 18m 29s |