(benchmark tst_bvult1
 :logic QF_BV
 :extrafuns ((a BitVec[8]))
 :formula (bvult a bvbin00000001))