(benchmark Isabelle
:assumption (not (= (bvashr bv19[8] bv2[8]) bv4[8]))
:formula true
)
