(benchmark tst_bvuge2
:logic QF_BV
:extrafuns ((r BitVec[8]))
:formula (bvuge r bvbin11110000)
)