| Setup | No. of constraints | No. of literals |
| 1.1 | 7,599 | 60,877 | 1.2 | 20,047 | 197,385 | 1.3 | 33,040 | 397,584 | 1.4 | 52,658 | 781,281 | 1.5 | 65,773 | 1,154,150 | 1.6 | 85,081 | 1,689,251 | 1.7 | 126,877 | 2,771,502 | 1.8 | 138,641 | 3,393,508 | 1.9 | 174,434 | 4,580,388 | 2.1 | 6,746 | 77,396 | 2.2 | 12,801 | 156,798 | 2.3 | 17,220 | 217,867 | 2.4 | 27,899 | 338,935 | 2.5 | 33,040 | 397,584 | 2.6 | 35,516 | 435,196 | 2.7 | 45,021 | 539,373 | 2.8 | 54,239 | 659,452 | 2.9 | 60,376 | 770,882 | 2.10 | 69,218 | 877,051 |
|
|