undecided numbers: (3 4 5 6 8 9 10 12 14 15 18 19 20 21 22 23 24 25 26 27 28 29 30 32 33 34)
start solution 1.118887
entering BRT
singles: r2c5 = 14, r2c6 = 12
296 candidates, 4283 csp-links and 12095 links. Density = 27.7%
whip[1]: r6c1{n28 .} ==> r6c6 ≠ 26, r1c1 ≠ 24, r1c1 ≠ 25, r1c1 ≠ 26, r1c3 ≠ 24, r1c3 ≠ 25, r1c3 ≠ 26, r1c4 ≠ 24, r1c4 ≠ 25, r1c4 ≠ 26, r2c1 ≠ 25, r2c2 ≠ 25, r2c4 ≠ 25, r3c5 ≠ 25, r3c6 ≠ 24, r3c6 ≠ 25, r3c6 ≠ 26, r4c6 ≠ 24, r4c6 ≠ 25, r4c6 ≠ 26, r5c5 ≠ 25, r5c6 ≠ 24, r5c6 ≠ 25, r5c6 ≠ 26, r6c5 ≠ 25, r6c6 ≠ 24, r6c6 ≠ 25
whip[1]: n3{r6c5 .} ==> r3c6 ≠ 4
whip[1]: n6{r5c6 .} ==> r6c3 ≠ 5
whip[1]: n5{r5c6 .} ==> r6c2 ≠ 4
whip[1]: n30{r4c4 .} ==> r5c6 ≠ 29
whip[1]: n20{r4c4 .} ==> r5c6 ≠ 21
whip[1]: n10{r2c4 .} ==> r3c6 ≠ 9
hidden-pairs: {n10 n15}{r1c4 r2c4} ==> r2c4 ≠ 32, r2c4 ≠ 30, r2c4 ≠ 29, r2c4 ≠ 28, r2c4 ≠ 27, r2c4 ≠ 26, r2c4 ≠ 24, r2c4 ≠ 23, r2c4 ≠ 22, r2c4 ≠ 21, r2c4 ≠ 20, r2c4 ≠ 19, r2c4 ≠ 9, r2c4 ≠ 5, r1c4 ≠ 29, r1c4 ≠ 28, r1c4 ≠ 27, r1c4 ≠ 23, r1c4 ≠ 22, r1c4 ≠ 21, r1c4 ≠ 20, r1c4 ≠ 19
whip[1]: n19{r1c3 .} ==> r3c5 ≠ 20, r3c6 ≠ 21, r4c6 ≠ 21
whip[1]: n9{r3c5 .} ==> r3c5 ≠ 8, r1c4 ≠ 10
hidden-single: r2c4 = 10
hidden-single: r1c4 = 15
whip[1]: n30{r4c4 .} ==> r1c3 ≠ 29
z-chain[2]: n27{r6c6 r2c2} - n29{r2c2 .} ==> r1c3 ≠ 28
z-chain[2]: n28{r1c1 r2c2} - n26{r2c2 .} ==> r1c3 ≠ 27
whip[1]: r1c3{n23 .} ==> r5c1 ≠ 21, r5c2 ≠ 21, r5c5 ≠ 21, r6c1 ≠ 22, r6c2 ≠ 22, r6c3 ≠ 22, r6c4 ≠ 22, r6c5 ≠ 22, r6c6 ≠ 22
whip[1]: r6c2{n28 .} ==> r1c1 ≠ 27, r2c1 ≠ 26, r2c2 ≠ 26
whip[1]: r6c1{n28 .} ==> r3c5 ≠ 26, r3c6 ≠ 27, r4c6 ≠ 27, r5c5 ≠ 26, r5c6 ≠ 27, r6c5 ≠ 26, r6c6 ≠ 27
whip[1]: n21{r4c4 .} ==> r5c6 ≠ 22
z-chain[2]: n22{r5c5 r2c2} - n20{r2c2 .} ==> r1c3 ≠ 21
z-chain[2]: n21{r1c1 r2c2} - n23{r2c2 .} ==> r1c3 ≠ 22
z-chain[2]: n22{r1c1 r2c2} - n24{r2c2 .} ==> r1c3 ≠ 23
whip[1]: r1c3{n20 .} ==> r1c1 ≠ 19, r4c2 ≠ 20, r4c3 ≠ 20, r4c4 ≠ 20, r2c1 ≠ 19, r3c1 ≠ 19, r3c3 ≠ 19
whip[1]: n20{r3c3 .} ==> r3c5 ≠ 21, r3c6 ≠ 22, r4c6 ≠ 22
z-chain[2]: n22{r4c4 r3c5} - n24{r3c5 .} ==> r3c6 ≠ 23
z-chain[2]: n22{r4c3 r4c4} - n24{r4c4 .} ==> r3c5 ≠ 23
z-chain[2]: n21{r3c3 r2c2} - n19{r2c2 .} ==> r1c3 ≠ 20
whip[1]: r1c3{n19 .} ==> r1c1 ≠ 18, r2c1 ≠ 18
whip[1]: r1c1{n28 .} ==> r6c1 ≠ 24, r6c2 ≠ 24, r6c3 ≠ 24, r6c4 ≠ 24, r6c5 ≠ 24
hidden-pairs: {n18 n19}{r1c3 r2c2} ==> r2c2 ≠ 33, r2c2 ≠ 29, r2c2 ≠ 28, r2c2 ≠ 27, r2c2 ≠ 24, r2c2 ≠ 23, r2c2 ≠ 22, r2c2 ≠ 21, r2c2 ≠ 20
S+W1 tte