BACH participates in the PDCB/BMC track of the friendly competition of ARCH-COMP continuously since 2017. For reproduction of the results showed in the category report of ARCH-COMP' 22, please refer to this link to obtain the Dockerfile and batch execution script.

Or download BACH directly via the following link.

Download BACH for the friendly competition of ARCH-COMP' 22 (C++)