Use libstdc++ implementation of std::bitset if other standard library is used #2443
| Job | Run time |
|---|---|
| 24m 39s | |
| 49m 58s | |
| 47m 33s | |
| 40m 29s | |
| 39m 35s | |
| 1h 12m 5s | |
| 41m 29s | |
| 56m 40s | |
| 16m 58s | |
| 31m 14s | |
| 28m 45s | |
| 22m 57s | |
| 7h 52m 22s |
| Job | Run time |
|---|---|
| 24m 39s | |
| 49m 58s | |
| 47m 33s | |
| 40m 29s | |
| 39m 35s | |
| 1h 12m 5s | |
| 41m 29s | |
| 56m 40s | |
| 16m 58s | |
| 31m 14s | |
| 28m 45s | |
| 22m 57s | |
| 7h 52m 22s |