How can I tell if I am using a redundant FLEXnet server configuration?

View your Abaqus license file (simulialm.lic) located in the directory flex_install_dir/os/code/bin/. If you are using a redundant server configuration, there will be three SERVER lines in the license file. The server names should be different for each line, although the port number may be the same for all three. For example:

SERVER bifrost.simulia.com 69084992 27003
SERVER tank.simulia.com 69094954 27003
SERVER willow.simulia.com 69094344 27003
VENDOR ABAQUSLM