We (me and zielar) solved #115 after ~2^33.36 DP (DP25) (More than 300GB of DP). I do not know exactly how long the run takes due to unwanted interruption.
Congratulations for breaking the World Record too. Good job
The last world record was 112 bits, right?
