stall1

prev ----------------------- contents ----------------------- page019 ----------------------- next

  A Stalled Deduction
  
a  139 | .8. | 746        POK Journal 060514  Four Dark Stars                                
b  5.. | .1. | 29.        17:03:28.309 060514                                                
c  .24 | 7.9 | 1.5        Sig  344567999 344567999 556666679                                 
   ----+-----+----        Iteration counts      13  2  0                                     
d  241 | 953 | 867    <-- Blank cell count      25                                           
e  756 | 148 | 329        Nonblank cell count   56                                           
f  983 | 627 | 514          |                                                                
   ----+-----+----          |                                                                
g  ... | 891 | 45.          V                                                                
h  .9. | ... | 6.1  
i  415 | ... | 9..

       1         2         3          4         5         6          7         8         9       
  .---------.---------.---------..---------.---------.---------..---------.---------.---------.  
a |         |         |         || 2  5    |         | 2  5    ||         |         |         | a
b |         |     67  |      78 ||  34     |         |   4 6   ||         |         |  3    8 | b
c |     6 8 |         |         ||         |  3  6   |         ||         |  3    8 |         | c
  |---------+---------+---------++---------+---------+---------++---------+---------+---------|  
d |         |         |         ||         |         |         ||         |         |         | d
e |         |         |         ||         |         |         ||         |         |         | e
f |         |         |         ||         |         |         ||         |         |         | f
  |---------+---------+---------++---------+---------+---------++---------+---------+---------|  
g |  3  6   |     67  | 2    7  ||         |         |         ||         |         | 23      | g
h |  3    8 |         | 2     8 || 2 45    |  3   7  | 2 45    ||         |  3   78 |         | h
i |         |         |         || 23      |  3  67  | 2   6   ||         |  3   78 | 23    8 | i
  '---------'---------'---------''---------'---------'---------''---------'---------'---------'  
       1         2         3          4         5         6          7         8         9       
  
  set c1 8  --  This results in an error.
  set c1 6  --  This leads to the solution.