(benchmark tst_bvuge
:logic QF_BV
:extrafuns ((r BitVec[8]))
:formula (bvuge r bvbin00001100)
)