作者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