Always use two digits in runningtime.sh as well
Always use two digits in runningtime.sh as well

diku-kmc/repg,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/kleenexlang,diku-kmc/repg,diku-kmc/kleenexlang