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

您好，我们在故障仿真比赛中遇到一些问题想要请教： 1、请问运行脚本的指令都包含什么呢？ 2、输出ud和dt也就是report fault的时间算不算在总时间里？程序运行时间是从哪里得到的呢？是程序输出的real time吗？ 3、后台真正测评的电路规模和分别加权多少？ 4、15号24点之前能不能提交，提交了有没有成绩，服务器什么时候关？ 5、Runtime real user sys 这几个值有没有意义？

测试服务器docker显示cannot connect to the docker daemon，并且不能sudo不能chomd，怎么解决

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

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

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

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

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

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

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

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