- Code: Select all
+---+---+---+
|...|.1.|4..|
|7..|...|.6.|
|...|8..|...|
+---+---+---+
|.41|.5.|...|
|...|...|.73|
|...|...|5..|
+---+---+---+
|2..|7.6|...|
|.6.|...|1..|
|...|3..|...|
+---+---+---+
+---+---+---+
|...|.1.|4..|
|7..|...|.6.|
|...|8..|...|
+---+---+---+
|.41|.5.|...|
|...|...|.73|
|...|...|5..|
+---+---+---+
|2..|7.6|...|
|.6.|...|1..|
|...|3..|...|
+---+---+---+
Resolution state after Singles (and whips[1]:
+-------------+-------------+-------------+
! 5 3 289 ! 6 1 29 ! 4 289 7 !
! 7 289 4 ! 5 3 29 ! 289 6 1 !
! 1 29 6 ! 8 7 4 ! 3 5 29 !
+-------------+-------------+-------------+
! 3 4 1 ! 29 5 7 ! 6 289 289 !
! 6 259 259 ! 1 4 8 ! 29 7 3 !
! 89 7 289 ! 29 6 3 ! 5 1 4 !
+-------------+-------------+-------------+
! 2 1 3 ! 7 89 6 ! 89 4 5 !
! 89 6 7 ! 4 289 5 ! 1 3 289 !
! 4 589 589 ! 3 289 1 ! 7 289 6 !
+-------------+-------------+-------------+
67 candidates, 229 csp-links and 229 links. Density = 10.36%
after singles:
5 3 ×289 6 1 29 4 289 7
7 289 4 5 3 29 b-289 6 1
1 a±29 6 8 7 4 3 5 a+29
3 4 1 29 5 7 6 289 289
6 c-×259 c-259 1 4 8 b+29 7 3
89 7 c+289 29 6 3 5 1 4
2 1 3 7 89 6 89 4 5
89 6 7 4 289 5 1 3 289
4 589 589 3 289 1 7 289 6
r3n2{c2 c9} - c7n2{r2 r5} - b4n2{r5c2r5c3 r6c3} => r1c3 r5c2 <> 2
5 3 89 6 1 29 4 289 7
7 b2+89 4 5 3 29 eb2-8-9 6 1
1 c+29 6 8 7 4 3 5 d2+9
3 4 1 29 5 7 6 289 289
6 f5-9 259 1 4 8 e2+9 7 3
89 7 289 29 6 3 5 1 4
2 1 3 7 a±8×9 6 a+89 4 5
g8-9 6 7 4 g28+9 5 1 3 289
4 f58+9 589 3 289 1 7 289 6
r7n8{c5 c7} - r2n8{c7 c2} - c2n2{r2 r3} - r3c9{n2 n9} - c7n9{r2 r5} - c2n9{r5 r9} - r8n9{c1 c5} => r7c5 <> 9
ste.
.---------------------------------------------------.
| 5 3 B289 | 6 1 29 | 4 A289 7 |
| 7 C289 4 | 5 3 29 |c289 6 1 |
| 1 a29 6 | 8 7 4 | 3 5 b29 |
|-----------------+----------------+----------------|
| 3 4 1 | 29 5 7 | 6 289 289 |
| 6 59-2 259 | 1 4 8 |d29 7 3 |
| 89 7 289 | 29 6 3 | 5 1 4 |
|-----------------+----------------+----------------|
| 2 1 3 | 7 89 6 | 89 4 5 |
| 89 6 7 | 4 289 5 | 1 3 289 |
| 4 D589 589 | 3 289 1 | 7 29-8 6 |
'---------------------------------------------------'
.---------------------------------------------------.
| 5 3 89 | 6 1 29 | 4 d89-2 7 |
| 7 289 4 | 5 3 29 |c289 6 1 |
| 1 29 6 | 8 7 4 | 3 5 29 |
|-----------------+----------------+----------------|
| 3 4 1 | 29 5 7 | 6 289 289 |
| 6 59 259 | 1 4 8 | 29 7 3 |
| 89 7 289 | 29 6 3 | 5 1 4 |
|-----------------+----------------+----------------|
| 2 1 3 | 7 89 6 |b89 4 5 |
| 89 6 7 | 4 289 5 | 1 3 289 |
| 4 589 589 | 3 289 1 | 7 a29 6 |
'---------------------------------------------------'
.----------------------------------------------------.
| 5 3 89 | 6 1 2 | 4 a(9)8 7 |
| 7 28 4 | 5 3 9 | 28 6 1 |
| 1 c(9)2 6 | 8 7 4 | 3 5 b(9)2 |
|-----------------+----------------+-----------------|
| 3 4 1 | 29 5 7 | 6 289 289 |
| 6 C(9)5 259 | 1 4 8 |B(9)2 7 3 |
| 89 7 289 | 29 6 3 | 5 1 4 |
|-----------------+----------------+-----------------|
| 2 1 3 | 7 89 6 |A(9)8 4 5 |
| 89 6 7 | 4 289 5 | 1 3 289 |
| 4 d(9)58 589 | 3 289 1 | 7 2-9 6 |
'----------------------------------------------------'
.---------------------------------------------------.
| 5 3 89 | 6 1 2 | 4 9-8 7 |
| 7 28 4 | 5 3 9 |a28 6 1 |
| 1 29 6 | 8 7 4 | 3 5 29 |
|-----------------+----------------+----------------|
| 3 4 1 | 29 5 7 | 6 c89 289 |
| 6 59 259 | 1 4 8 |b29 7 3 |
| 89 7 289 | 29 6 3 | 5 1 4 |
|-----------------+----------------+----------------|
| 2 1 3 | 7 89 6 | 89 4 5 |
| 89 6 7 | 4 2 5 | 1 3 89 |
| 4 589 589 | 3 89 1 | 7 2 6 |
'---------------------------------------------------'