SSReflect vs Coq. s/DeadOnArrival/YMMV/. s/ItRunsFast/9.63s/.