Machine:E3-1226V3 3.3GHz
I ran several hours, but I could not find any better solution beyond 3831.
It looks pretty long-running will be required to update the current lower bound 3829 because the branching tree is enormous.
0 件のコメント:
コメントを投稿