Table 7 Number of conflict literals

W1:w(3; 2, 3, 5) for n = 31

4395

7578

W2:w(4; 2, 2, 3, 3) for n = 12

37

128

W3:w(4; 2, 2, 3, 4) for n = 25

89482

194914

W4:w(4; 2, 2, 3, 4) for n = 20

12

1607

W5:w(5; 2, 2, 2, 3, 5) for n = 30

125

4446

W6:w(5; 2, 2, 2, 3, 5) for n = 44

33518252

57269153

W7:w(5; 2, 2, 2, 3, 3) for n = 15

0

342