The SAT solver RISS 2.0 and its concurrent parallelization PRISS 2.0 are described in the configuration they have been submitted to the SAT Challenge 2012. I. THE SEQUENTIAL SAT SOLVER RISS 2.0 Based on the CDCL procedure, this solver has been implemented as a module based system. The routines for the decision procedure, the learned clause management, unit propagation, preprocessor and the even...