Table 4 Number of decisions
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 |