/* Check whether the experiment has to be terminated by now */
elapsed=gras_os_time()-start;
- VERB2("elapsed %f duration %f",elapsed, duration);
+ DEBUG2("elapsed %f duration %f",elapsed, duration);
} while (saturate_further && (duration==0 || elapsed < duration));