Added one main file for all benchmarks, made std::pq thread-safe