You can check the drivers in the registry of the client machines to verify whether a SEP client is installed in 32 or 64bit.
SEP 32bit:
HKLM\SYSTEM\CurrentControlSet\Services\SRTSP
ImagePath: System32\Drivers\SRTSP.SYS
SEP 64bit:
HKLM\SYSTEM\CurrentControlSet\Services\SRTSP
ImagePath: System32\Drivers\SRTSP64.SYS