(benchmark tst_bvult2
 :logic QF_BV
 :extrafuns ((a BitVec[8]))
 :formula (bvult bvbin11111110 a))