// Coverage
R{"time"}min=? [ (F w2) & (F w5) & (F w6) ]
R(dist){"time"}min=? [ (F w2) & (F w5) & (F w6) ]
R(cvar){"time"}min=? [ (F w2) & (F w5) & (F w6) ]