Hi, it is not supported to use the Smart-1 appliance license on an open server platform, as this license is bound to the machine.
In this situation I would recommend to contact the local Check Point SE/AM to make sure that the sizing is correct and right solution is chosen, e.g. the new appliances (525 and up) are built with i/o in mind and perform very well.
If you need to go to open server (VM for instance), then the licenses are not based on cores, but rather based on amount of managed GW's.
So for a single domain management, managing 10 GW's you would choose the CPSM-NGSM10 for example.
For open server management platforms we do not limit the amount of cores or disk storage.
HTH!
/Martijn