Allow to specify a batch size rather than always getting a sanitized batch size. If no batch size is specified, the size is auto-selected based on the problem size.
Allow to specify a batch size rather than always getting a sanitized batch size. If no batch size is specified, the size is auto-selected based on the problem size.

egeor/libxsmm,egeor/libxsmm,hfp/libxsmm,maxhutch/libxsmm,maxhutch/libxsmm,hfp/libxsmm,egeor/libxsmm,hfp/libxsmm,egeor/libxsmm,egeor/libxsmm,hfp/libxsmm,hfp/libxsmm,hfp/libxsmm,egeor/libxsmm,maxhutch/libxsmm,maxhutch/libxsmm