Skip to main content

Table 6 Number of propagations

From: A novel SAT solver for the Van der Waerden numbers

w(r;t1,t2,…, tr)

NegVanSAT

MINISAT

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

9729

23063

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

94

167

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

283096

545502

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

96

1833

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

293

5564

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

68616554

86707553

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

75

312