> The duo kept their program running in the background for over a decade

Were they not searching for counter examples to the sum conjecture during this time? Or how did they program not identify this simple 3+3 example sooner?