How do I know which device to choose?

Hello, everybody,

I have been in possession of a MAX10 Dev Kit for a few days now and I have the following problem:

When I start the software and click on the MAX10 Developer Kit at "Devices", the device "10M50DAF256C7G" is automatically selected.

After I wrote my first test program and wanted to assign my buttons on the board (pins taken from the datasheet), I noticed that the corresponding pins are not listed at all. So probably the wrong device is stored.

How can I find out which device I have so that I can look for the right one in the "Available devices" list?