Hi all, I just got informed that this thread is alive again, I hope you didn't miss me too much. :)
I've hardly touched the code since we last spoke, but I continue to do runs to improve known bounds (mostly very long runs now); I have not updated the OEIS entry for a while - I have a bunch of data to extend the a-file up to

or

, so please let me know of any improvements you find in that range. (I've grabbed
VAL's recent result for

already.)
I'm currently have threads working to show

is minimal (which will take another year or two), and to reduce smallest known values for

and

. I can confirm the recently posted list of best known values for D(48,k) match my latest data.
Unfortunately a stupid slip of the mouse a few months ago caused me to lose a bunch of notes and helper code that were not checked in to git (including the code I used to generate the OEIS data file, with all the information on who found which result and when), so the next update will involve a lot of manual effort.