Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms