For ESP8266 it is simple: B4R compiles by Arduino the single binary file src.ino.bin of the firmware to be flashed into the IC.
For ESP32 i see the generated the binary ones:
Why no bootloader_qio_80m.bin file ?
UPD: ok, it's clear that it depends on the board memory configuration... @Erel , is it possible that B4R IDE to be copying this 4th .bin file into the output folder together with all other your compile ?
There is the task to merge all .bin files into a single one, for batch flashing.