EDA²难题挑战交流 今日: 0|主题: 40|排名: 2 

遇到一个问题，把10w_real、15w_real的三角矩阵（没有复数）转为对称的矩阵后。判断出好像不是正定的矩阵，而赛题说明算例是正定的。不知道是不是自己处理有点问题。

请问芯华章赛题的输出格式是{UNSAT, 0} 吗,用中括号括起来，前面是字符串，后面是英文的逗号，紧跟着一个空格然后安全属性所属的index。请问标点是中文还是英文的，数字前面带空格吗

服务器没有设置算力上限，可以用64个核心，有同学没设置，直接64个核心，别的同学直接无法调试了

我们在提交可执行文件后发现结果是0分，我们想知道是环境问题还是结果不能达到对应的要求。 能否返回一些信息来方便我们进行相关的检查？ 方便的话，是否能提供一个与测试环境一致的dockerfile或服务器用来进行环境的检查？

白天从判题中到显示已判题，但是排行榜界面分数没有变化，是否意味着新版本比老版本还要垃圾，也就是说如果我提交版本比历史版本挫的话，我无法看到这个新提交版本的得分是嘛？另外，排行榜更新是有一个周期的吗?

管理员你好，请问我3.4提交的评测为啥3.6还是显示判题中，是否我提交的文件有问题

赛题里面显示矩阵A是正定矩阵，但是我处理的时候发现好像不是正定的。大佬们有没有也是这种情况的呀~~~

我们在服务器上用FAN_ATPG项目的源代码跑case10，用parallelpattern是pass了，但用parallelfault就fail了，想请问下这是存在什么问题吗?

尊敬的组委会老师们： 我希望能够请教一下关于本次比赛所采用的鲲鹏 ARM 多核 CPU 架构的一些技术细节。根据提供的信息，打榜服务器的 CPU 为 Huawei Kunpeng920，主频为 2.6GHz，具有 32vCPUs 和 50GiB 内存。我在查阅相关资料时发现了一些不一致之处，具体表现在 eda 平方和侠客岛上提供的信息不太一致。eda 平方上显示该 CPU 具有 60 个核心，而在侠客岛上则显示为 32 个核心。内存核核数以哪个为准？ 另外，我想请问一下，这些核心是全部集中在一个 Node 上，还是分布在多个 Node 上呢？此外，这个差异是否会对我们在比赛中的算法设计和优化产生影响？如果可能的话，是否能够提供更详细的硬件配置信息，以便我们更好地调整我们的策略。 感谢您们的耐心解答，期待您们的回复。 谢谢！

希望能够在这里得到一些帮助。 [*]服务器登录问题：我们正在参与打榜比赛，但是使用 Xshell 登录服务器时遇到了问题。具体地说，SSH 服务器拒绝了密码。我已经多次尝试，但无法成功登录。是否有人能够提供一些关于此问题的指导或解决方案？队长注册账号：18518983880 [*]文件上传长时间判题中：另外，我们还遇到了在上传文件到侠客岛时的问题。文件一直处于判题中的状态，迟迟未能完成。这也给我们的比赛准备工作带来了困扰。是否有人在此方面有经验，并能提供一些建议或解决方案？ 如果有任何能够帮助解决以上问题的信息、方法或建议，我将非常感激。已经尝试联系负责人，但目前还没有收到回复。时间紧迫，希望能够得到尽快的帮助。非常感谢你们的时间和关注！