200 ft for every second of late lift dump. (4 x 200 ft)
200 ft for every second above 2 sec for late deployment of reverse. (~ 500 ft)
How much reverse, what level of braking was chosen for the reported runway condition?
Add that the the reported long flare (3000 ft?) and compare with the landing distance available.
Then consider at what point during the landing roll-out the crew could be aware that the aircraft might not stop in the distance remaining; would use of all available deceleration devices at this point be able to stop the aircraft in the remaining distance.
'Avoiding an overrun'
http://www.faa.gov/documentLibrary/m.../AC_91-79A.pdf