Isn't this (also) a bug in lab then? Runs that exceed the timeout should be
pruned, i.e., considered as unsolved, also for single configurations.
(Unfortunately, depending on the system setup, one cannot rely on the timeout
being enforced in a strictly and timely manner. Variations of +/- 1 second are
not unusual.)
|