标杆基准测试程序数值benchmarks for science literacy: 科学素养标准; 科学素养的基准coq targets and benchmarks: coq目标和基准benchmarkproblem: 基准问题benchmark(bm): 水准点benchmarking program: 基准点测试程序下载手机词典可随时随地查词查翻译