- Modified timebenchmark.js script of nocomptime suite