Skip to main content

Table 3 Number of conflicts

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

381

743

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

4

9

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

9198

17596

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

1

86

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

9

170

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

1423072

1978087

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

0

18