Extending auto-scheduler to support performance evaluation with timing model