For some strange reasons the rate has an impact on the cost when one uses a simulator. So even if one doesn't use any of the defined variables on any transition the rate will change in the simulator and accordingly to it the cost as well. The verifier seems to work good. I even have a test example developed in Uppaal Cora where i can demonstrate this problem. If you need some information don't hesitate to contact me.
Taking over