depends also on the generation of ABS.
the ABS on my 32GTR is old, slow acting, and pulse intervals are long between hits.
good for its time, but far from good now, with current technology beating it by a fair bit.
a good driver might have been able to stop in a comparable or better time than older ABS, but may struggle today.