Table 1 Satisfiability rate of Algorithm 3.1 for Algorithms SD-1, SD-2, and SD-3 applied to Problem 3.1 when \(\pmb{d:= 10^{3}, 10^{4}}\)

Algorithm

SR ( \(\boldsymbol{d:=10^{3}}\) )

SR ( \(\boldsymbol{d:=10^{4}}\) )