3 ms·

And more on the SCIP protocol he briefly mentioned: http://www.scipr-lab.org/ http://www.scipr-lab.org/