(benchmark tst_bvuge5
 :logic QF_BV
 :extrafuns ((a BitVec[8]))
 :formula (bvuge bvbin00000001 a))