[C-8] The results in the paper is bit confusing. The main idea of the paper is based on the idea of implementing different configurations of ESBMC supporting multi-core features. But the results show that ESBMC with the vZ backend that uses a single-core implementation always wins over other ESBMC configurations as well as ILP (except RC6). This defeats the claims made by the authors about the possible speed-up obtained due to the multi-core support of model checking. The parallelisation of a sequential algorithm with Open-MP often leads to speed-up due to obvious reasons. So, the better performance of multi-core ESBMC implementations over sequential version is not surprising.
[C-8] The results in the paper is bit confusing. The main idea of the paper is based on the idea of implementing different configurations of ESBMC supporting multi-core features. But the results show that ESBMC with the vZ backend that uses a single-core implementation always wins over other ESBMC configurations as well as ILP (except RC6). This defeats the claims made by the authors about the possible speed-up obtained due to the multi-core support of model checking. The parallelisation of a sequential algorithm with Open-MP often leads to speed-up due to obvious reasons. So, the better performance of multi-core ESBMC implementations over sequential version is not surprising.

EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel,EdilsonGalvao/ESBMCParallel