I made a puzzle using Hodoku as an editor and Simple Sudoku to count solutions. I place it in the evil category. See what you think.
1..4..7...2..5............94..8....3.5....6....7..9.1.9..1......6...7..4..8.3..5.
DANvonBose wrote:I made a puzzle using Hodoku as an editor and Simple Sudoku to count solutions. I place it in the evil category. See what you think.
1..4..7...2..5............94..8....3.5....6....7..9.1.9..1......6...7..4..8.3..5.
***********************************************************************************************
*** SudoRules 20.1.s based on CSP-Rules 2.1.s, config = W+SFin
*** Using CLIPS 6.32-r770
***********************************************************************************************
222 candidates, 1400 csp-links and 1400 links. Density = 5.71%
finned-swordfish-in-columns: n5{c1 c4 c7}{r3 r8 r6} ==> r6c9 ≠ 5
hidden-single-in-a-column ==> r1c9 = 5
finned-swordfish-in-rows: n9{r2 r9 r5}{c3 c4 c7} ==> r4c7 ≠ 9
whip[1]: c7n9{r9 .} ==> r8c8 ≠ 9
biv-chain-cn[4]: c2n1{r9 r4} - c2n9{r4 r1} - c5n9{r1 r8} - c7n9{r8 r9} ==> r9c7 ≠ 1
biv-chain[4]: r8n1{c7 c3} - c2n1{r9 r4} - c2n9{r4 r1} - c5n9{r1 r8} ==> r8c7 ≠ 9
hidden-single-in-a-block ==> r9c7 = 9
biv-chain[3]: r9c4{n6 n2} - r9c1{n2 n7} - r2n7{c1 c4} ==> r2c4 ≠ 6
biv-chain[4]: r6c2{n3 n8} - r6c9{n8 n2} - r4c7{n2 n5} - b5n5{r4c6 r6c4} ==> r6c4 ≠ 3
whip[1]: r6n3{c2 .} ==> r5c1 ≠ 3, r5c3 ≠ 3
t-whip[4]: r6c2{n3 n8} - r5c1{n8 n2} - r9c1{n2 n7} - c2n7{r9 .} ==> r3c2 ≠ 3
biv-chain[5]: r5n9{c8 c3} - r2n9{c3 c4} - r2n7{c4 c1} - r9c1{n7 n2} - r5c1{n2 n8} ==> r5c8 ≠ 8
biv-chain[5]: b8n5{r7c6 r8c4} - c4n9{r8 r2} - r2n7{c4 c1} - r9c1{n7 n2} - r9c4{n2 n6} ==> r7c6 ≠ 6
biv-chain[5]: c4n5{r6 r8} - c4n9{r8 r2} - r2n7{c4 c1} - r9c1{n7 n2} - r9c4{n2 n6} ==> r6c4 ≠ 6
biv-chain[6]: r9c1{n2 n7} - r2n7{c1 c4} - b2n9{r2c4 r1c5} - c2n9{r1 r4} - c2n1{r4 r9} - r9n4{c2 c6} ==> r9c6 ≠ 2
biv-chain[4]: r9c6{n4 n6} - r9c4{n6 n2} - r6c4{n2 n5} - b8n5{r8c4 r7c6} ==> r7c6 ≠ 4
z-chain[6]: b6n8{r6c9 r6c7} - b6n4{r6c7 r5c8} - c8n9{r5 r4} - c2n9{r4 r1} - c5n9{r1 r8} - r8n8{c5 .} ==> r7c9 ≠ 8
z-chain[6]: r9n1{c2 c9} - r9n7{c9 c1} - r2n7{c1 c4} - b2n9{r2c4 r1c5} - c2n9{r1 r4} - c2n1{r4 .} ==> r9c2 ≠ 4
hidden-single-in-a-row ==> r9c6 = 4
biv-chain[3]: r5n4{c5 c8} - c8n9{r5 r4} - r4n7{c8 c5} ==> r5c5 ≠ 7
z-chain[5]: c5n7{r4 r3} - c5n1{r3 r5} - r5n4{c5 c8} - c8n9{r5 r4} - r4n7{c8 .} ==> r4c5 ≠ 2
z-chain[5]: c5n7{r4 r3} - c5n1{r3 r5} - r5n4{c5 c8} - c8n9{r5 r4} - r4n7{c8 .} ==> r4c5 ≠ 6
biv-chain[3]: r4n5{c7 c6} - b5n6{r4c6 r6c5} - r6n4{c5 c7} ==> r6c7 ≠ 5
singles ==> r4c7 = 5, r6c4 = 5, r7c6 = 5
whip[1]: b8n8{r8c5 .} ==> r1c5 ≠ 8, r3c5 ≠ 8
biv-chain[5]: r8c4{n2 n9} - c5n9{r8 r1} - c2n9{r1 r4} - c2n1{r4 r9} - b9n1{r9c9 r8c7} ==> r8c7 ≠ 2
z-chain[5]: c2n4{r7 r3} - c2n7{r3 r9} - r9c1{n7 n2} - r5c1{n2 n8} - r6c2{n8 .} ==> r7c2 ≠ 3
t-whip-rn[5]: r2n7{c1 c4} - r2n9{c4 c3} - r5n9{c3 c8} - r5n7{c8 c9} - r5n8{c9 .} ==> r2c1 ≠ 8
t-whip[6]: r9c1{n2 n7} - c2n7{r9 r3} - r2n7{c1 c4} - r2n9{c4 c3} - b1n4{r2c3 r3c3} - c3n5{r3 .} ==> r8c3 ≠ 2
t-whip[6]: r5c1{n8 n2} - r9c1{n2 n7} - r2n7{c1 c4} - r2n9{c4 c3} - r5n9{c3 c8} - r5n7{c8 .} ==> r5c9 ≠ 8
singles ==> r5c1 = 8, r6c2 = 3
whip[5]: c1n5{r3 r8} - c1n3{r8 r2} - r2n7{c1 c4} - b2n9{r2c4 r1c5} - r1c3{n9 .} ==> r3c1 ≠ 6
biv-chain[2]: b5n6{r4c6 r6c5} - c1n6{r6 r2} ==> r2c6 ≠ 6
whip[6]: c8n9{r5 r4} - r4c2{n9 n1} - r9n1{c2 c9} - c9n2{r9 r7} - b9n6{r7c9 r7c8} - c8n7{r7 .} ==> r5c8 ≠ 2
whip[5]: b5n6{r4c6 r6c5} - r6c1{n6 n2} - b6n2{r6c9 r5c9} - r9n2{c9 c4} - b8n6{r9c4 .} ==> r4c6 ≠ 2
whip[6]: r4n6{c6 c3} - r4n2{c3 c8} - r1n2{c8 c5} - b2n9{r1c5 r2c4} - r2n7{c4 c1} - c1n6{r2 .} ==> r1c6 ≠ 6
whip[7]: c6n2{r3 r5} - r5c9{n2 n7} - c4n7{r5 r2} - r2n9{c4 c3} - r5n9{c3 c8} - r4c8{n9 n2} - r1n2{c8 .} ==> r3c4 ≠ 2
t-whip[7]: c4n2{r9 r5} - r8c4{n2 n9} - r2n9{c4 c3} - r5n9{c3 c8} - r5n7{c8 c9} - r4c8{n7 n2} - c3n2{r4 .} ==> r7c5 ≠ 2
finned-x-wing-in-rows: n2{r4 r7}{c3 c8} ==> r8c8 ≠ 2
whip[7]: r5c9{n2 n7} - r4c8{n7 n9} - r4c2{n9 n1} - r9n1{c2 c9} - b9n7{r9c9 r7c8} - b9n2{r7c8 r7c9} - b9n6{r7c9 .} ==> r6c7 ≠ 2
whip[7]: r8c8{n8 n3} - r8c7{n3 n1} - r8c3{n1 n5} - r3n5{c3 c1} - c1n3{r3 r2} - r2c7{n3 n4} - r6c7{n4 .} ==> r7c7 ≠ 8
t-whip[4]: r5c9{n2 n7} - c8n7{r5 r7} - r7n8{c8 c5} - r7n6{c5 .} ==> r7c9 ≠ 2
t-whip[3]: r4n2{c3 c8} - c9n2{r6 r9} - r7n2{c7 .} ==> r5c3 ≠ 2
naked-pairs-in-a-block: b4{r4c2 r5c3}{n1 n9} ==> r4c3 ≠ 9, r4c3 ≠ 1
z-chain[5]: b1n8{r3c2 r1c2} - c2n9{r1 r4} - b4n1{r4c2 r5c3} - r8n1{c3 c7} - b9n8{r8c7 .} ==> r3c8 ≠ 8
whip[6]: r4n6{c6 c3} - r4n2{c3 c8} - r4n9{c8 c2} - r1c2{n9 n8} - r3n8{c2 c7} - b3n2{r3c7 .} ==> r3c6 ≠ 6
singles ==> r4c6 = 6, r4c3 = 2, r6c1 = 6, r9c9 ≠ 2
biv-chain[3]: r9c2{n7 n1} - r4n1{c2 c5} - c5n7{r4 r3} ==> r3c2 ≠ 7
whip[1]: c2n7{r9 .} ==> r9c1 ≠ 7
singles ==> r9c1 = 2, r9c4 = 6, r7c5 = 8
biv-chain[3]: r7c3{n4 n3} - r8c1{n3 n5} - r3n5{c1 c3} ==> r3c3 ≠ 4
biv-chain[4]: r2n9{c4 c3} - b4n9{r5c3 r4c2} - r4c8{n9 n7} - b5n7{r4c5 r5c4} ==> r2c4 ≠ 7
hidden-single-in-a-row ==> r2c1 = 7
biv-chain[4]: c2n9{r1 r4} - r4n1{c2 c5} - c5n7{r4 r3} - c5n6{r3 r1} ==> r1c5 ≠ 9
singles ==> r2c4 = 9, r8c4 = 2, r8c5 = 9
biv-chain[4]: r1n9{c3 c2} - c2n8{r1 r3} - c2n4{r3 r7} - r7c3{n4 n3} ==> r1c3 ≠ 3
biv-chain[4]: r4n1{c5 c2} - r5c3{n1 n9} - r1c3{n9 n6} - c5n6{r1 r3} ==> r3c5 ≠ 1
whip[1]: c5n1{r5 .} ==> r5c6 ≠ 1
naked-triplets-in-a-row: r5{c4 c6 c9}{n7 n3 n2} ==> r5c8 ≠ 7, r5c5 ≠ 2
z-chain[3]: r5c6{n2 n3} - r1n3{c6 c8} - r1n2{c8 .} ==> r3c6 ≠ 2
biv-chain[4]: c8n7{r7 r4} - r5c9{n7 n2} - c6n2{r5 r1} - r1n3{c6 c8} ==> r7c8 ≠ 3
finned-x-wing-in-columns: n3{c1 c8}{r8 r3} ==> r3c7 ≠ 3
biv-chain[4]: r3c2{n8 n4} - c3n4{r2 r7} - r7n3{c3 c7} - c7n2{r7 r3} ==> r3c7 ≠ 8
z-chain[3]: r3n8{c6 c2} - b1n4{r3c2 r2c3} - b1n3{r2c3 .} ==> r3c6 ≠ 3
biv-chain[4]: c9n8{r2 r6} - c9n2{r6 r5} - c6n2{r5 r1} - r1n3{c6 c8} ==> r1c8 ≠ 8
whip[1]: b3n8{r2c9 .} ==> r2c6 ≠ 8
biv-chain-rc[4]: r2c6{n1 n3} - r5c6{n3 n2} - r5c9{n2 n7} - r9c9{n7 n1} ==> r2c9 ≠ 1
stte
denis_berthier wrote:
- Code: Select all
[size=120][code] Huge and unreadable software output. [/code][/size]
denis_berthier wrote:Hi Dan,
Now, you've also been introduced to the plague of this forum.
SpAce wrote:Poor Denis. I just offered some friendly observations for your own good. .
denis_berthier wrote:AH AH AH. You've never been friendly!
I can do without any of your systematic criticism.
Needless to say, I don't read past the first two lines.
I still have to see any useful comment from you.
Let me give you a "friendly" advice in turn: if you want to be respected, respect others instead of fighting with each of us in turn.
And first, before whining about my solution,
do you have a better one?
space wrote:the baseless claims that you've been recycling for a long time