芯华章赛题的输出格式的问题？

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

您好，输出格式问题回复如下：
1. 请全部使用英文字符。
2. 中括号内为输出结果，以英文逗号分隔符分隔。分隔符的首尾空格最终解析的时候会被trim掉，所以分隔符首尾是否有空格不做要求。

TL_X 发表于 2024-3-9 13:06
您好，输出格式问题回复如下：
1. 请全部使用英文字符。
2. 中括号内为输出结果，以英文逗号分隔符分隔。分 ...

好的谢谢