[tardygrade]

One key difference between giving humans more time and giving computer programs more time is that historically we have had more success making the latter run faster than the former.