An empirical-comparison of methodologies for obtaining results with specific accuracy and for runlength control in quantitative simulation