此文件为Karman改进源码用来对源karman程序运行时间进行预测，文件中的karman为基于karman源程序的建模-karman modified code which is used to bulid a model to give the prediction of running time.