They don't work. Sat in traffic forever coming back from Dulles last week
However, the HOV/HOT lane had hardly any cars. I can't remember what they were charging but it was a lot. Result? Bumper-to-bumper from Occaquan to Fredericksburg, barely moving for a couple of hours while the HOT lanes went essentially unused.