Man pages matching name avibench in section 1:

avibench.1.en	debian 10 / libavifile-0.7-bin
avibench.1.en	debian 11 / libavifile-0.7-bin
avibench.1.en	debian 12 / libavifile-0.7-bin