Man pages matching name cbmc in section 1:

cbmc.1.en	debian 10 / cbmc
cbmc.1.en	debian 11 / cbmc