Package bftsmart.benchmark