Skip to main content

Table 7 Number of conflict literals

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 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