Update PA_PLAUSI_BENCH_package BFS