Experimental evaluation of preprocessing algorithms for constraint satisfaction problems