vc static formal W-2024.09-SP1 license file

login629

Hello,

I am having issues generating the license file synopsys.lic for VC Formal 2024. I have the following synopsys.src file

https://gist.github.com/kaddindr/9f6f69adea42f997bf213a855c05c9b4



Errors when I run the vcf command

/********************************** ERRORS **********************************/

[almalinux@almalinux8 synopsys]$ vcf
Warning: Ignoring XDG_SESSION_TYPE=wayland on Gnome. Use QT_QPA_PLATFORM=wayland to run on Wayland anyway.
[SCL] SCL trace is enabled.
get display error

                                   VC Static

               Version W-2024.09-SP1 for linux64 - Dec 02, 2024

                    Copyright (c) 2010 - 2024 Synopsys, Inc.
   This software and the associated documentation are proprietary to Synopsys,
Inc. This software may only be used in accordance with the terms and conditions
of a written license agreement with Synopsys, Inc. All other use, reproduction,
   or distribution of this software is strictly prohibited. Licensed Products
     communicate with Synopsys servers for the purpose of providing software
    updates, detecting software piracy and verifying that customers are using
    Licensed Products in conformity with the applicable License Key for such
  Licensed Products. Synopsys will use information gathered in connection with
    this process to deliver software updates and pursue software pirates and
                                   infringers.

Inclusivity & Diversity - Visit SolvNetPlus to read the "Synopsys Statement on
            Inclusivity and Diversity" (Refer to article 000036315 at
                        (https://solvnetplus.synopsys.com)
[SCL] 11/17/2025 15:23:16 PID:66763 Client:almalinux8.linuxvmimages.local Checkout denied VC-FORMAL-BASE-SH 2024.09
FlexNet Licensing checkout error: No such feature exists.
Feature: VC-FORMAL-BASE-SH
License path: 27080@almalinux8.linuxvmimages.local:
FlexNet Licensing error:-5,147
license file(s): 27080@almalinux8.linuxvmimages.local
[SCL] 11/17/2025 15:23:26 PID:66763 Client:almalinux8.linuxvmimages.local Checkout denied VC-FORMAL-ELITE-SH 2024.09
FlexNet Licensing checkout error: Invalid parameter.
Feature: VC-FORMAL-ELITE-SH
License path: 27080@almalinux8.linuxvmimages.local:
FlexNet Licensing error:-42,147
license file(s): 27080@almalinux8.linuxvmimages.local
*** Error: License Server, unable to checkout required license(s), please see license server log for details.
[SCL] 11/17/2025 15:23:36 PID:66763 Client:almalinux8.linuxvmimages.local Checkout denied VC-FORMAL-TOKEN-SH 2024.09
FlexNet Licensing checkout error: No such feature exists.
Feature: VC-FORMAL-TOKEN-SH
License path: 27080@almalinux8.linuxvmimages.local:
FlexNet Licensing error:-5,147
license file(s): 27080@almalinux8.linuxvmimages.local
[SCL] 11/17/2025 15:23:46 PID:66763 Client:almalinux8.linuxvmimages.local Checkout denied VC-STATIC-COMPILE 2024.09
FlexNet Licensing checkout error: Invalid parameter.
Feature: VC-STATIC-COMPILE
License path: 27080@almalinux8.linuxvmimages.local:
FlexNet Licensing error:-42,147
license file(s): 27080@almalinux8.linuxvmimages.local
*** Error: License Server, unable to checkout required license(s), please see license server log for details.
** Error: Formal Shell Licensing. License checkout failed for license VC-STATIC-COMPILE



/*******************************************************************************



What is wrong with the synopsys.src file?

What are the correct steps to generate the license synopsys.lic file?

I also have Synopsysmonoslayer file as well. I don't know how and  when to use it?

dcircuit

kankna

login629

   

dcircuit 发表于 2025-11-17 20:35
kankna

please review my updated post

login629

anyone who can help? Please help

dcircuit

是src
INCREMENT VC-AUTO-TESTBENCH                snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-AUTO-TESTBENCH-CUSTOM-VIP     snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-AUTO-TESTBENCH-VERDI-PLUGIN   snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-CDC-ADV                       snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-CDC-BASE                      snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-CDC-NETLIST                   snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-DEBUG-RUNTIME                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-DEBUG-RUNTIME-BASE            snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-EXECMAN-CLIENT                snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-EXECMAN-SERVER                snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FAULT-FCC                     snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FAULT-FCM                     snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FAULT-FDB-RT                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-AEP                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-AEP-RT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-CC                     snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-CC-RT                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-ELITE-RT               snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-ELITE-SH               snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FCA                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FCA-RT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FPV                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FPV-RT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FRV                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FRV-RT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FSV                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FTA                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FTA-RT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FXP                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-FXP-RT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-RMA-RT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-RT                     snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-SEQ                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-SEQ-RT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-FORMAL-ULTRA                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-LINT-BASE                     snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-LP-CROSSOVER                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-LP-ULTRA                      snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-LP-ULTRA-RTL                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-ML-PLATFORM                   snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-POWER-EST-BASE                snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-POWER-REPLAY-COMPILE          snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-POWER-REPLAY-RUNTIME          snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-RDC-ADV VC-RDC-BASE           snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-RDC-NETLIST                   snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-SG-2-Elite-Base-Pkg           snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-SG-2-Elite-Pkg                snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-SG-BASE                       snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-SG-ELITE                      snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-SG-RDC                        snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-SG-RDC-Addon-Pkg              snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-SMART-SEARCH                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-CDC                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-CDC-DEBUG-ML           snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-COMPILE                snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-COV                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-FTA                    snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-FV                     snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-LINT                   snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-LP                     snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-LP-DEBUG               snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-RUNTIME                snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-VDIFF                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-STATIC-VERDI-PLUGIN           snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-Spyglass-CDC                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-Spyglass-LINT                 snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VC-Spyglass-RDC                  snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }
INCREMENT VCFV-Verdi-Plugin                snpslmd 2030.120 31-dec-2030 999999 0 VENDOR_STRING=^1+S SUPERSEDE ISSUED=1-jan-2018 ck=0 SN=RK:2000-0:100000:1 START=1-jan-2018 AUTH={ snpslmd=(LK=0) }