Skip to main content

Table 2 Some of the known Van Der Waerden numbers

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

w(r;t1,t2,…, tr)   Reference
w(2; 3, 17) = 279 Ahmed [10]
w(2; 3, 18) = 312 Ahmed [10]
w(2; 5, 5) = 178 Beeler et al. [20]
w(2; 6, 6) = 1132 Kouril et al. [21]
w(3; 2, 3, 7) = 55 Landman et al. [22]
w(3; 3, 4, 4) = 89 Landman et al. [22]
w(4; 2, 2, 3, 6) = 48 Landman et al. [22]
w(4; 2, 2, 2, 2) = 76 Beeler et al. [20]
w(4; 2, 2, 3, 7) = 65 Landman et al. [22]
w(5; 2, 2, 2, 3, 3) = 20 Landman et al. [22]
w(5; 2, 2, 3, 3, 3) = 41 Landman et al. [22]
w(6; 2, 2, 2, 2, 4, 4) = 56 Ahmed [23]
w(6; 2, 2, 2, 3, 3, 3) = 42 Ahmed [23]
w(7; 2, 2, 2, 2, 2, 3, 3) = 24 Ahmed [23]
w(7; 2, 2, 2, 2, 2, 3, 4) = 36 Ahmed [23]
w(8; 2, 2, 2, 2, 2, 2, 3, 3) = 25 Ahmed [23]
w(9; 2, 2, 2, 2, 2, 2, 2, 3, 3) = 28 Ahmed [23]