3 ms·

This has been an ongoing debate since the computerized proof of the four color theorem fifty years ago.