by ravel » Fri Aug 25, 2006 12:12 pm
All following exclusions were done with BF steps.
line 5:
r2c9<>1, r3c7<>4, r7c6<>3, r2c3<>8
r3c5<>1, r3c7<>4, r7c6<>3, r2c3<>8
r4c2<>6, r2c9<>1, r1c6<>4, r1c5<>6
r8c3<>6, r2c9<>1, r1c6<>4, r1c5<>6
r8c4<>8, r2c3<>8, r8c6<>2, r1c2<>5
r8c7<>8, r2c9<>1, r8c6<>2, r4c5<>1
r9c2<>8, r2c9<>1, r1c6<>4, r1c5<>6
r9c5<>6, r2c9<>1, r7c2<>7, r2c3<>8
line 6:
r1c3<>7, r3c2<>9, r2c9<>1, r1c2<>9
r2c3<>2, r1c9<>4, r2c9<>1, r8c3<>9
r3c2<>9, r1c3<>7, r2c9<>1, r1c2<>9
r3c7<>2, r1c9<>4, r2c7<>2, r8c3<>9
r4c4<>3, r1c9<>4, r2c9<>1, r1c3<>9
r7c2<>7, r1c9<>4, r2c9<>1, r8c3<>9
line 8:
r1c8<>5, r1c8<>8, r2c3<>9, r2c4<>7
r1c8<>8, r2c3<>9, r1c8<>5, r2c4<>7
r2c3<>8, r2c3<>9, r1c8<>5, r2c4<>7
r2c3<>9, r1c8<>8, r1c8<>5, r2c4<>7
r3c1<>5, r1c8<>8, r2c3<>9, r2c4<>7
r3c4<>1, r2c6<>3, r1c8<>5, r2c4<>7
r5c1<>7, r7c2<>8, r3c2<>6, r2c4<>7
r5c4<>8, r1c8<>8, r2c3<>9, r1c5<>6
r6c7<>8, r2c6<>3, r1c8<>5, r2c4<>7
r7c5<>8, r1c8<>8, r2c3<>9, r1c5<>6
r8c3<>8, r1c8<>8, r2c3<>9, r1c5<>6
Sorry, i have no trace, which techniques were used for the eliminations.