Comparison of running times of PhISCS-B implementations by the use of top-performing CSP solvers from the Max-SAT competition