Searched defs:nSatProof (Results 1 – 6 of 6) sorted by relevance
237 int nSatProof, nSatCallsSat, nRecycles, nSatFailsReal, nUniques; in Ssw_SignalCorrespondenceRefine() local
109 int nSatProof; // the number of proofs member
77 int nSatProof; // the number of proofs member
170 int nSatProof; // the number of times a proof was found member
231 int nSatProof; member
92 int nSatProof; member