“…Firstly, some problems, such as vmpc_33, are solved in less than one hour with the CL-SDSAT prototype and are, thus, clearly also solvable with the basic SDSAT method [7] with no parallel clause learning. Secondly, and more importantly, the prototype solves, with one hour time limit for each job, several problems which were not solved by any solver in SAT 2007 competition in 10,000 seconds.…”