property based benchmark
property based benchmark