I'm still a bit confused as to what these options do...
I understand --opencl-device allows using multiple GPUS. But I tried for instance to specify and very high number and it didn't seem to make a difference.
So my questions are:
1. Can one get a list of device number to GPU? Is it always 0-based?
2. I don't know what --opencl-platform does nor how it could be used :-/
3. Same as 1 for platforms, if relevant