making assert more robust (if the runtime is only 10sec, the timelimit does not work very reliably).

making assert more robust (if the runtime is only 10sec, the timelimit does not work very reliably).