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