Ken Appel died a few days ago, and I wanted to see how long it took to perform the four color theorem proof now, with modern systems. At the Four Color Theorem page, there is a link given for the configurations, but it seems non-functional.
So, does anyone have a working link? Alternately, if someone has access to the with the discharging program, could you run it on a 2013-era system and announce how long the proof takes to run?
Try the links on this page. (It's actually linked to in the "Pointers" section of the Four Color Theorem page.) In case that site goes down to, the content has also been backed up at arxiv here and here.