Skip to main content

Table 4 Number of decisions

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

w(r;t1,t2,…,t r) NegVanSAT MINISAT
W1:w(3; 2, 3, 5) for n = 31 415 1006
W2:w(4; 2, 2, 3, 3) for n = 12 12 27
W3:w(4; 2, 2, 3, 4) for n = 25 10199 25260
W4:w(4; 2, 2, 3, 4) for n = 20 14 105
W5:w(5; 2, 2, 2, 3, 5) for n = 30 32 278
W6:w(5; 2, 2, 2, 3, 5) for n = 44 1542234 2835250
W7:w(5; 2, 2, 2, 3, 3) for n = 15 13 36