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