C library of concurrent hash tables with high performance for parallel model checking