SEARCH Articles Figures Tables CBMC simulation Configurational-bias Monte Carlo CBMC) Dual cut-off CBMC Efficiency of RG compared to CBMC Parallel CBMC