https://hgpu.org/?p=17909
Analysing the Performance of GPU Hash Tables for State Space Exploration