Comprehensive Analysis of Restart Strategies of CDCL SAT Solver