Add device index to OpenCL devices

benchmark/space/__init__.py

@@ -957,9 +957,10 @@ def compute_device_list_get(self, context):
                     device_name += " " + compute_units[index][1]
                 device_compute_units = str(compute_units[index][1])
                 del compute_units[index]
-            device_id = "{}:{}:{}" . format(device_type,
+            device_id = "{}:{}:{}:{}" . format(device_type,
                                                device["name"],
-                                            device_compute_units)
+                                               device_compute_units,
+                                               device_index)
             compute_devices.append((device_id, device_name, ""))
         elif device_type == "CUDA":
             device_name = correct_device_name(device["name"])