有人算过CMU这个queen8_8的着色问题吗？

[（ヅ）]

https://mat.tepper.cmu.edu/COLOR04/INST ... een8_8.col

queen7_7: 49顶点，952条边，7色很快几秒钟就算完了
queen8_8: 64顶点，1456条边，8色这算了快半个小时了都没算完

有没有人算过，大概需要多长时间

补充一下:queen8_8 7色也很快

补充2：晚上又拿笔记本算了3个小时，还是没出结果，放弃了