I have two different licenses set up on the same server (One seat for System Edition and one seat for Design Edition).
However when Vivado License Manager is opened, the seat count is incorrect.
For features available in both licenses such as Synthesis, the count is still one.
This is a visual issue with the Vivado license manager.
The actual count is two and both licenses can be checked out.
The output of lmstat also gives the correct information.
To verify that all of the seats are available, run the following from a command shell:
lmutil lmstat -c port_number@server_name-f
To show individual increments, run the following from a command shell:
lmutil lmdiag -c port_number@server_name
Replace port_number and server_name with the appropriate port number and server name from the license file (For example, lmutil lmdiag -c 2100@bigserver).