(benchmark tst_bvuge3
 :logic QF_BV
 :extrafuns ((a BitVec[8]))
 :formula (bvuge a bvbin10000000))