Remove the global conflict/propagation limit settings.
Remove the global conflict/propagation limit settings.

mabdula/minisat,niklasso/minisat,meteor/minisat,jamesbornholt/minisat,mabdula/minisat,meteor/minisat,meteor/minisat,mabdula/minisat,meteor/minisat,robertsami/minisat,jamesbornholt/minisat,robertsami/minisat,niklasso/minisat