作者s86080 (松)
看板EE_DSnP
标题[问题] CIRFraig spec上的要求?
时间Tue Jan 17 00:42:19 2012
想请问一下~
spec里在CIRGfraig最後一句有提到
"Print out the number of the proven equivalent and non-equivalent pairs."
请问这是只要印出什麽呢？
是ref program在跑的时候
会出现的" Proving (!748, 402)...UNSAT!!" 吗？
还是指最後会出现的
-------------------------------------------
Updating by UNSAT... Total #FEC Group = 58
Updating by SAT... Total #FEC Group = 58
-------------------------------------------
这个东西呢？
看了看ref program跑的结果，
还是搞不清楚最後跑出来的两行是什麽意思??@@
感谢~~
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 111.248.2.22
1F：推 ric2k1:这是印给你自己看的，每个人证的顺序、方式不同，这部分 01/17 03:10
2F：→ ric2k1:无法统一要求。 01/17 03:10
3F：→ s86080:知道罗~谢谢老师~ 01/17 10:25