[startup]
layoutfilename=Default_without_CutSim.layout
verifiermodelayoutfilename=Default_with_CutSim.layout
EnableCCWhenVerifierEnabled=1