Searched refs:certifiedUNSAT (Results 1 – 7 of 7) sorted by relevance
158 S.certifiedUNSAT = opt_certified; in main()160 if(S.certifiedUNSAT) { in main()241 if (S.certifiedUNSAT) fprintf(S.certifiedOutput, "0\n"), fclose(S.certifiedOutput); in main()
222 if(!parsing && certifiedUNSAT) { in addClause_()287 if (certifiedUNSAT) { in strengthenClause()305 if (certifiedUNSAT) { in strengthenClause()
124 , certifiedUNSAT (opt_certified_) in Solver()162 if(certifiedUNSAT) { in Solver()242 if(certifiedUNSAT) { in addClause_()263 if (flag && (certifiedUNSAT)) { in addClause_()337 if (certifiedUNSAT) { in removeClause()1083 if (certifiedUNSAT) { in search()1212 if(incremental && certifiedUNSAT) { in solve_()1260 if (certifiedUNSAT){ // Want certified output in solve_()
152 if(!parsing && certifiedUNSAT) { in addClause_()208 if (certifiedUNSAT) { in strengthenClause()218 if (certifiedUNSAT) { in strengthenClause()
182 bool certifiedUNSAT; variable
153 , certifiedUNSAT(false) // Not in the first parallel version in Solver()237 , certifiedUNSAT(false) // Not in the first parallel version in Solver()408 if(certifiedUNSAT) { in addClause_()423 if(flag && (certifiedUNSAT)) { in addClause_()533 if(certifiedUNSAT) { in removeClause()1540 if(certifiedUNSAT) { in search()1738 if(incremental && certifiedUNSAT) { in solve_()1800 if(certifiedUNSAT) { // Want certified output in solve_()
238 bool certifiedUNSAT; variable