Verification related problem

[高大脚]

When I verify a property of the system, the verifier will generate a fastest trace satisfying the property. Can I regard the trace as the fastest(optimal) trace of the system? Or I need to verify further to check the optimality of the trace? Thank you!