added a script for running P# related benchmarks