The New Sudoku Players' Forum

by **Red Ed** » Sat Oct 09, 2010 7:45 am

PIsaacson wrote:... It looks like the very lowest level routines are called so often that they greatly influence the results ...

OK, thanks. But ... hmm ... now I'm wondering if we've got the right sort of profiling here.

For example, suppose we're optimising a routine to sort a great many big blocks of data (not just pointers to the data). It will do this by repeatedly calling a very expensive CompareAndSwap routine:

Code: Select all: function Sort(): for i = N downto 2: for j = 1 to N-1: CompareAndSwap(block i, block j)

You might expect say 99% of the sorting time in CompareAndSwap() and the remainder iterating i and j in those for loops.

Now, I don't know how your profiler works, but I suppose it could count the timings either like this:

Code: Select all: 100% Main program 100% \-- Swap() 99% \-- CompareAndSwap()

meaning that 100% of the time is in Main or functions called by it and, of that, 100% is in Sort() or functions called by it and, of that, 99% is in CompareAndSwap(). Or it could count like this:

Code: Select all: 0% Main program 1% \-- Swap() 99% \-- CompareAndSwap()

meaning that 0% of execution time is spent in Main-but-not-any-function, 1% executing those for loops in Sort(), and 99% of the time in CompareAndSort(). However, this latter way of presenting the results is misleading, as it suggests we should be optimising CompareAndSwap() when actually Sort() is the thing that most needs fixing.

So ... can we either get profiling information in the first form above, or get the proportion of time executing each solving technique some other way - e.g. by wrapping each one like this:

Code: Select all: function TechniqueX(): timing[TECHNIQUE_X] -= thecurrenttime() ... original Technique X code here ... ... original Technique X code here ... ... original Technique X code here ... timing[TECHNIQUE_X] += thecurrenttime()

by **PIsaacson** » Sat Oct 09, 2010 9:27 pm

Ed,

NetBeans uses a self-timer approach, so lower level calls are omitted. As you pointed out, this makes the sort/swap difficult to assess because it highlights the swap as being the culprit when, in fact, it is the sort algorithm causing the load. I prefer the profiling data produced by gprof, but I haven't had much success with the gcj java compiler that would produce such detailed profiling, so NetBeans it is! It's not a total loss since there is a where-used list included in the NetBeans profiling data, so at least it helps identify the offending parents. This breaks down when the call depth > 2, but that's a whole different can-o-worms. I'll try harder with gcj to get more accurate statistics, but I think the point is that even with tremendous effort in profiling and judicious optimization, I doubt that we are going to gain more than 20% improvement without extreme algorithmic redesign. At that point, it's probably much better to code it in C/C++. My current SE rewrite based on just using a bunch of code I already have on hand shows that C/C++ can crank out about 1000 puzzles/second for SE 9 and under. For those over 9, it looks like it will be in the 100 puzzles/seconds until about 10. The 10 - 11 range slows down to about 10 puzzles/second and those over 11 are taking multiple seconds - sometimes almost a minute. I'm still debugging the 10+ range, so these are really rough estimates but it gives you some idea of the potential speed improvements.

[edit 1] I just ran a test using my best-so-far code against Tarek's pearly6000 (avg SE 10.2 according to Excel) and it took 1064 seconds, so I'm clocking about 5.6 puzzles/second on an core I7 860 at 2.8 GHz. However, the scoring is way out of whack and at least 1 puzzle didn't solve, so the code is nowhere near complete.

Cheers,
Paul

by **champagne** » Sun Oct 10, 2010 8:04 am

PIsaacson wrote:[edit 1] I just ran a test using my best-so-far code against Tarek's pearly6000 (avg SE 10.2 according to Excel) and it took 1064 seconds, so I'm clocking about 5.6 puzzles/second on an core I7 860 at 2.8 GHz. However, the scoring is way out of whack and at least 1 puzzle didn't solve, so the code is nowhere near complete.

Cheers,
Paul

Grate, I am still far from there and i doubt i will get as good results in runtime.
I am still fighting to meet SE specifications for URs ULs.
I will likely not enter the chains before I get a good match for lower ratirngs.

How do the results match with SE rating in that run??

champagne

by **champagne** » Sun Oct 10, 2010 9:01 am

here after, a list of 488 puzzles out of my database rating 11.0 and more.
BTW up to now, the pattern game does not pass 11.4

champagne

Code: Select all: 000000039000001005003050800008090006070002000100400000009080050020000600400700000 taxonomy Golden-Nug11.90 11.90 11.30 020006700400080000009300000000900570010007002000000610300040060008000000060005020 tarekdb tarx0075 11.80 11.80 11.50 200000006050080010004000900070301000000820000000705030009000400080010050600000002 taxonomy tarek-ultr11.80 11.80 11.40 100000002009400050060000700000890040000306000008040000020000100700000006005080030 taxonomy gsf-2007-011.80 11.80 11.20 600000002090400050001000700050084000000020000000305040200000600030009080007000001 taxonomy coloin-04-11.80 11.80 11.10 100000002090400050006000700050304000000060000000058040002000600030009080700000001 taxonomy coloin-04-11.80 11.80 10.80 100000002030400050006000700050904000000023000000800090002000600090008040700000001 h54autres 1 11.80 11.80 10.40 100000002030400050006000700050804000000029000000300090007000001090008040200000600 h54autres 4 11.80 11.80 10.40 003080000700200000060009010000000003000005960090000054010004500800030000002700000 taxonomy tarek0712211.80 11.80 3.40 500000009020100070008000300040600000000050000000207010003000800060004020900000005 taxonomy m_b_metcal11.80 11.80 3.40 100000009040003080002000600070058000000020000000704050006000200030800070900000001 taxonomy tarek-280311.70 11.70 11.20 100000002090400050006000700050304000000960000000008040002000600030009080700000001 taxonomy coloin-04-11.70 11.70 11.20 100000002030400050006000700050803000000070000000950080700000600090008030002000001 taxonomy jpf-04/08 11.70 11.70 10.80 003400700000009002000010050200000000038000600604300000000020090000005001060800300 tarekdb pearly600011.70 11.70 10.80 003400700000009002000010050270000000038000600004300000000020090000005001060800300 tarekdb pearly600011.70 11.70 10.70 003450000000089000000200400010000007004020800900000060002800500600000090070000001 tarekdb pearly600011.70 11.70 10.60 100000002003400050060000700000850090000306000008090000020000100700000006009080030 taxonomy jpf-04/14/11.70 11.70 3.40 100000002030400050006000700050804000000073000000900080700000600040008090002000001 taxonomy jpf-04/14/11.70 11.70 3.40 100000002003400050060000700000030040000806000009540000020000100700000006005090080 taxonomy jpf-04-10 11.70 11.70 2.60 001000500020400060300007000060280000000090020000000406500000100090800040007000003 colx colx155 11.70 11.70 2.60 100000002030400050006000700050803000000074000000900080700000600090008030002000001 taxonomy jpf-04/14/11.60 11.60 11.10 300000001040002070005000800000076040000050000060209000100000500070600090008000003 taxonomy tarek-184711.60 11.60 11.10 300000008070500010006000400090201000000040000000970020400000300050002070008000006 taxonomy tarek-ultr11.60 11.60 11.10 003400080050000100700000006010000500008090020600000007002940000000030040000805000 tarekdb pearly600011.60 11.60 11.10 100000002090400050006000700050903000000070000000850040700000600030009080002000001 taxonomy Easter-Mon11.60 11.60 10.80 003050000400009000080700001005030000010600020900004000000800072060000008000000410 tarekdb pearly600011.60 11.60 10.70 000100009000000085009050060005030006070002000100400000003080090020007300400000000 col 08 05 col 702 11.60 11.60 10.70 000000035000002060003050080005090006070000900100400000006080090020100000400007000 colx colx039 11.60 11.60 10.60 003450000000009000000203400010000007004020800900000060002800500600000090070000001 tarekdb pearly600011.60 11.60 10.40 500000009020100070008000300040002000000050000000706010003000800060004020900000005 taxonomy StrmCkr 11.60 11.60 3.40 100000080000009130000000506007040000300001050060200000500008900040070000002600000 taxonomy col-20110711.60 11.60 3.40 300009700060040000001800000500000093000003270000000008004010000200007050080600000 taxonomy tarek0712211.60 11.60 3.40 000000080006000120000200605001500900800003000040070000300008000002100006070040000 colh50 col0701-1311.60 11.60 3.40 100000002003400050060000700000030040000506000008940000020000100700000006005080090 taxonomy jpf-04/14/11.60 11.60 2.60 100000007020400060003000500040209000000046090000500000007000100080900020500000003 col 08 05 col 809 11.50 11.50 11.20 600000002090400050001000700050340000000060000000805040200000600030009080007000001 taxonomy coloin-04-11.50 11.50 11.10 500000008030002040009000100000027030000504000070630000800000900040700060001000005 taxonomy tarek-222811.50 11.50 11.10 100000002030400050006000700080509000000070000000830040700000600050008090002000001 taxonomy jpf-04/05 11.50 11.50 11.10 900000007010008030002000500000006010000320000060104000700000200030600040005000009 taxonomy tarek-216411.50 11.50 11.10 100000089000009102000000400007600000030040000900002005004070000500008010060300000 taxonomy tarek-4/0811.50 11.50 10.80 200000003010700060004000500080609000000020000000810090500000200070006010003000004 taxonomy tarek-303311.50 11.50 10.40 100006000050700003009020000040500300000090050000000074070800040600000800002001000 tarekdb Silver_Pla11.50 11.50 10.10 400009100020030000007500000800000090000004610000000805003070000600001080050200000 taxonomy tarek0712211.50 11.50 3.40 007001000600090200030500000900000608000000030000080092200040009001300000050007000 taxonomy tarek0712211.50 11.50 3.40 003050700400009000080200000200800050090000060005030007000004000000000103006010070 tarekdb tarx0068 11.50 11.50 2.60 000000060000100089003090500008050006070200000100004000005080090020007300400000000 coly 515 11.50 1.20 1.20 000000030000001085006050900008090003070002000100400000005080090020000600400700000 col 08 05 355 11.50 1.20 1.20 003000007020400060100050000090080000000004020000200906700000100060800040005000003 coly 744 11.50 1.20 1.20 000000006009005200740000030000504000002010400080209000030000008004900100600000070 tarx tarx1199 11.50 1.20 1.20 000000007004008300100030060000904000009080200050002000600040001003800400700000050 tarx tarx0077 11.50 1.20 1.20 100000007030009060005000200000043090000010000040908000700000500060400080002000001 taxonomy tarek-303811.40 11.40 11.20 800000005010003020004000700000001030000280000090306000500000400020900060007000008 taxonomy tarek-302511.40 11.40 11.20 800000005060002030007000900000031020000070000010604000500000700030100040009000008 taxonomy tarek-215311.40 11.40 11.20 300000900070001050002000004000076010000305000060810000400000200050600080009000003 taxonomy tarek-219111.40 11.40 11.20 070000001002900050800000400006250000000007000000306090400000700010000008005030060 taxonomy tarek-183911.40 11.40 11.00 500000007080009030004000200010036000000040000000108060002000400090300010700000005 taxonomy tarek-180211.40 11.40 10.80 900000002080007040006000100000058070000010000050703000200000600040500030001000009 taxonomy tarek-226311.40 11.40 10.80 300000002090004060005000700000068090000070000080901000200000500060800010007000003 taxonomy tarek-223311.40 11.40 10.60 500000004080006090001000200070308000000050000000790030002000100060900080400000005 taxonomy tarek-ultr11.40 11.40 10.40 100005000020400060003000700040080000000094080000200006007000100090800020500000003 colx colx247 11.40 11.40 10.00 000000009000001035003090060005030006070002000100400000009080050020700000400000800 col 08 05 8 11.40 11.40 9.90 100000002030400050006000700090540000000309000000086040002000100050008030700000006 taxonomy col-20110711.40 11.40 3.40 100000002030400050006000700080903000000070000000850040700000600040009030002000001 taxonomy jpf-04/05 11.40 11.40 3.40 000600700000020004009003080300008010000700600000040002908000050510009000040000000 taxonomy tarek0712211.40 11.40 3.40 500000009020100070008000300040702000000051000000600010003000800060004020900000005 taxonomy coloin-mbm11.40 11.40 3.40 900000004050003070002000600000701030000060000010350000400000200030800050006000009 taxonomy tarek0712211.40 11.40 3.40 000003002700090060000500400000200005001060090000004300805010000160000000097000080 taxonomy tarek-ultr11.40 11.40 3.40 500000009020100070008000300040702000000090000000460010300000800060004020009000005 taxonomy stpatrick-11.40 11.40 3.40 000002001300050040000700600500000002090040030006000700002100000400080000080003090 taxonomy Ocean's-Ne11.40 11.40 3.40 100000089000009130000000006007040000300001050060200000500008900040070000002600000 taxonomy col-20110711.40 11.40 3.40 100000006020500040003000700040890000000204000000015080007000300050009020600000001 taxonomy coloin-05/11.40 11.40 3.40 100000002090400050006000700080903000000070000000850030700000600050009080002000001 taxonomy jpf 11.40 11.40 3.40 100000009006700020080000500000060070000308000004270000090000800500000001002040030 taxonomy rw-04-06 11.40 11.40 2.60 500000009020100070008000300040200000000057000000406010300000800060004020009000005 taxonomy stpatrick-11.40 11.40 2.60 500000009020100070008000300040620000000050000000407010300000800060004020009000005 taxonomy stpatrick-11.40 11.40 2.60 000400009007080200000003050000005004300900000008020100760000800810060000000000002 tarekdb colx180 11.40 11.40 2.60 000080050010000030002300700004500070900000200000006400090010000080060000005400007 coly 014 11.40 11.40 2.60 600000002090400050001000700050800000000015000000903040700000600030009080002000001 taxonomy coloin-04-11.40 11.40 2.60 100400080000009200000030005000000900070800040006020003004700060710000000800005000 tarekdb Bronze_Med11.40 1.20 1.20 003000500080400060100070000000094020090008000600200000700000100060900080005000003 coly 517 11.40 1.20 1.20 090400700008000030000000024030900070000050000100006900500008000040300007006010000 coly 524 11.40 1.20 1.20 000000039070000000003050800008090003000002500100400600009060050020001000400700000 col 08 05 651 11.40 1.20 1.20 000001009000000065009050030008030006070200000100004800003080050020000000400700000 col 08 05 650 11.40 1.20 1.20 000000001005000700020009040000400000030090060800206000040900020007030800100000005 tarx tarx0072 11.40 1.20 1.20 300000005070008060002000900010006000000820000000107040009000200080600010500000003 taxonomy tarek-180311.30 11.30 11.20 600000008020003010007000400000005030000370000050209000800000700010500090004000006 taxonomy tarek-284211.30 11.30 11.20 600000008030007040009000100000302070000014000020750000800000009040200050001000600 taxonomy tarek-222411.30 11.30 11.10 100000002030400050006000700090580000000064000000309080007000600040005090200000001 colh54 ronk-02-2011.30 11.30 11.10 100000004020006050003000900000208060000095000080670000400000300050800070009000001 taxonomy tarek-222111.30 11.30 11.10 000000039000000005003090160008050006070002000100400000006080050020100000400007000 col 08 05 723 11.30 11.30 11.00 100000005020400060003000700040280000000046090000500000007000100080900020500000003 col 08 05 col 801 11.30 11.30 11.00 000000093000000005003090160008050006070002000100400000006080050020100000400007000 col 08 05 col 716 11.30 11.30 11.00 300000002080070010006900000050704000000000008000510070009000300010040080200000006 taxonomy tarek-180111.30 11.30 10.80 400000005070002060008000300010906000000080000000170090005000800020600010300000004 taxonomy tarek-187611.30 11.30 10.70 003000007070008090500000400000809000060001080000607002004000003090100070200000500 tarx tarx0074 11.30 11.30 10.60 800000001060004090003000200000097040000020000070605000100000300090700050002000008 taxonomy tarek-185411.30 11.30 10.60 000000035400000098003090060008050006070004000100200000006080050020007000000100000 colx colx559 11.30 11.30 10.60 000000093000001085009050060005030006070002000100400000006080050020000000400700000 col 08 05 234 11.30 11.30 10.60 020000009006080100700000040000800300000060015005300000001030600040000070900002000 tarekdb colx134 11.30 11.30 10.50 000000039020000060006030005008090006070002000100400000005080090000001000400700800 col 08 05 827 11.30 11.30 10.50 700000009030400060005000200010806000000070000000031080200000700040008030009000005 taxonomy tarek-ultr11.30 11.30 10.40 900000005040300060002000100080740000000020000000806070100000900030007040005000002 taxonomy tarek-ultr11.30 11.30 10.40 700000009080003050002000600000810030000070000010405000900000200030100040006000007 taxonomy tarek-215611.30 11.30 10.40 700000004020600010005000800030910000000050000000203090800000700060009020004000005 taxonomy tarek-ultr11.30 11.30 10.40 006002000300050700040900000700000108000000040000080037100030005009400000020006000 taxonomy tarek-121411.30 11.30 10.40 001000005020400060300000700040280000000094080000000006500000100090800000007005003 colx colx038 11.30 11.30 10.10 000000069200000030009030500008090006070002000100400000003080005000001000040700800 colx colx021 11.30 11.30 10.00 000000005000001089008050300005090003070002000100400000003080090020000600400700000 col 08 05 col 704 11.30 11.30 10.00 000000039000001006003090005005060008100002000070400000006080050020700000400000800 col 08 05 col 701 11.30 11.30 10.00 000400080050009200600030000000060003090002500000800040502000100010000007900001000 tarekdb coly002 11.30 11.30 9.90 000000030000700069003060005005090006070002000100400000009080050020001000400000800 col 08 05 883 11.30 11.30 9.90 000000069000001030003090005005030006070002000100400000009080050020700000400000800 col 08 05 841 11.30 11.30 9.90 000000030000001005003090800005060008070002000100400000006080050020700600400000900 col 08 05 125 11.30 11.30 9.70 100003000060200040003000700040690000000008060000000204007000105080900020500000000 colx colx1534 11.30 11.30 9.70 100000002030040050006000700000853000040960080000400000007000100090080030200000006 taxonomy jpf-04/05 11.30 11.30 9.70 000000093000001000003090005005060008100002000070400000006080050020700600400000800 col 08 05 col 706 11.30 11.30 9.30 000000030000001085003050600008090003070002000100400900006080090020000000400700000 col 08 05 219 11.30 11.30 8.40 000000093040000060003090005005030009010002000700400000006080050000007800200100000 colBF2 941 11.30 11.30 7.80 100000002003400050060000700000080090000906000008540000020000600700000001005090030 taxonomy jpf-04/08 11.30 11.30 3.40 008001000300070900050200000600000409000000050000090730400030007001500000020008000 taxonomy tarek0712211.30 11.30 3.40 000000093000001085003050060008090006070002000100400000006080030020700000400000000 col 08 05 154 11.30 11.30 3.40 900000005070400060003000200010780000000020000000106070200000900080007040005000003 taxonomy tarek0712211.30 11.30 3.40 000000009000100035003050800005090008070002000100400000009080050020007000400000600 col 08 05 837 11.30 11.30 3.40 100000002003004050060000700000450080000069000004803000005300090020000100700000006 taxonomy jpf-04/14/11.30 11.30 3.40 100000002030040050006000700000893000090460030000500000007000600050080040200000001 taxonomy jpf-04/05 11.30 11.30 3.40 600000002090800070001000400030907000000040000000350090400000600050009080002000001 taxonomy tarek0712211.30 11.30 3.40 003900000400020000080001600000008900000030050070600001005000003090700800200000040 taxonomy dml-1/07 11.30 11.30 3.40 100000002030040050006000700000895000090410080000300000007000600050080040200000001 taxonomy jpf-04/05 11.30 11.30 3.40 000071000000900001060402000500000700010004006003000080090200004007000300800000050 taxonomy tarek0712211.30 11.30 3.40 100000006020500040003000700040905000000074000000200080700000300050009020006000001 taxonomy coloin 11.30 11.30 3.40 100000002003400080060000700000890040000506000009040000020000100700000006005080030 taxonomy gsf-2007-011.30 11.30 3.40 100000002030400050006000700080903000000070000000850040700000600050009030002000001 taxonomy jpf-04/05 11.30 11.30 3.40 020000030000000065003050900008090006070002000100400000009080050000001000400700800 col 08 05 83 11.30 11.30 3.40 003000700400080006090000010001000090600004005070000300000040002500062000000908000 colh50 col0701-1211.30 11.30 3.40 003050009400000100080000060007900003600000800010000040002507000000820000000093005 colh50 col0701-0311.30 11.30 3.40 100000006020500040003000700040800000000034000000905080007000300050009020600000001 taxonomy coloin 11.30 11.30 3.40 100000006020500040003000700040002000000430000000905080700000300050009020006000001 taxonomy coloin 11.30 11.30 3.40 000000059000700003005030800003090080700002000010400000006080090020001000400000600 colBF2 5 11.30 11.30 3.40 020000093000000065003060008008090006070002000100400000009080050000001000400700000 col 08 05 493 11.30 11.30 3.40 100000006020500040003000700040802000000060000000045080700000300050009020006000001 taxonomy coloin 11.30 11.30 3.40 000001003000000090006090800008000009700002600010400500003080050020100000400007000 colefg #colg182 11.30 11.30 3.40 500900000030080040007000200060801000000030600000004010002000500040010030900000007 taxonomy tarek0712211.30 11.30 3.40 600000002003400050010000700000050040000301000008940000020000100700000006005090030 taxonomy gsf-2007-011.30 11.30 3.40 500000009020100070008000300040001000000492000000700010003000800060004020900000005 taxonomy coloin-mbm11.30 11.30 3.40 000000005008020600570000010000042900980000000004600000010000037009080400000300000 tarx tarx0120 11.30 11.30 2.60 300000002080070010006900000050704000000000008000501070009000300010040080200000006 taxonomy tarek0712211.30 11.30 2.60 100000006020500040003000700040850000000010000000024080007000300050009020600000001 taxonomy coloin 11.30 11.30 2.60 100000002030400050006000700080300000000019000000805040700000600050008090002000001 taxonomy jpf-04/08 11.30 11.30 2.60 100000002030400050006000700080300000000015000000809040700000600050008090002000001 taxonomy jpf-04-10 11.30 11.30 2.60 100000002003400050060000700000080040000506000009340000020000100700000006005090080 taxonomy jpf-04/14/11.30 11.30 2.60 000000003000046000004010500005001800070500090200800000001080600090000020300000007 tarx tarx1200 11.30 11.30 2.60 100000002030400050006000700080300000000065000000809040700000100050008090002000006 taxonomy jpf-04/08 11.30 11.30 2.60 100000002030400050006000700080300000000069000000805040700000100050008090002000006 taxonomy jpf-04-10 11.30 11.30 2.60 100000002090400050006000700050900000000018000000503040700000600030009080002000001 taxonomy jpf-04/10 11.30 11.30 2.60 100000002003400050060000700000030080000506000009840000020000100700000006008090030 taxonomy jpf-04/14/11.30 11.30 2.60 100000002003400050060000700000590080000306000009040000020000100700000006005080030 taxonomy gsf-2007-011.30 11.30 2.60 000000039000001085003090060008050003070002000100400000009080050020000000400700000 col 08 05 135 11.30 10.70 9.40 000000009000400053009030800008050007600002000010000000003080090020100700400006000 col0906 392 11.30 10.70 3.40 000000063000001005003050090008090006070002000100400000009080050020000000400700800 col 08 05 72 11.30 1.20 1.20 000000035000007009003050080005090006070002000100400000006080090020100600400000000 col 08 05 875 11.30 1.20 1.20 000000035000001009009050060008090006070002000100400000003080050020000000400700800 col 08 05 46 11.30 1.20 1.20 000000035000001009003050060008090006070002000100400000009080050020000000400700800 col 08 05 36 11.30 1.20 1.20 000000009000001035003090060008050006070002000100400000009080050020700000400000800 col 08 05 22 11.30 1.20 1.20 000000039000001005003050600008090003070200000100004800006080050020700000400000000 col 08 05 15 11.30 1.20 1.20 000000009000001085009050060008090006070200000100004000003080050020000000400700300 col 08 05 770 11.30 1.20 1.20 000007003000000089006090050009030006070002000100400000005080030020100600400000000 colc 020 11.30 1.20 1.20 200000006090010080007000300040508000000040001000900050003200000010050090600000007 taxonomy tarek0712211.30 1.20 1.20 700000005000000030005030800006050080010002000000400900003080090020007000400100600 colBF2 1634 11.30 1.20 1.20 500000300020100070008000009040007000000821000000600010300000800060004020009000005 taxonomy coloin-03/11.30 1.20 1.20 000100009000000035003090060008050006070002000100400000009080050020007000400000800 col 08 05 102 11.30 1.20 1.20 000001009000000085009050060008030006070002000100400000003080050400700000020000300 col 08 05 645 11.30 1.20 1.20 000902300040050060000000008700100000009020500000003000600000004080090070005200100 colBF2 1671 11.30 1.20 1.20 000400000000000039003090005009080006070200000100004000008000050200007800040100600 col0906 461 11.30 1.20 1.20 000000039000001005009050600008030006070200000100004800003080050020000000400700000 col 08 05 381 11.30 1.20 1.20 000000039000001005003050600008090006070200000100004800009080050020700000400000000 col 08 05 281 11.30 1.20 1.20 000007039000000085003050000008030006070002000100400000006080090020100600400000000 col 08 05 428 11.30 1.20 1.20 000000093000100000003050800008090006070002500100400000009080050020000600400007000 col 08 05 51 11.30 1.20 1.20 000000035070000060003060009008090003000002000100400800009080050020001000400700000 col 08 05 658 11.30 1.20 1.20 020900000000000049000003026040700060008000700100050000500008000060400007003010000 colefg #cole068 11.30 1.20 1.20 000000003006002100070010050000006000001040200800209000050000080004900600300000007 tarx tarx0017 11.30 1.20 1.20 000002008000000065006030900003090006070400300100000000009080050020001000400700000 col 08 05 840 11.30 1.20 1.20 000000039000001005003050600008090003070002000100400000006080090020000800400700000 col 08 05 897 11.30 1.20 1.20 010000008000000050009030600008090006700002900000400300005060030020100000400007000 colefg #cole041 11.30 1.20 1.20 003000700020400060100050000000080000090004020200900006700000100060800090005000003 colefg #cole161 11.30 1.20 1.20 000000093000001085009050000005030006070002000100400000006080050020000000400700600 col 08 05 833 11.30 1.20 1.20 000000038070000069008090000006050003100400500000002000009030050020001000400700000 colc 211 11.30 1.20 1.20 003000500080400060100070000000094000040008020000200006700000100060900080005000003 coly 997 11.30 1.20 1.20 600002059520040010003500200300194500010658030005273001004005100030020045750400008 taxonomy Mauricio's11.20 11.20 11.20 100000004020800070009000300000605080000100000050082000400000900070500060003000001 taxonomy tarek-228411.20 11.20 11.20 402000001070009020008000600000705090000002000050930000100000800020500030006000004 taxonomy tarek-303611.20 11.20 11.10 803000007060001030009000500020006010000300000000124000700000900030200040005000008 taxonomy tarek-301211.20 11.20 11.10 104000009030007040006000200000083070000400000080705000900000600040800050002000001 taxonomy tarek-301411.20 11.20 11.10 050000004003900070100000600008370000000095000000200090600000500040000001007020080 taxonomy tarek-280411.20 11.20 11.00 100000005020400060003000700040280000000046090000500000500000100080900020007000003 col 08 05 col 807 11.20 11.20 10.80 300000008090200070006000100070904000000010000000720050100000300040005090008000006 taxonomy tarek-ultr11.20 11.20 10.80 003006000050080100700200000000090401014000950000000008090040005002007000600300000 taxonomy coloin-20011.20 11.20 10.80 100000002090400050006000700050903000000810000000005040700000600030009080002000001 taxonomy coloin-04-11.20 11.20 10.80 000000085000001009009050060008090006070002000100400000003080050020000000400700300 col 08 05 47 11.20 11.20 10.70 000000039000001005003050080005060008070002000100400000006090050020700600400000000 col 08 05 37 11.20 11.20 10.60 400000039000000060003060005008050003070002000100400000009080050000001000020700800 col 08 05 859 11.20 11.20 10.60 000000039020000060009030005008090006070002000100400000005080090000001000400700800 colx colx1274 11.20 11.20 10.50 000001039000000085003050060008090006070002000100400000006080090020000000400700000 col 08 05 155 11.20 11.20 10.50 100000002090400050006000700050903000800060000000800040700000600030009080002000001 taxonomy gsf-2007-011.20 11.20 10.10 100000002090050010006001700030805000000040000000309080007000100050080090200000006 taxonomy tarek-180011.20 11.20 10.00 400000006070500090002000300010895000000001000000370080300000400050008070006000002 taxonomy tarek-278011.20 11.20 9.90 000000035400000060003060008008050006010002000700400000009030050020001000000700900 col 08 05 col 607 11.20 11.20 9.90 001002300040010050500000006000700000007030800000208000900000004060000090008100200 colBF2 3157 11.20 11.20 9.90 000000083000001065003060090005090006070002000100400000006080050020000000400700000 col 08 05 655 11.20 11.20 9.90 000001030000000065003060009005090003100002000070400000006080050020700000400000800 col 08 05 col 616 11.20 11.20 9.80 100000002030040050006000700000538000040960080000400000002000600090080030700000001 taxonomy jpf-04/02 11.20 11.20 9.70 100000002030040050006000700000534000040860090000900000002000100080090030700000006 taxonomy jpf-04/05 11.20 11.20 9.70 100000007030090050006000200000853000040970080000400000007000100090080030200000006 taxonomy jpf-04/07 11.20 11.20 9.70 100000007030040050006000200000854000040960080000300000007000100090080030200000006 taxonomy jpf-04/07 11.20 11.20 9.70 100000006040700090008000300050200000000460000000095020300000100070002050006040008 taxonomy tarek-093311.20 11.20 9.30 400000008050020040006004900070302000000050700000001030009000400020030050800000006 taxonomy tarek-215811.20 11.20 9.20 100000005020400060003000700040006000000249080800000000007010000080900020500000003 col 08 05 col 808 11.20 11.20 8.40 001000500080400060300000007040980000000046090000000200000005100020600000507000003 colBF2 818 11.20 11.20 7.80 003050000000400090100000705080046000000908060002000000500000300020600080007000001 colBF2 7 11.20 11.20 7.80 300000007090020000005003800040690000000000100000402090008000300010040060700000005 taxonomy tarek0712211.20 11.20 3.80 008000003020600010500000900040701000000030000000420070900000500010007020003000008 taxonomy gsf-m3-20011.20 11.20 3.40 010200003004050000600007000007040000500006000020800090030000000000900031000000729 taxonomy jpf-04/05 11.20 11.20 3.40 100000002003400080060000700000890040000306000009050000020000100700000006005080030 taxonomy gsf-2007-011.20 11.20 3.40 100000002003400050060000700000080040000301000008540000020000600700000001005090030 taxonomy jpf-04-10 11.20 11.20 3.40 100000006020500040003000700040890000000214000000005080007000300050009020600000001 taxonomy gsf-2007-011.20 11.20 3.40 100000009070600020004000300050806000000090000000072080300000100020008070009000004 taxonomy tarek-ultr11.20 11.20 3.40 300000002080900070005000100060409000000820000000076040100000300070004080002000005 taxonomy tarek-ultr11.20 11.20 3.40 003050000400009020080100000010030000005800000900004070000000037600000402000002906 taxonomy col-20110711.20 11.20 3.40 100000002030090050006000700000853000040970080000400000007000100050080030200000006 jpf JPF 04/07 11.20 11.20 3.40 100000002030400050006000700080300000000019000000805090700000600040008030002000001 taxonomy jpf-04-10 11.20 11.20 3.40 000000089000001035005090060008050006070002000100400000009080050020700000400000000 col 08 05 269 11.20 11.20 3.40 005000090030000008000090560008030006000004070010200000006080005020100000400007000 coly 246 11.20 11.20 3.40 700000004050900080002000600030190000000040000000805010600000700080001050004000002 taxonomy tarek-ultr11.20 11.20 3.40 100000002030090050006000700000538000040960080000400000002000600050080040700000001 taxonomy jpf-04/07 11.20 11.20 3.40 200000007090800010006000400050380000000049000000501030400000200010003090007000006 taxonomy tarek-ultr11.20 11.20 3.40 100000002003400050060000700000950040000306000009040000020000100700000006005080030 taxonomy gsf-2007-011.20 11.20 3.40 000008009300050020000600400000900006001020050000004800730010000062000000105000070 taxonomy tarek-ultr11.20 11.20 3.40 100000002003400050060000700000050040000301000008940000020000100700000006005090030 taxonomy jpf-04-10 11.20 11.20 3.40 300000009010500020007000400060810000000096000000205080400000300020008010009000007 taxonomy tarek-ultr11.20 11.20 3.40 900004000030060070005000800020106000000070003000200010008000900070010060400000005 taxonomy tarek0712211.20 11.20 3.40 100000002080400070006000900030574000000308000000090050900000100070005080002000006 taxonomy tarek-ultr11.20 11.20 3.40 600000002090040050001000700000895000030410080000300000007000600050080040200000001 taxonomy jpf-04/07 11.20 11.20 3.40 500000003020600010008000900040701000000030000000420070900000500010007020003000008 taxonomy tarek-ultr11.20 11.20 3.40 100000002003400050060000700000890040000306000009040000020000100700000006005080030 taxonomy jpf-04/14/11.20 11.20 3.40 800000005040200030009000100060704000000010000000630070100000800030007040005000009 taxonomy tarek-ultr11.20 11.20 3.40 100000002030040050006000700000438000040560090000900000002000100050080030700000006 jpf JPF 04/10 11.20 11.20 3.40 000000039000001085005030060008050003070002000100400000009080050020000000400700000 col 08 05 42 11.20 11.20 3.40 100000700080400060003000005060280000000090080000000604507000100020900000000007003 colx colx030 11.20 11.20 2.60 000003700060200040503000000040690000000080060000000204007000105080900020100000000 colx colx1903 11.20 11.20 2.60 001000500080200060300000007060920000000040090000000806500007100040800000007000003 cola2 960 11.20 11.20 2.60 000000083700000000003060900009050008000200600010004500006090050200700000040001000 coly 156 11.20 11.20 2.60 000000090000700005003050800008090006070002000100400000009080050020000600400001300 col 08 05 40 11.20 11.20 2.60 000600007040090030008000100090302000500000000000409020001000600050030040700000008 taxonomy tarek0712211.20 11.20 2.60 000000006007040300960000080000024100170000000002300000080000059001070200000500000 tarx tarx0112 11.20 11.20 2.60 000000003000001005003060090005090008070002000100400000006080050020000800400700600 col 08 05 852 11.20 11.20 2.60 100000002003400050060000700000890040000506000009003000020000100700000006005080030 taxonomy gsf-2007-011.20 11.20 2.60 001000500090200080300000007060920000000046090000000800000005100040600000507000003 colefg #colf302 11.20 11.20 2.60 000050000450009000008100006000000008001000270800200610007600002000040300900003000 tarekdb tarx0009 11.20 11.20 2.60 000500008700068000000210000002000040090000300600005001100070006040000020003000900 taxonomy tarek0712211.20 11.20 2.60 000000030000001060003090800008050006700002000010400500009080050020000000400700900 col 08 05 635 11.20 11.20 2.60 000002005000000063003060009006050008010200000700400000008000050200007800040100000 col0906 583 11.20 11.00 2.60 000000035400000060003060800008090006010002000700400000009030050020001000000700900 col 08 05 839 11.20 1.20 1.20 000000093000001080009050000005030006070002000100400500006080050020000000400700600 col 08 05 832 11.20 1.20 1.20 003050009400100000080307000030005008000000920000000060005060002700004000810003000 tarekdb tarx0051 11.20 1.20 1.20 040000005003080006000000089009050060070002000100400000006030050200007300000100000 cold 575 11.20 1.20 1.20 000000093000001080009050060005030006070002000100400500006080050020000000400700000 col 08 05 894 11.20 1.20 1.20 300000007000040080009700100050206000008000000000054020001000900080020060700000003 taxonomy tarek0712211.20 1.20 1.20 000002009000000065006030800003090006070400300100000000009080050020001000400700000 col 08 05 79 11.20 1.20 1.20 100000005060200080003000700040690000000042090000000800007001000080900020500000003 colx colx019 11.20 1.20 1.20 500000007000090040006700200080109000004000000000083010002000600040010030700000005 taxonomy tarek0712211.20 1.20 1.20 090400700001000030000000024030200070800050900000006000500008000040300007006010000 coly 501 11.20 1.20 1.20 090400700008000030000000024030200070000050900100006000500008000040900007006010000 coly 502 11.20 1.20 1.20 001000500040200060300000007060920000000046090000000800000005100080600000507000003 colefg #colg049 11.20 1.20 1.20 020000009000100206000007010060700090300048000005000000070600020800030000000005004 tarekdb colx001 11.20 1.20 1.20 000000038000001005003050090008090006070002000100400000009060080020000600400700000 col 08 05 131 11.20 1.20 1.20 000000039000001005003060080005090008070002000100400000006080050020700600400000000 col 08 05 335 11.20 1.20 1.20 000000060000001009009050030008030006070200500100004800003080050020000000400700000 col 08 05 729 11.20 1.20 1.20 000000063000001050003060009005090006070002000100400000006080090020700000400000800 col 08 05 643 11.20 1.20 1.20 001000500040200060300000007060920000000040090000000806000005100080600000507000003 colBF3 6577 11.20 1.20 1.20 000000093000001085009050060005090006070002000100400000006080050020000000400700000 col 08 05 226 11.20 1.20 1.20 900000004000050030002400100070806000003000000000075060001000200030080050400000009 taxonomy tarek0712211.20 1.20 1.20 000000003000001085003060090008090006070002000100400000006080050020000000400700600 col 08 05 68 11.20 1.20 1.20 000000093000001085009050060008090006070002000100400000006080050020000000400700000 col 08 05 188 11.20 1.20 1.20 000000007002000050040001800000100300030040000806003000007900020080006400500000009 tarx tarx0015 11.20 1.20 1.20 040000005003080000000000089009050060070002000100400000006030050200007300000100600 col5z 666 11.20 1.20 1.20 000005009000000006003060100008030001700400300020000000009080010500007800040200000 colBF3 3440 11.20 1.20 1.20 000000009000002065003060800008090006070000000100400300009080050020001000400700000 col 08 05 186 11.20 1.20 1.20 000000039010000060006090008008050006000002500700400000009030050400100000020007000 cola2 1209 11.20 1.20 1.20 000000030000001069003060005008090006070002000100400000009080050020700000400000800 col 08 05 750 11.20 1.20 1.20 000000083070000005005030900009050008000200600100004000006090050200700000040001000 colefg #cole006 11.20 1.20 1.20 000000039000700005003060080005090006070002000100400000006080050020001600400000000 col 08 05 847 11.20 1.20 1.20 000000039000001005003050060008030006700002800010400000009080050020700000400000000 col 08 05 713 11.20 1.20 1.20 003000700020400060100050000090080000000004020200900006700000100060800090005000003 colc 066 11.20 1.20 1.20 090200700800000030000000024030900070001050000000006900500008000040300007006010000 cold 387 11.20 1.20 1.20 000000069000001005009050030008030006070200000100004800003080050020000000400700000 col 08 05 27 11.20 1.20 1.20 000700003000000085003050090005080009070004000100200000009060030400001000020000600 colc 266 11.20 1.20 1.20 000000093000001005009050060003090008070002000100400000006080050020000000400700800 col 08 05 746 11.20 1.20 1.20 000000030010000069006090008008050006000002000700400500009030050400100000020007000 coly 541 11.20 1.20 1.20 000000038000001005003050090008030006070002000100400000009060080020000600400700000 col 08 05 127 11.20 1.20 1.20 400000000000000039005030800008090005700400000010002000006080090000001600020700500 col0906 588 11.20 1.20 1.20 000000038000001005003060090005090006070002000100400000006080050020000000400700600 col 08 05 652 11.20 1.20 1.20 000000030000001009003060005005090006070002000100400000006080050020700600400000800 col 08 05 13 11.20 1.20 1.20 000100009000000035003090060006050008070002000100400000009080050020007000400000800 col 08 05 767 11.20 1.20 1.20 000000083070000000005030900009050008000200600100004500006090050200700000040001000 colc 002 11.20 1.20 1.20 000000030000001069003060005005090006070002000100400000006080050020700000400000800 col 08 05 14 11.20 1.20 1.20 000000053000001000003060009005090060070002000100400000006080090020700600400000800 col 08 05 884 11.20 1.20 1.20 001000500080400060300000007060920000000040090000000806000005100020600000507000003 coly 1088 11.20 1.20 1.20 020000030000000065003050900008090006070002000100400000009080050000701800400000000 col 08 05 862 11.20 1.20 1.20 000000003000001050003060009005090006070002000100400000006080090020700600400000800 col 08 05 35 11.20 1.20 1.20 000000039000001005003090060008050006070002000100400000009080050020000000400700800 col 08 05 39 11.20 1.20 1.20 000000035000001006003060009005090060070002000100400000006080090020700000400000800 col 08 05 742 11.20 1.20 1.20 000007003000000059006090080009030006070002000100400000005080090020100000400000600 colc 317 11.20 1.20 1.20 000000030000001005003060009005090006070002000100400000006080050020700600400000800 col 08 05 87 11.20 1.20 1.20 003400700050009030000020001096008000000000000805030090000010002500003060000700400 colh50 col0701-0111.20 1.20 1.20 000000030000001065003060009005090006070002000100400000006080050020700000400000800 col 08 05 86 11.20 1.20 1.20 000600008030050040001000700050200000009030000000504020007000600040090030800000001 taxonomy tarek0712211.20 1.20 1.20 000000005000001083003060090008090006070002000100400000006080050020000000400700600 col 08 05 76 11.20 1.20 1.20 070000039000000005003060800008030006000002000100400000009080050020001600400700000 col 08 05 75 11.20 1.20 1.20 000001039000000085003050000008090006070002000100400000009060050020700600400000000 col 08 05 71 11.20 1.20 1.20 000000035000001000003060009005090060070002000100400000006080090020700600400000800 col 08 05 143 11.20 1.20 1.20 000000083000001005003060090005090006070002000100400000006080050020000000400700600 col 08 05 48 11.20 1.20 1.20 000007039000000005003060080005090006070002000100400000009080050020100600400000000 col 08 05 59 11.20 1.20 1.20 001000500080200060300000007060920000000046090000000800000005100040600000507000003 cold 511 11.20 1.20 1.20 100000002003004050060000700000350040000068000008409000005900080020000100700000006 taxonomy jpf-04/14/11.10 11.10 10.90 000009008300060070000400500000800004001070030000005900730010000042000000106000020 taxonomy tarek-ultr11.10 11.10 10.80 000400080000009200600070001000800040000002900060030007310000005506010300070000000 colh50 col0701-0611.10 11.10 10.80 000007001400050090000200600000600007009080030000001200890040000025000000304000050 taxonomy coloin-04-11.10 11.10 10.70 800000004000090030001400700060305000002000000000069050007000100020030090400000008 taxonomy tarek-187211.10 11.10 10.60 700000008000000039003090005008050006070002000100400000000080050020001600400700000 colx colx018 11.10 11.10 10.50 100000700080400060003000005060284000000090020000000600500007100020900000007000003 colx colx034 11.10 11.10 10.50 000100030000000085003050060008090006070002900100400000006080090020007000400000000 col 08 05 158 11.10 11.10 10.50 100000002030400050006000700050039000000060000000805090002000006090008040700000100 h54autres 2 11.10 11.10 10.40 100000002030400050006000700050940000000063000000805090007000600090008040200000001 h54autres 93 11.10 11.10 10.40 000000036000001009003090005005060008100002000070400000006080050020700000400000800 col 08 05 col 601 11.10 11.10 10.00 000000090000001083003090060008050006070002500100400000006080050020000000400700000 col 08 05 668 11.10 11.10 10.00 400000030000000065003060009008050003070002000100400000009080050000001000020700800 col 08 05 col 707 11.10 11.10 10.00 000000069000001030006090005005030006070002000100400000009080050020700000400000800 col 08 05 col 611 11.10 11.10 9.90 000000039000001060003060005005090006070002000100400000009080050020700000400000800 col 08 05 663 11.10 11.10 9.90 000000003000001050003050009005090006070002000100400000006080090020700600400000800 col 08 05 657 11.10 11.10 9.90 100000002030400050006000700050809000000020000000703090002000001090008040700000600 h54autres 37 11.10 11.10 9.90 000000093000001060003060005005090006070002000100400000009080050020700000400000800 col 08 05 col 604 11.10 11.10 9.90 000000035000001060003060009005090006070002000100400000009080050020700000400000800 col 08 05 col 606 11.10 11.10 9.90 100000002090400050006000700050903000000070005000800040700000600030009080002000001 taxonomy coloin-04-11.10 11.10 9.80 003000005090400060100000700040809000000046080000000200007000003080900020500010000 col 08 05 col 861 11.10 11.10 9.80 100000009020040070003000500000827000040630080000400000005000300060080020900000001 taxonomy Eleanor6 11.10 11.10 9.70 100000002030040050006000700000534000040810090000900000002000600080090030700000001 taxonomy jpf-04/05 11.10 11.10 9.70 000000030000001085003050060008090003070002900100400000006080090020000000400700000 col 08 05 762 11.10 11.10 8.40 000000035000001009009050060008090006070002800100400000003060050020700000400000000 col 08 05 701 11.10 11.10 8.20 100000002030040050006000700000895000090460080000300000007000600050080030200000001 taxonomy jpf-04/02 11.10 11.10 3.40 300000007050600080002000900010056000000408000000190040900000300080004050007000002 taxonomy tarek-ultr11.10 11.10 3.40 500000009020100070008000300040207000000080000000605010300000800060004020009000005 taxonomy stpatrick-11.10 11.10 3.40 100000002030040050006000700000385000080470030000900000007000600050090040200000001 taxonomy jpf-04/05 11.10 11.10 3.40 800000001040500030009000600020705000000010000000430070600000800030007040001000009 taxonomy tarek-ultr11.10 11.10 3.40 100000002030040050006000700000354000040860090000900000002000100050080030700000006 jpf JPF 04/10 11.10 11.10 3.40 000000093000001085003050060008090006070002000100400000005080030020700000400000000 col 08 05 819 11.10 11.10 3.40 100000005020400060003000700000024080040090000800600000000050100060900020007000003 colx colx094 11.10 11.10 3.40 000000039100000060006030005005080003700400000010002000000050090020007000400100800 colz2 846 11.10 11.10 3.40 400000039020000060003060005008050006070002000100400000009080050000001000000700800 col 08 05 294 11.10 11.10 3.40 400000039000000065003060080008090006070002000100400000009080050000001000020700000 col 08 05 545 11.10 11.10 3.40 500000009020100070008000300040206000000050000000708010300000800060004020009000005 taxonomy stpatrick-11.10 11.10 3.40 600000002010080040007000900030804000100000000000035080000009600050040010000200007 taxonomy tarek0712211.10 11.10 3.40 000003000082000009069020000070000010006400500800030006600080002000100040000005700 tarx tarx0040 11.10 11.10 2.60 300000009010200070004000600080570000000090000000810050600000300070005010009000004 taxonomy tarek-ultr11.10 11.10 2.60 000002000000000069003060005009050008700200000010400000008000050200007800040100300 colBF3 3902 11.10 11.10 2.60 000000083000007000006030500008050009100200000070004000009080030200100900040000600 col0906 407 11.10 11.10 2.60 000200000000000065003060009009050008070002000100004000008000050200007800040100300 col0906 370 11.10 11.10 2.60 000406700007000000000070015290000000006040100000008002030000000800300090005010600 tarekdb coly007 11.10 11.10 2.60 300005000000800060001000507040280000000006020000000904700000100020900040005000003 coly 234 11.10 11.10 2.60 000100008070000009003090500008030005020000300000400600006080050040001000200700000 coly 024 11.10 11.10 2.60 000000036000700009003090050006000005070002000100400800005080090020001000400007000 colz2 2514 11.10 11.10 2.60 000002000000000065003060009009050008010200000700004000008000050200007800040100300 colefg #colg509 11.10 11.10 2.60 000002000000000069003060005009050008070200000100004000008000050200007800040100300 coly 349 11.10 11.10 2.60 023000700050000000780003000000060090300008200000500001004002800000090005000100060 taxonomy coloin-20011.10 11.10 2.60 000090002400012000000608000006000050030000700100009008800040001050000060007000300 taxonomy tarek0712211.10 11.10 2.60 000000039020000060003060005008030006070000000100402000005080090000001000400700800 col 08 05 836 11.10 11.10 2.60 100000002030400050006000700080503000000910000000006040007000600090008030200000001 taxonomy jpf-04/04 11.10 11.10 2.60 003000700020400060100050000090080000000060020204900000700000100060800090005000003 colefg #cole318 11.10 11.10 2.60 900000002080010000006009400070351000000000700000708030004000900050030080200000006 taxonomy tarek-224611.10 10.80 9.80 005000930060000008000030500008050009010400000000002700006080003020007000400100000 colefg #colg036 11.10 10.70 7.80 000008007030090040005000100020609000004020000000003060001000800040060090700000005 taxonomy tarek0712211.10 10.60 3.40 800000007040090030001000600020500000000030209000400050006800000090050040700000001 taxonomy tarek0712211.10 1.50 1.50 020050000007100006090003000006700800030002000900005000000000407004600010000000608 tarekdb Cloudy_Bay11.10 1.50 1.50 000007003000000089006090050008030006070002000100400000005080030020000000400100600 coly 1081 11.10 1.20 1.20 000001069000000035003090080005030006070002000100400000009060050020700000400000000 col 08 05 743 11.10 1.20 1.20 000000095000001083003090000008050006070002000100400000006080050020000600400700000 col 08 05 98 11.10 1.20 1.20 000100008070000009009030500008060005040000300000002600006090050020001000400700000 cold 114 11.10 1.20 1.20 000002038000000009003060005005080006070200000100004000008000050200007000040100600 cola2 775 11.10 1.20 1.20 000000006003080090040000085005090008070002000100400000006030050200007300000100000 coly 693 11.10 1.20 1.20 000000005010000069006090080008050006000002300700400000009030050400100000020007000 colc 261 11.10 1.20 1.20 000007009000000035003050080005000006070002000100400000009080050020700000400001600 col 08 05 500 11.10 1.20 1.20 000000039000001005003060000005090006100002000070400000006080050020700600400000800 col 08 05 669 11.10 1.20 1.20 001000500090200080300000007060920000000040090000000806000005100040600000507000003 cold 504 11.10 1.20 1.20 000001009000000053009050600008000006010400800700002000005080090020007000400100000 coly 556 11.10 1.20 1.20 500000003000000068007080090009070006010200700000004000006090030200005000040100000 colefg #colg006 11.10 1.20 1.20 003000007020400060100050000090008000000094080000200006700000100060800040005000003 colc 016 11.10 1.20 1.20 000000063040000005003050080000090006070002000100400900009080050020700000400001000 col 08 05 681 11.10 1.20 1.20 200000100050090070004006000030007000908050000000300090001000200080070050600000004 taxonomy tarek0712211.10 1.20 1.20 000002030000000009003060005009080006070200000100004000008000050200007800040100600 coly 616 11.10 1.20 1.20 010000008000000059009030600008090006700002000000400300005080090020100000400007000 colefg #cole071 11.10 1.20 1.20 000008030000004090003070500009060005100800000020000000006030050200000700040100600 coly 896 11.10 1.20 1.20 700000008000200009003090500008030005100000300000400600009080050070100000200004000 coly 856 11.10 1.20 1.20 000100003000000089006090050008030006070002000100400000005080090020007000400000600 coly 1051 11.10 1.20 1.20 000000035000001060003060009005090006100002000070400000006080050020700000400000800 col 08 05 677 11.10 1.20 1.20 001000500090200060300000007060028000000040090900000600000007100040800000507000003 colefg #colg360 11.10 1.20 1.20 000100008700000009009030500008060005040000300000002600006090050200001000400700000 colefg #colf009 11.10 1.20 1.20 010000008000000050009030600008090006700002900000400300005080090020100000400007000 colc 089 11.10 1.20 1.20 000000039000001005003050080009060008070002000100400000006090050020700000400000600 col 08 05 675 11.10 1.20 1.20 000700003000000085006050090005080009070004000100200000009060030000001000420000600 colefg #colg012 11.10 1.20 1.20 000000093000001085003090000008050006070002000100400000006080050020000600400700000 col 08 05 349 11.10 1.20 1.20 000000060000100059003090800008030006070200000100004000005080090020007300400000000 colc 017 11.10 1.20 1.20 000000039000001000003050600008090003070200500100004800006080050020700000400000000 col 08 05 638 11.10 1.20 1.20 000000035000700060003060009005090006070002000100400000006080050020001000400000800 col 08 05 640 11.10 1.20 1.20 003000005060400020100000700040028000000906080000000400500000001020800090007030000 cola2 923 11.10 1.20 1.20 040000095003080006000000008009050060070002000100400000006030050200007300000100000 colefg #colg205 11.10 1.20 1.20 000007003000000059006090080009030006070004000100200000005080090020100000400000600 colefg #colg094 11.10 1.20 1.20 000001039000000085003050000008090006070002000100400000006080090020000600400700000 col 08 05 354 11.10 1.20 1.20 000000063000001050003050009005090006070002000100400000006080090020700000400000800 col 08 05 646 11.10 1.20 1.20 000000039000001005003060000005090006070002000100400000006080050020700600400000800 col 08 05 5 11.10 1.20 1.20 000000039000001065003060000005090006100002000070400000006080050020700000400000800 col 08 05 81 11.10 1.20 1.20 100006009050000030008000400004090800030000050900600001000710002000000000700062090 colh50 col0701-0311.10 1.20 1.20 100050700000009036000002004015000000600007090080000000000904060000300002800070900 tarekdb tarx0059 11.10 1.20 1.20 000001030000000065003050900008090006070002000100400800009080050020000000400700000 col 08 05 320 11.10 1.20 1.20 003000005020400090100000700080006000000908040402000000500000301000600020007030000 colefg cole354 11.10 1.20 1.20 000004030000000005005060009003090006070002000100400000008000090200007800040100600 colBF2 4097 11.10 1.20 1.20 000002005009000700060010080000304000400020003038000000080050090007000600500200001 tarx tarx1203 11.10 1.20 1.20 000000003000001085003050090008090006070002000100400000006080050020000600400700000 col 08 05 175 11.10 1.20 1.20 000000035000700000003060009005090006070002000100400000006080050020001600400000800 col 08 05 639 11.10 1.20 1.20 000000035000001089003050000005090006070002000100400000006080090020000600400700000 col 08 05 392 11.10 1.20 1.20 040000095003080000000000008009050060070002000100400000006030050200007300000100600 colBF3 4954 11.10 1.20 1.20 000000780007100006000000100200090000005800060030004005008500600040002000900030000 tarekdb tarx0037 11.10 1.20 1.20 000000030000001009003050080005060008070002000100400500006090050020700600400000000 col 08 05 654 11.10 1.20 1.20 100006009050100030008000400004000800030000050900060001000607002000090000700020100 colh50 col0701-0611.10 1.20 1.20 000000039000001000003050080005060008070002000100400500006090050020700600400000000 col 08 05 702 11.10 1.20 1.20 000000000000806005008070300000040020006007400100030009004700600090000050200000001 tarx tarx0036 11.10 1.20 1.20 000000039000001080003050000005060008070002000100400500006090050020700600400000000 col 08 05 879 11.10 1.20 1.20 000000039000001065003060000005090006070002000100400000006080050020700000400000800 col 08 05 6 11.10 1.20 1.20 000000039000001065003050080005030008070002000100400000006090050020700000400000000 col 08 05 848 11.10 1.20 1.20 000000030000001005003060009005090006070002000100400000006080090020700600400000800 col 08 05 9 11.10 1.20 1.20 000000030000001065003060009005090006070002000100400000006080090020700000400000800 col 08 05 10 11.10 1.20 1.20 000001039000000000003050600008090006700002800100400500009080050020000000400700000 col 08 05 17 11.10 1.20 1.20 000001009000000085009050060005030006070002000100400000003080050000700000420000300 col 08 05 55 11.10 1.20 1.20 000000093000001085003050000008090006070002000100400000006080050020000600400700000 col 08 05 196 11.10 1.20 1.20 000700000000000039003060005005090006070002000100400000006080050020001600400000800 col 08 05 642 11.10 1.20 1.20 000000039000700060003060005005090006070002000100400000006080050020001000400000800 col 08 05 641 11.10 1.20 1.20 200000009000000035003060080000090006070002000100400000009080050020700600400001000 col 08 05 105 11.10 1.20 1.20 000001039000000085003050000008000006070002000100400000005080090020100000400700600 col 08 05 106 11.10 1.20 1.20 000001035000000089003050000008000006070002000100400000005080090020100000400700600 col 08 05 109 11.10 1.20 1.20 000001039000000085003050000008090006070002000100400000006080050020000600400700000 col 08 05 122 11.10 1.20 1.20 000000039000001080003050060008090006700002000010400500006080050020700000400000000 col 08 05 167 11.10 1.20 1.20 000000009000001035003050080008000006070002000100400000009080050020100600400007000 col 08 05 174 11.10 1.20 1.20 000001008000000035006050090008030006070002000100400000009080050020000600400700000 col 08 05 62 11.10 1.20 1.20 100000002003400050060000700000803040000006000008540000020000100700000006005090080 taxonomy jpf-04/14/11.00 11.00 10.70 300000007010002060005000800090004000000050000000901040008000500020600090700010003 taxonomy tarek-195811.00 11.00 10.60 002030000100006000050400008003020000090500070600001000080900205000000987000000040 taxonomy tarek-122011.00 11.00 10.60 004000700010500030200000006000703050000060000080901000700000004050008090006000200 taxonomy tarek-205811.00 11.00 10.40 100000002030400050006000700050032000000900000000845090002000600090008040700000001 h54autres 44 11.00 11.00 10.40 400000009080003050006000200300051080000300000010807000900000600050100070002000004 taxonomy tarek-303711.00 11.00 10.00 100000002030040050006000700000895000090460080000300000007000100050080040200000006 taxonomy jpf-04/05 11.00 11.00 3.40 100000002003400050060000700000308040000006000008540000020000100700000006005090030 taxonomy jpf-04/14/11.00 11.00 3.40 003050700400009000080100000010800000005070600900004000000000860002000370000030025 taxonomy col-20110711.00 11.00 3.40 700000003090800050002000400060058000000197000000600010400000700050001090003000002 taxonomy tarek-ultr11.00 11.00 3.40 009000003050002060400000700000508020000190000010006000300000900020800050007000004 taxonomy tarek0712211.00 11.00 2.60 500003000060200040003000700040690000000008090000000204007000105090800020100000000 colx colx131 11.00 11.00 2.60 000000093000001085003050060008000006070002000100400000006080050020100000400700000 col 08 05 218 11.00 11.00 2.60 000200008700400009003090500008060005000001300070000600009080050400002000000100000 coly 025 11.00 11.00 2.60 010007006200000009003090500008060005700000300000004800006080050020001000000400000 col5z 255 11.00 11.00 2.60 001008000200090500060400000900000307000000060000070025300020009004600000080001000 taxonomy tarek-m3-011.00 11.00 2.60 000000090000001005003050800008090006070200000100400000009080050020700600400000300 col 08 05 390 11.00 11.00 2.60 000008030040000090003090500009060005000001000420000000006030050200000700080100600 coly 034 11.00 11.00 2.60 400000900010050000006004008070325000000000000000701030009000400050030010800000006 taxonomy tarek-223411.00 10.70 10.10 000010005090800060002000700060048000000090080000300600500000100080400090007000002 col0906 127 11.00 10.60 3.40 000000008010000050009030600008090006700002900000400300005080030020100000400007000 colBF1 1159 11.00 1.20 1.20 000000095000007060003050800005090008070002000100400000009060080000100000020004300 colc 001 11.00 1.20 1.20 010000006700000009006090500008030005000100300000400800003080050070200000020004000 colc 265 11.00 1.20 1.20 001000005080400020300000007090860000000094060000000200000007300020900040500000001 colBF3 3159 11.00 1.20 1.20 000001030000000065003050900008090006070002000100400000009080050020700000400000800 col 08 05 698 11.00 1.20 1.20 003000500080400060100070000000090020090068000004200000005000100060900080700000003 colefg #cole710 11.00 1.20 1.20 000000035010000000003060800008090006000002000700400000009030050020001600400700900 col 08 05 671 11.00 1.20 1.20 000000083000200095003050000008090006070002000100400000005080030700001000400000600 coly 1076 11.00 1.20 1.20 000000039000001005003050600008090006070200000100004800009080050020000000400700000 col 08 05 386 11.00 1.20 1.20 000050009006000100080100040200005000090010030000207000001000800040000060900020017 tarekdb tarx0105 11.00 1.20 1.20 000000039000001085003050000008000006070002000100400000005080090020100000400700600 col 08 05 104 11.00 1.20 1.20 100400008070000009006090500009060005000002300000100600003080050700000000040200000 col0906 70 11.00 1.20 1.20 000000039100000060006090000008030006070004500010200000000080050040700000200001800 col0906 197 11.00 1.20 1.20 100200030000008090003070500009060005000801000040000000006030050400000700020000600 col0906 303 11.00 1.20 1.20 100000002080050060007000400090508000006030000000009050004000700060080030200100000 taxonomy tarek0712211.00 1.20 1.20 000001039000000085003050000008000006070002000100400000006080090020100600400007000 col 08 05 411 11.00 1.20 1.20 000050009006000100080100040200005000090010030000207000001000800040001060900020007 tarekdb tarx0104 11.00 1.20 1.20 001000500080400020300000007090062000000804060000000009000007300020900080005000001 cola2 1071 11.00 1.20 1.20

by **ronk** » Fri Oct 15, 2010 1:41 pm

on the Quirks thread PIsaacson wrote:When I restrict the aligned triples to a single chute, I'm getting much better results, although there are still some edge cases that I am investigating. Prior to today, I allowed the 3 cells A B C to be spread across 2 different chutes with AB in a tower for example and BC in the intersecting floor. That produced many additional ATEs, but at the cost of running much slower and with problems in handling transformations.

Have you an example for which Explainer handles "ATEs spread across 2 different chutes?"

Does your solver get ER=7.5 for these? And their isomorphs? Explainer does fine with them. (These have ATEs in a single chute.)

Code: Select all: 000123000040050060000000000200000007360040052400000001000000000080060040000712000 063000002502000000890400000001073000000104000000580700000007034000000807900000560 100008265200030000700100000600309500010000090005801007000003006000080004364500009 000001200010030040300500000400060700080305090005040006000002007040090080007600000 870000000000000290400035000900600500050201040001007006000170008083000000000000069 100000002020030040005206700004308900000060000006901200001403600050090030400000008 007005009020060100400900070006000005040080020700000800010009006003050090600800300 102000300000009040900070008000700050006090100020003000700080006050900000003000504 000000000012003004056001003000010070000300800068007009000020400000500010097006005 006040100040008020500000304000400090700060200050002000407050001090800070005000600

BTW I think many of the recent posts on the "SE Quirks" thread should be in this project thread.

by **PIsaacson** » Sat Oct 16, 2010 6:07 am

Ron,

I ran the 10 puzzles through gsf's sudoku -f"%c" to produce the 10 minlex transforms and they scored identically to the originals:

Code: Select all: ...123....4..5..6..........2.......736..4..524.......1..........8..6..4....712... 1 7.5 1.2 1.2 59.7873ms .63.....25.2......89.4.......1.73......1.4......58.7.......7.34......8.79.....56. 2 7.5 2.0 2.0 24.3725ms 1....82652...3....7..1.....6..3.95...1.....9...58.1..7.....3..6....8...43645....9 3 7.5 2.6 7.5 42.6565ms .....12...1..3..4.3..5.....4...6.7...8.3.5.9...5.4...6.....2..7.4..9..8...76..... 4 7.5 7.5 7.5 28.8410ms 87.............29.4...35...9..6..5...5.2.1.4...1..7..6...17...8.83.............69 5 7.5 2.6 7.5 41.3209ms 1.......2.2..3..4...52.67....43.89......6......69.12....14.36...5..9..3.4.......8 6 7.5 6.2 7.5 122.0578ms ..7..5..9.2..6.1..4..9...7...6.....5.4..8..2.7.....8...1...9..6..3.5..9.6..8..3.. 7 7.5 7.5 7.5 23.3069ms 1.2...3.......9.4.9...7...8...7...5...6.9.1...2...3...7...8...6.5.9.......3...5.4 8 7.5 7.5 7.5 29.0234ms ..........12..3..4.56..1..3....1..7....3..8...68..7..9....2.4.....5...1..97..6..5 9 7.5 6.2 7.5 118.3346ms ..6.4.1...4...8.2.5.....3.4...4...9.7...6.2...5...2...4.7.5...1.9.8...7...5...6.. 10 7.5 7.5 7.5 14.1394ms ......789.5.1...3..........2....8...83.5.7.1.9....1.........892..........1.6...5. 1 7.5 1.2 1.2 42.3818ms 12.....8..57..9...6.9..........37......9.53..9..61........7..68......41...4...5.2 2 7.5 2.0 2.0 4.8355ms 1..4.....4....92366...3........7..6......4.2.7916...5..7.5.8.4.8..3.7..5..5...8.. 3 7.5 2.6 7.5 33.2059ms .2....7..4....9.3...8.7......65......1......25....1.9..65..3.4.8..9....79...6.8.. 4 7.5 7.5 7.5 17.8035ms .......894.7.........2.3..52...1...7.1.8..6....564..2..9..68.........39..71...... 5 7.5 2.6 7.5 30.2809ms 1...5.7....71...63..92...512...1......87...95.9...3....6...2.....46...729...4.... 6 7.5 6.2 7.5 37.2111ms 1..4....9..7.8.2...6...7.5..7...5.....56..9..9...7.....4.2..3..6...3...8..1..8.6. 7 7.5 7.5 7.5 6.6292ms ..34.....4....92...9.....4...1....7.5...1...3....649.......25.86...3...7.7.8..... 8 7.5 7.5 7.5 57.0046ms ..........5.18...6.8.27...4.4.93...75.....9....6....2.3......7..6.32...8..2...1.. 9 7.5 6.2 7.5 67.8925ms 1..4...8...6.....3.8..3......4.7...8...9.4.1.9..8..4.....5..8...7..9...66....125. 10 7.5 7.5 7.5 30.5716ms

Using the -J19 option to generate a collection with the original + 19 isomorphs also scored identically. Plus my results concur with those of SE for the 200 isomorphs, but that's because I now restrict APE and ATE to a single chute, just like SE.

Code: Select all: ...123....4..5..6..........2.......736..4..524.......1..........8..6..4....712... 1 7.5 1.2 1.2 60.0718ms ......248...........75..1........372...........67..5...4512.7...8..4.....2..3.... 2 7.5 1.2 1.2 98.9128ms ..........5..7.1........935......368.1..5.2............2381.5....86.......93..... 3 7.5 1.2 1.2 55.6263ms ..........4...26........5179..5.....7..1.....56.7.42........952..........2...34.. 4 7.5 1.2 1.2 104.6425ms ..9..5..3...217............1.6..9.852......1.7......9.............781.....5..6..9 5 7.5 1.2 1.2 33.7691ms 76.92..3..9.5......1.6...........3163...4..2...................2...3..7.......965 6 7.5 1.2 1.2 87.2497ms ..67.......41.....3.16.9.8.8....3.9.......461........................6785....8.3. 7 7.5 1.2 1.2 129.3524ms ..1.8....2.941..7...5.9...................5197..2...4................1876..7...2. 8 7.5 1.2 1.2 135.1462ms ..2.5.....18.342....3.6..............2...14........358...............563.7...21.. 9 7.5 1.2 1.2 51.8984ms .....81.......25...2..948.7.7..2...9.........584.......9..3...2158............... 10 7.5 1.2 1.2 50.4122ms 1....7..9853...............6....1..7384...............7...36.41....5..3.....8..7. 11 7.5 1.2 1.2 35.4261ms ...7..3...7.2.81.9...1..5...9...7..8.........312......531................8...6..7 12 7.5 1.2 1.2 47.9746ms 2...7..5..........816...............138......4...2..7.7..14..23...6....1...8....7 13 7.5 1.2 1.2 68.3066ms .7.1..2.....548............5.......98.......442.7..1.5.3.2..7.....975............ 14 7.5 1.2 1.2 44.4247ms ..1....2...7....3..657...14............312....9.6....7............153....7.4....6 15 7.5 1.2 1.2 42.4154ms .9....2...8....1..41...23.5............391...5....4..2...189...2....5..6......... 16 7.5 1.2 1.2 52.0228ms ....6..4.9...4371.....1..8.7....93..146........................891......3....29.. 17 7.5 1.2 1.2 85.7894ms ......837..52....9....................15....2......678.3297...5.7..6.....5..8.... 18 7.5 1.2 1.2 52.1027ms 9....1.2..........438......354...............6....9.1....4..1.....8..3..1..3.659. 19 7.5 1.2 1.2 68.7720ms 395........8..9..4.........213........7..8..9.............5.3......1.2....9.371.8 20 7.5 1.2 1.2 56.0087ms .63.....25.2......89.4.......1.73......1.4......58.7.......7.34......8.79.....56. 21 7.5 2.0 2.0 24.1248ms .81......73.4.....6.9...1.....8.3.5....24......2.95....7.....86......53.....5.4.9 22 7.5 2.0 2.0 26.5719ms ...4.8.2....26......5.39.......9.6.8.7.....54......37..51......74.1.....3.6...7.. 23 7.5 2.0 2.0 12.0028ms ..4.12......76.......8.46..9.....8.5....7..23......91.78.4......51....3.4.2...... 24 7.5 2.0 2.0 14.2759ms 5.2...9..43........81..3...3..54........31..6...6.8....7.....21......5.7...8..49. 25 7.5 2.0 2.0 3.8698ms ..3...9.2.......78....7.34..281.....46.....9.5.1.........2.8..7...54....6...37... 26 7.5 2.0 2.0 5.6446ms ....43.8..1.6.8......51..........83...7....49...8..5.6.24......7.3.5....96....2.. 27 7.5 2.0 2.0 12.1407ms .....547...7....89......5.19.1.3....64....8...23.........19...5....24....6.5.7... 28 7.5 2.0 2.0 16.3545ms 3.2..9....74....2.91........9.17.......9.26......83.........85.....5..174.....3.6 29 7.5 2.0 2.0 11.9831ms .32......96..8....8.4....2....51........361....94.7......7...82......54..2....6.3 30 7.5 2.0 2.0 8.7845ms ......2.6.....413.3......8983........21...3..9.71......7..42......5.6......89...5 31 7.5 2.0 2.0 29.6837ms 4.3..9....69......58......7....94.2....2.3....9.86......1...54....3..7.6.......18 32 7.5 2.0 2.0 4.3703ms .24...5..1.6.4....53...........18..7.4.3.2......46....3......76......9.1...9..28. 33 7.5 2.0 2.0 7.4865ms ...1.5.....5.42......98..6..2....61........93.....38.419.5.....5.4.....7.72...... 34 7.5 2.0 2.0 5.1415ms .7.1.9.......23......64.2....8...6.2.....2.93......48..95......1.6.5....73.....4. 35 7.5 2.0 2.0 4.9435ms ......9.2....2..878.....34.6.5.......17.....493...6......9.32....128........75... 36 7.5 2.0 2.0 21.7485ms ...91...3..2.84......3.6........346..5.....31......5.9.74......2.6...9..81.7..... 37 7.5 2.0 2.0 6.2874ms 6.8......15.6......72...3.....1.9......56..9...6.82.........24.4......57.....18.3 38 7.5 2.0 2.0 6.4027ms 13........487.....9.7...1.....2.6......34..2.8...59........57.1......96..1.....43 39 7.5 2.0 2.0 9.1938ms ....2..48......5.7..9...62.9.5..1....37......84......3....42....6.18.......6.52.. 40 7.5 2.0 2.0 17.0320ms 1....82652...3....7..1.....6..3.95...1.....9...58.1..7.....3..6....8...43645....9 41 7.5 2.6 7.5 43.4277ms 49.8..6..81..4...9.....9.4...8...5..6.....7...5.3829..3...6.175.6..2......1.5.... 42 7.5 2.6 7.5 14.6122ms 348..95.....5..2......8.4....56.1..71......6..6.8.71....64..729..3..5.....4.7.... 43 7.5 2.6 7.5 54.3780ms 4....1269.8...6.....1..5...8.....9....29387...4....3.....1....71.4.2.5..7.8..9.2. 44 7.5 2.6 7.5 20.6694ms 4659...1....6..4.....5....2..18..72.6....194..7..9....8......7.3.......47..1632.. 45 7.5 2.6 7.5 16.9791ms 9...8....7..5.....5....1649..5....2.4..8.2..6.6.1.57.......84..8346..2......1.3.. 46 7.5 2.6 7.5 49.2700ms .....25..6514..3......3.8....7.1.269..62.......9..4...7......3...834...1.1.72.6.. 47 7.5 2.6 7.5 21.6817ms 4...1......7..59.1.5.2..8.4..4576..8..2...4....6....9....7....97391..5.....3...8. 48 7.5 2.6 7.5 25.9620ms 518..6.4......51.......8..72...6.....5.4..61...4..927..3......1.9.....2..2.3547.. 49 7.5 2.6 7.5 17.2662ms 2....68191..7.....8...9.....2....3..5...37.6...6.29..8684.7...3...9....4.....3..5 50 7.5 2.6 7.5 33.4043ms ..9.....6..2...4....4689.3...1..567.7..4..51..5..1....3275..9.....9....7...8...4. 51 7.5 2.6 7.5 16.8889ms 147.8...2...2....6.....7..43......9..9.75...3..293.5....94..865..1.2......4..5... 52 7.5 2.6 7.5 34.5856ms ..2.1.94..8...273.4..3......1.....9..4.1952...5......7....6...9....8.3..126.3..7. 53 7.5 2.6 7.5 12.0247ms ..76.......2..8143..8.1....8753..6.......64......5.8...9.....2...69.2..12..1.59.. 54 7.5 2.6 7.5 23.9749ms .4..96.8.9.......6..6.859...7.8......6...7823.1..4.........43.....5..7..157.2.4.. 55 7.5 2.6 7.5 31.8452ms .....1..9...4....6487.6...53...24.5...4.53..1.5....3..1....79626..2.....8...1.... 56 7.5 2.6 7.5 7.9881ms .2.....9..9.617..4.6....7....8.5.....5.8...733....9.85.....1..9432..8.6......63.. 57 7.5 2.6 7.5 36.1035ms ..4326.8...6...2....3.....5....9..1.....7...2768.1.5....98..15..4...1...8...6.42. 58 7.5 2.6 7.5 22.5598ms .6.....5..8.3761...4......8....9..1.....3.5..953.2...7.3...72.57...4.8.1..82..... 59 7.5 2.6 7.5 20.0051ms ...7...8.195.6..4......5.6...352...4.5.34..7.4.....3....79..826..1.7......6..2... 60 7.5 2.6 7.5 7.6817ms .....12...1..3..4.3..5.....4...6.7...8.3.5.9...5.4...6.....2..7.4..9..8...76..... 61 7.5 7.5 7.5 28.4857ms ..53...2..2..4..3.9....18.57....2.8.....6...7.8....5....4...3.....4....62....9.1. 62 7.5 7.5 7.5 21.9532ms 1....638..5.9....4..4.3...1....2..4.5....8..7..1...8...9....2..8....7..6...2...3. 63 7.5 7.5 7.5 9.9124ms .....7.6.1..6......9..8...2..39..........56...4..2...94...5..1..3.7.9..8..5.3.7.. 64 7.5 7.5 7.5 63.6411ms 5...3...1..8..1..9.7.9..84.2......8..6.4....7....5.2...4.3....6.....94....2....1. 65 7.5 7.5 7.5 14.0522ms ..3..25..91.7...4...7.3...9..82...1..3......61...7......41...8..9....6..6....5... 66 7.5 7.5 7.5 14.5885ms ..7..8.......1...4.1.9...2.....7.5...9.6...1.7....3...5..8..2...6..31.4...34....8 67 7.5 7.5 7.5 60.5136ms .1...29....7..9.8.5..14...2.6..9.......4..2..4....3..8..6.1.......6...7.3....5..4 68 7.5 7.5 7.5 20.7577ms 9.......3..3.7.....6...51..5.9..26...2.4...9..4..8...74......3...52......1...85.. 69 7.5 7.5 7.5 42.8283ms 7..9....6.4..1.82...6..8..9..7...5...1..9...4.....7.6....2...8.5.....3...9..3...2 70 7.5 7.5 7.5 47.2523ms .6.9...72..1.8.4..2....41...5.1..7......3...5..7....2..1.6..9.......8..38......4. 71 7.5 7.5 7.5 22.7856ms 4..7......5...62......5..9.....4...8..41......6...35..1....9.7...8..7..2.3.51.9.. 72 7.5 7.5 7.5 31.8550ms .3...24..5...9.......6....5..8.1.......7...6..7...83...4.18.2..1....3..9..3..9.5. 73 7.5 7.5 7.5 33.4926ms .3.8....92..3...7...8.196..7....5.....16..4......9..5...24..1...8...1.......3...5 74 7.5 7.5 7.5 15.5381ms .9.6..3......1..2.1.......5..9..15..4...5.9...6.3...48..8.....4.7.9..8.......2.7. 75 7.5 7.5 7.5 18.7746ms 6....8....8......7..4.2..9..9....3..5..8.......2.9..1...5..7..196..4..3...36..5.. 76 7.5 7.5 7.5 31.7014ms ..64...8..7..93..53..6..4.......18..8...4.....6.5....7.2.9....6.....2.1...9.3.... 77 7.5 7.5 7.5 21.2330ms 9..2.3..1.6..4.7....4.9..2......25..3...1...8.7.5.......93..........4.5.6...8...3 78 7.5 7.5 7.5 10.2495ms ..7....2......7..8.1..9.5...9..3.4..2......3....4....6..8..69..7..9..8...5..1..64 79 7.5 7.5 7.5 16.9189ms 7..8....6.....4.2...2...5..8..3....7....9..8..2....1..6..9..85...4..3..1.5..1...9 80 7.5 7.5 7.5 31.0160ms 87.............29.4...35...9..6..5...5.2.1.4...1..7..6...17...8.83.............69 81 7.5 2.6 7.5 41.2042ms .14....2.32...5........6.3.2.......6..87.9....5.3....7.9..8.4..4.....87...5.1.... 82 7.5 2.6 7.5 72.1447ms 1.6............38....5.26...4..71....62.............39.3.8....7..795..4.5...2.8.. 83 7.5 2.6 7.5 46.8236ms ...57....29.3...........84.......1.87.6.....5....52....64.9.3...7...6..1..18...9. 84 7.5 2.6 7.5 38.6480ms ...1.3.........48.7.6..4.........6.4.28.....5...39....97.5..2...6...1.7.1...2...3 85 7.5 2.6 7.5 49.1828ms 6....2.4...47....8.9..6..57.42.........31......1...87.52............93.6....81... 86 7.5 2.6 7.5 12.9341ms ..2..3..4.....98...53....2.7......1.5...6...8...45.3...1....2.9.6.7........8...61 87 7.5 2.6 7.5 24.3992ms ....1.68...2.5......3....15.5...4.3......2..1.47...9..8.....3.....94...69..6...7. 88 7.5 2.6 7.5 55.7756ms 5.....7..6...2...4...36..8...7....91..25........4..2.7.....1.4..86...9...9...8..3 89 7.5 2.6 7.5 54.9186ms .46..9........2.1.2.9....8..8......64..5.7.....34....59...1......8.7.2...5....73. 90 7.5 2.6 7.5 45.8361ms 8.6.........2.7........845..7..9..2...5..2..49..1...35...73.....1....6.948....... 91 7.5 2.6 7.5 22.3453ms ....1.59..9...3.1..8.4.....2....4..5....7...65.39.......6...2.....1.87....4.27... 92 7.5 2.6 7.5 10.7945ms 6.2..4..7..13..4..9...6..1.......2.3...5.9...48.7......96....5........31....85... 93 7.5 2.6 7.5 20.4793ms 5...2..73.2.1...6...6..3..9....48.....4...93.6.1.........5..8.2...49....17....... 94 7.5 2.6 7.5 27.7200ms .7.....2..8...51......38..92.....4.6....1.25.5...7....8.9....6....4....1..69..3.. 95 7.5 2.6 7.5 50.6253ms ...19....64...........4.73.7...1...3..9..51...5.8..2.7...9.2.....8....65.34...... 96 7.5 2.6 7.5 22.1148ms 72.......1......53...18.......5.1........698..74......2...3.5...6.9..3.4..9..7..2 97 7.5 2.6 7.5 69.0577ms ...3.2.....3...95.8.6.........53....61...........4..27.7..6.8....8..9..54..7..1.9 98 7.5 2.6 7.5 48.6644ms .3..9.1...154....7..9..7.2.3.1.6.......92..........8.6.......63...2.5...87.....4. 99 7.5 2.6 7.5 21.8302ms 2...9...39.6..41....38...4....7.2...45.1...........86.......3.8....57....29.....7 100 7.5 2.6 7.5 16.8609ms 1.......2.2..3..4...52.67....43.89......6......69.12....14.36...5..9..3.4.......8 101 7.5 6.2 7.5 122.1377ms ..83...56.5..6.2....25...41..71...32.8..7....1....3.....92...68.3..5....8....4... 102 7.5 6.2 7.5 23.6809ms .6.4.......1.5....5....684.7....813...4.2.....1.9.....8....269...2.3...81....432. 103 7.5 6.2 7.5 127.5981ms 1...58..7...1.....6...24..85...46..1..6...2...9.8...4...5...7...7.4...6.9...17..3 104 7.5 6.2 7.5 91.9436ms ..7..6..3.4.23..5.3.....1...2.67..1.8.....7....6..9..5.3.19..2..9.86..7......2... 105 7.5 6.2 7.5 96.0232ms 5......6...9.....1.6.81.9...8.94.2...5.32.1..2....8.3.1......2..7.53.8....5.....4 106 7.5 6.2 7.5 83.4561ms .1..5......6..3...5..6..3.4.3..8......1..2...7..4..9.1.8..9..4.4..8..2.61..3..8.9 107 7.5 6.2 7.5 142.0596ms 5..7....3..7.96.5...8.53.4.4.......5.8....9....2.38.7.8.......1..1.47.6..6....4.. 108 7.5 6.2 7.5 42.5379ms ..3.8.6...5...3...1..7...39..1.6.2..5..9...86.8...4...8..2...649..3...25......9.. 109 7.5 6.2 7.5 122.1483ms 4.3..2..6....8.7.....4...9.3.7..4..8.6..7.3..5.9..6..7....4.1.....5...8.6.8..1..5 110 7.5 6.2 7.5 93.0464ms ..8.9.4...6......85..2.8.1.2..6.7.8.....2....4..3.9.7...5.7.9...4......36..9.4.2. 111 7.5 6.2 7.5 106.1662ms 45..9..7....6..9.......7..5...5..2.......6..368..1..4.73..4..2.82..6..5...42..8.. 112 7.5 6.2 7.5 122.5207ms 6......5..7......3..42.59....76.14....37.25...2..4...7..13.48..3......1..8......5 113 7.5 6.2 7.5 45.9204ms 5....4.....7.8..1..9.2..7.4..4.3..7..6.8..9.33....2..........9..1.4..5.7.3.9..2.1 114 7.5 6.2 7.5 23.4361ms 31...58..47...39....8........3.4...6...7...9.94...81..58...26.....5...1...4.9...5 115 7.5 6.2 7.5 57.5532ms ..62......8..6..4.7....16.3.......3.6....35.25....84.9.4..1..5...98.....3....28.4 116 7.5 6.2 7.5 96.5442ms .42..81..1.........67..43...36..12..4...6...5...7...3.6...3...8...8...2..81..95.. 117 7.5 6.2 7.5 97.2993ms 25.6....8....5.4....7..1.2.67.8....342.5....7..8..........6.3....2..3.5.83.1....9 118 7.5 6.2 7.5 27.7867ms ..72..1...5...4.27.1...7.898...4......56......6...8.14..47.....5...9.....3...1.52 119 7.5 6.2 7.5 41.1287ms ..9..7.34......8....8..1.67..5..2.811..9..4...6..1....5..4..7...9..3......6..8.49 120 7.5 6.2 7.5 142.3548ms ..7..5..9.2..6.1..4..9...7...6.....5.4..8..2.7.....8...1...9..6..3.5..9.6..8..3.. 121 7.5 7.5 7.5 23.5605ms 8...2..5..1.4..7....9..1..6..2.7.3..9..3...4..8...4..9.6..9.5..5..1.......1..6... 122 7.5 7.5 7.5 5.5312ms .8.5..2..1....8.5...9.4...7..47..5..7...3..6..3...5..2..1..9..6.7.2.....8...6.... 123 7.5 7.5 7.5 15.1922ms .6..7...42....3.8...84..6...1...4..53..7..9....6.1..2...19.....4...5..9..5...1... 124 7.5 7.5 7.5 7.3362ms ..85....6.3..7.4..6....4.5...2.6.9...1.2.....9....1....6.1....2..1..57..8...3..9. 125 7.5 7.5 7.5 6.1283ms 4....62...2.4...9...5.7...8.4..6.1..7....4..5..13...7.6.....7....3....2..8..3...9 126 7.5 7.5 7.5 15.7106ms 4..9...5..7...52....9.2...62....6..8.9.1..3....4.9..1.....4..2.7..8....3.....71.. 127 7.5 7.5 7.5 9.2770ms ..9..6.8..2..1....8..4......1...7..53..1..8....5.3..2...46..5...5..4...27....9.1. 128 7.5 7.5 7.5 20.4323ms 6...1..9..5...32....82....5..5....4.8...4...6.1....3...7..3...2..14...7.9....21.. 129 7.5 7.5 7.5 26.0820ms 3...6.9....19......7...2....1...5..26..8..7....3.1..5..4..5.2..8....7..5..74...9. 130 7.5 7.5 7.5 24.9004ms 2....98....71....9.4..7..1..5...8..1..46..2..7...3..5...6.....55......3..3...67.. 131 7.5 7.5 7.5 9.8574ms 2.......3..5...2...4...3.5..6..3...7..25..4..1....9.2..9...86....14...7.8...1...4 132 7.5 7.5 7.5 23.8468ms 6...8.2...2...3..4..41...8..5...8.9.7..2....6..9.1.8....2...1..5..3...7..9......3 133 7.5 7.5 7.5 5.1408ms ..1.6.5...2...7..46..2...7.8......3...7.3...9.9....8....53...4.2...1...8.8...97.. 134 7.5 7.5 7.5 11.5329ms ..1..84..6..3....7.9..7..5..2.4..9....5..3.2.3...8...5...7....6.....1.7..1..6.3.. 135 7.5 7.5 7.5 8.2978ms .1...53..8...1..5...67....4..9..4..3...9..5......8..6...8..1.2..9.2..6..1...6...7 136 7.5 7.5 7.5 24.9154ms .5...3..84...2..6...25..4....9..86..1...7...4.3.2...7....7..9...9...4.1.....1...7 137 7.5 7.5 7.5 11.2538ms ..85..1..7....8.2..5..3...7.7...6..2..3.9..5.6..4..7...2...5.....16.....9...4..1. 138 7.5 7.5 7.5 10.9985ms ..73..1..9.......3.6.....8...5..2.6..4.8..2..6...3...47...2.9...9...8.2...16....5 139 7.5 7.5 7.5 19.8690ms ..3.8.7..8..9...4..9...4..65......2...4.2...1.1....5...5...14..9...3...5..72...6. 140 7.5 7.5 7.5 11.5500ms 1.2...3.......9.4.9...7...8...7...5...6.9.1...2...3...7...8...6.5.9.......3...5.4 141 7.5 7.5 7.5 28.8085ms ..49.....9....7..6.7.....9...3....2.....59..78...3.4..5...4.2.......61.8.2.1..... 142 7.5 7.5 7.5 27.1874ms ..6.....44...8..2..2...4....1......75..1..6.....79..8...3..1...9..6..3......2.54. 143 7.5 7.5 7.5 22.7243ms ..3..2....6.5...8.9.....1.....28..3..9..6...7..6...4...7..9...5...3...146....1... 144 7.5 7.5 7.5 50.2032ms 2......46.4..5......79...5...36...7.1.9.....8.....35......8.1...1...7...8..1....2 145 7.5 7.5 7.5 13.4003ms ..4.6.....3....7.29....16..4....79..51......8...4...5.....9..2..8...2..3..23..... 146 7.5 7.5 7.5 19.4860ms 2.57.......8..3.9.....1...8.6....8..7..6.1.....9..4.3.....6.9..4..5...8..2......7 147 7.5 7.5 7.5 12.1341ms ...5.49...1.7....67......8..5.6....8.....31.2..8.2......9....4.6...4.....4...93.. 148 7.5 7.5 7.5 37.2709ms ..1..3....7....6.84...9...31...8...429....5.....1...2..5..6.7....67..........4.6. 149 7.5 7.5 7.5 19.1369ms 9..5.6....4......3..2..38......5...96..1..3...7.....8.7.49.........7..3...1..82.. 150 7.5 7.5 7.5 11.6504ms .3......82..9.3.....6..85...4.....6.7..2..4......4...7..1..69..4.57.........8..1. 151 7.5 7.5 7.5 16.4567ms ....9.1...7......4..6..3.8.3..4...5.2.7..1.......7...85..8...4..2....8....16.9... 152 7.5 7.5 7.5 43.3865ms .....83..5.3....6.2..7....9....6.1...3...9.....48...2.7..9....8.5..8......6....14 153 7.5 7.5 7.5 12.5792ms 1......3...4..3....3.1....2...38...1.9..5.4....5....6.6....7....8..4.6.....2..7.9 154 7.5 7.5 7.5 28.3303ms ..6..1..79..2.........5.2.4..9.7.3...5.8.....1......2..9.....4.....835....1..9..6 155 7.5 7.5 7.5 29.6739ms 1...7.8.......8..2.8.....7......4.9.3.4.1......92..6..7..68.....9......5..25..3.. 156 7.5 7.5 7.5 46.4818ms .1......23...7..8....29.5.....5..46.8...3..1...1..9.....5.....4.8...2...1..6..7.. 157 7.5 7.5 7.5 30.9616ms 4.25.........1.9..9....3.7..8......97....6.3...58.1.......8...7..64...9..2....5.. 158 7.5 7.5 7.5 26.2035ms .37.9.......7...1...1..86...4..26.....8..53..1.......5.9..4.2.....2....82......4. 159 7.5 7.5 7.5 22.8320ms 2....1..5.3....8.6..75.....4....2..1....5..9.79....3.....3...8..6...54....9.1.... 160 7.5 7.5 7.5 11.4260ms ..........12..3..4.56..1..3....1..7....3..8...68..7..9....2.4.....5...1..97..6..5 161 7.5 6.2 7.5 117.4339ms 3..5..7.6..2.8.....9...3....6..9....7..6..5.1..1..4...4..9..3.5.........2..4..9.8 162 7.5 6.2 7.5 40.5527ms .....8.9....3....2.45.2.1.....5...3......6..7.16.4.5............21.7.3...39.8.7.. 163 7.5 6.2 7.5 28.7556ms 2..37.4...9.....2...5.....65..69.8...........8..42.9..7..14.3...3......9..1....8. 164 7.5 6.2 7.5 41.6916ms ..........9..417...3..295...7..681..3.......6..5....4.8......1..5..849....4.....2 165 7.5 6.2 7.5 66.8918ms .3.4.....2...9......5..12.7..6..47.38..3......5..7...............4..98.6..1..63.5 166 7.5 6.2 7.5 48.2394ms ....8.9..5.2..6.1....2....38.5..7.9.....6...5...4..8..7.4..9.3.6.8..1.7.......... 167 7.5 6.2 7.5 68.9023ms .2...59.3..86.....1...2......7.4....9..1......3...97.5.8...46.1.4...15.2......... 168 7.5 6.2 7.5 41.3188ms .2...6.491...3......52.....7..8.......9.5.....4...9.67.8...5.26..........1...8.53 169 7.5 6.2 7.5 41.3778ms 5..9..76..........2..5..93..2..3....7..6..84...9..7...8..4..61...4.9.....1...5... 170 7.5 6.2 7.5 70.4859ms 3.1.7...5.........4.9.1...72.4.8...6...1...8......72..8.6.4...9.....9.1....3..5.. 171 7.5 6.2 7.5 124.0464ms .468...9.....5.8.......7..3.196...4......12......4...5..........982...5..357...2. 172 7.5 6.2 7.5 41.3330ms 1...7.59.6...3.81............58......4...9...3...1.45...3..5....6.2.....7...9.24. 173 7.5 6.2 7.5 32.3183ms ..1..6...2...5.....9.4...823....1....7.6...18..9.8.....6.5...73..........4.7...91 174 7.5 6.2 7.5 53.3927ms 3.84....9.....8.2.....9.5..1.32....55.76....2.............5..1......67..4.91....3 175 7.5 6.2 7.5 91.9612ms 8......6...2...1...6..17..5.8..79..2.2..48..3..........7..65..94.....3....9....8. 176 7.5 6.2 7.5 93.3894ms ..........2.7.9..1.7.6.3..29.....1...3.5.4..6..6....7...2...8...4.3.8..57......4. 177 7.5 6.2 7.5 67.8338ms 9.....3....8....6..3..57..1..........4..31..9.8..96..4.5..12..77......9...2...4.. 178 7.5 6.2 7.5 37.4190ms ...4...7......3..153..2.4..78..6.1..95..1.7................6.8.24..9.5.....7....9 179 7.5 6.2 7.5 97.9928ms ..4.17..29......1..8....7...1.....2.6.....5....8.76..3...........3.81..4..2.49..5 180 7.5 6.2 7.5 17.3439ms ..6.4.1...4...8.2.5.....3.4...4...9.7...6.2...5...2...4.7.5...1.9.8...7...5...6.. 181 7.5 7.5 7.5 13.5674ms .....9..7..9....4..7.3..2...2.53....3..7..5....7..8.3...4..5..87..6.....16..2.4.. 182 7.5 7.5 7.5 28.9070ms ...4...633....7.9..8..3.1..4..3.2..9.....4.7...8.5.2....3...5..7..2...1..1..4.... 183 7.5 7.5 7.5 17.1994ms 8....16....38....2.7.....89.5.3....6....8.4..7....6...4...1.5....7.....3.857...2. 184 7.5 7.5 7.5 14.1183ms ..5..97.3...7....2.4..1..5...12....6...1.69..6...4..2..2..8......96..2..5......8. 185 7.5 7.5 7.5 9.2952ms .....1..3..7...5...3..8..4...8..72..6..85..1..4.1......6.4...5.59..1......3..5..2 186 7.5 7.5 7.5 21.6219ms .53.1....8..3..9...2...4..3...1..8...8..7...46......3...2.37..17..6...9..4...1... 187 7.5 7.5 7.5 15.3601ms 5..9..1....2....79.9..7..5...5.2..9......58..8..6......5.....3.6....17...43.6...2 188 7.5 7.5 7.5 29.6337ms 83..4......2..58...5.8....3.....17...8..5...4..1....5..6.5.....4..96...7..3..7.2. 189 7.5 7.5 7.5 28.4612ms ..9.8.7..5..7...4..72..3......3...5...5..18..6.......7..8.3....1..6....4.9..173.. 190 7.5 7.5 7.5 10.5129ms 3.......1.9...82....25..........563..3..9.4....73....2....5.9..7..1....8.5..83.4. 191 7.5 7.5 7.5 24.2554ms 5..1..7....6.....3.....6.5.7..91......5..8..1.1.5..9....3..9.8..5.2.....24..7.3.. 192 7.5 7.5 7.5 31.5533ms ..3....9.1....926..6.4....7..5..36......5...9.7.2.....2.8...9...5..4...2..1..2.3. 193 7.5 7.5 7.5 7.8834ms ..1...8...4.6....5.....9.4.7..86...9..6..13...5..9......4..8.3.82.9......7..5...8 194 7.5 7.5 7.5 21.0492ms .9.1....2..5...81.1....89...4.3.........9...4..9..51..7.6..3.5..3..2...89.....6.. 195 7.5 7.5 7.5 28.1271ms 4....3.86..1.7.3...8......5..9.5.....2...4.5....3..9....72..5...5...1..221.....4. 196 7.5 7.5 7.5 9.4408ms 8.....7....4..6....2..8..9.....2...7.7.1...49..5..96..5....84.....43..7..4..1...2 197 7.5 7.5 7.5 22.6773ms 3..8.25.....3...4...9.1...8.6..3......2.....14....8.6......327.2..4...5..9..2...6 198 7.5 7.5 7.5 10.0503ms .4.3....23....28......9..34...2....5..8..64...6.75..9.6....1.....2...1...9..2...3 199 7.5 7.5 7.5 22.5766ms .6.27...3..93.....2....1.8.4....78....69....7.75.3....1......7...4.2...9.....34.. 200 7.5 7.5 7.5 6.7507ms

Sorry about misplacing the topics. The SE quirks thread seemed to be focusing on the internals more so than this thread, but that may be partially my fault as well. I'll try to stay here instead of there in the future!
Cheers,
Paul

by **lksudoku** » Sun Oct 17, 2010 1:58 am

PIsaacson wrote:my results concur with those of SE for the 200 isomorphs, but that's because I now restrict APE and ATE to a single chute, just like SE.

I looked at the SE APE/ATE code, and I do not see any single chute limitation.

From the code, I see that an aligned pair exclusion can be any pair of two cells

About aligned triplet exclusion, there is a limitation, but it is not a single chute limitation; aligned triplet can be any set of 3 cells such that at least two of them belong to the same row/column/block, one of these two have at most 3 potentials, and there is at least one more cell in the intersection of these 3 cells houses, therefore, the following none chute ATE pattern is possible for instance

. . . | . . . | . . .
. y . | . . . | . x .
. x . | . . . | . . .
--------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
--------------------
. . . | . . . | . . .
. x . | . . . | . . .
. . . | . . . | . . .

However, the following ATE pattern for instance cannot be found

. . . | . . . | . . .
. . . | . . . | . x .
. . x | . . . | . . .
--------------------
. . . | . . . | . . .
. . . | . . . | . . .
. . . | . . . | . . .
--------------------
. . . | . . . | . . .
. x . | . . . | . . .
. . . | . . . | . . .

because no two of the triplet cells have a common row/column/block

If you can provide an example that contradicts these rules, please post it, and I will try to see if I did not read the code correctly, or there is a bug, or your solver defines APE/ATE in a different manner than SE

by **daj95376** » Sun Oct 17, 2010 3:19 pm

lksudoku wrote:I looked at the SE APE/ATE code, and I do not see any single chute limitation.

From the code, I see that an aligned pair exclusion can be any pair of two cells

Okay, what am I missing?

When talking about an APE anywhere, we're really talking about a pair of cells that may not be in the same chute. So consider the following scenario where the two cells are r8c2 and r2c8, with elimination r2c8<>9. Now, only r2c2 and r8c8 see both APE cells, and they must be bivalue cells containing <9>. The only way r8c2 can combine with these two cells to perform r2c8<>9 is if r8c2=XY, a bivalue cell.

Code: Select all: +-----------------------------------+ | . . . | . . . | . . . | | . X9 . | . . . | . -9 . | | . . . | . . . | . . . | |-----------+-----------+-----------| | . . . | . . . | . . . | | . . . | . . . | . . . | | . . . | . . . | . . . | |-----------+-----------+-----------| | . . . | . . . | . . . | | . XY . | . . . | . Y9 . | | . . . | . . . | . . . | +-----------------------------------+

The only other possible way to get the APE elimination is if we include a cell that's not seen by one of the APE cells -- ATE anywhere ... or 4-cell XY-Chain.

Code: Select all: +-----------------------------------+ | . . . | . . . | . . . | | . XZ . | . Z9 . | . -9 . | | . . . | . . . | . . . | |-----------+-----------+-----------| | . . . | . . . | . . . | | . . . | . . . | . . . | | . . . | . . . | . . . | |-----------+-----------+-----------| | . . . | . . . | . . . | | . XY . | . . . | . Y9 . | | . . . | . . . | . . . | +-----------------------------------+

The way I see it:

anywhere

Regards, Danny

by **lksudoku** » Sun Oct 17, 2010 5:39 pm

daj95376 wrote:If XY-Wing occurs first in the technique list, then having an APE anywhere is redundant.

XY-Wing occurs before APE and has lower rating

Having a higher level technique that generalizes a lower level technique is not surprising, and even expected

XY-chain also renders XY-wing redundant and there is nothing special about that

SE tries to find APE anywhere, that is how it was programmed; for rating purposes, since XY-wing will always be tried before APE, the above exmaple will be found as a XY-wing

daj95376 wrote:The only way r8c2 can combine with these two cells to perform r2c8<>9 is if r8c2=XY, a bivalue cell

EDIT: you are right, and that leads to another question which is, how come there is a rating software which rates XY-wing lower than APE, and yet finds an APE that is not in the same chute?

by **ronk** » Sun Oct 17, 2010 6:06 pm

I suggest we curtail the posting of hypothetical examples and concentrate on actual examples ... particularly those where Sudoku Explainer and PIsaacson's solver differ.

by **daj95376** » Sun Oct 17, 2010 7:27 pm

ronk wrote:I suggest we curtail the posting of hypothetical examples and concentrate on actual examples ... particularly those where Sudoku Explainer and PIsaacson's solver differ.

Well, since Paul is the only one with access to his experimental solver, that pretty much throws the rest of us out into the cold. Brrrrr ... and bye!

by **eleven** » Sun Oct 17, 2010 7:45 pm

ronk wrote:I suggest we curtail the posting of hypothetical examples and concentrate on actual examples ... particularly those where Sudoku Explainer and PIsaacson's solver differ.

Nevertheless i am interested in the APE/ATE definitions. So what about these hypothetical examples ?

Code: Select all: # -1X . . | 12 23 . . 14 . |. 45 . ------------------------- . . . | . #35 . # -1X . . | # 14 . # 23 . . |. 124 . ------------------------ 13 . . | . . . # -1X . . | # 14 . # 23 . . | 124 . ------------------------ 135 . . | . 45 .

by **PIsaacson** » Mon Oct 18, 2010 7:04 am

Mea Culpa,

My notes on the APE algorithm incorrectly stated that the only possibles were if the shared peers of the two target cells contained MORE than 2 potential elimination cells whereas the actual code is:

Code: Select all: // Build the list of common excluding cells for the base cells 'cells' Set<Cell> commonExcluders = new LinkedHashSet<Cell>(); commonExcluders.addAll(cellExcluders.get(cells[0])); commonExcluders.retainAll(cellExcluders.get(cells[1])); if (commonExcluders.size() >= 2) {

The ">= 2" exactly allows for the 2 target cells to be the corners of a remote rectangle - one not sharing any sectors, but having only the 2 opposite corners as potential excluders. I'll change the test and see if there are any extras caught by this. I"m also using the Type 2 (als[2]) excluders as described in http://www.sudokuwiki.org/Aligned_Pair_Exclusion for APE and an als[3] for ATE. This was an attempt to find the APEs that my als engine was locating and classifying as APEs on the assumption that all APEs are an alternative view of an ALS pattern - I read that somewhere, but can't remember the source other than the Sudopedia.

I'm nowhere near finished designing/coding, and with my current non-sudoku/programming activities I have no idea how long it will take to complete. This was supposed to be a team effort, but nobody volunteered to be the team leader, so I got impatient and starting assembling stuff I had previously used in various test projects. Anyway, it's on my x64 linux box running Fedora F13, so if any of you are very adventurous and want to try building it on Windows etc., send me private mail with your e-mail and I'll reply asap with the current source and a brief explanation of how to setup, compile and test it.

Cheers,
Paul

by **ronk** » Mon Oct 18, 2010 9:25 am

PIsaacson wrote:I'm nowhere near finished designing/coding, and with my current non-sudoku/programming activities I have no idea how long it will take to complete. This was supposed to be a team effort, but nobody volunteered to be the team leader, so I got impatient and starting assembling stuff I had previously used in various test projects.

Which Sudoku techniques have you included so far? Of those, which yield ER scores identical to Explainer?

I've been patiently waiting for someone to publish a "framework", a "starter program" with basic techniques, so that others might add higher level techniques in parallel. If you plan on "finishing designing/coding", what roles are left for others?

by **PIsaacson** » Mon Oct 18, 2010 10:44 am

Ron,

Here's a list of all the methods I have currently debugged and operational. The scoring of each method matches SE as closely as possible for a given position, but the driver code that calls them uses a different approach than SE.

Code: Select all: aligned_pair.cpp aligned_triple.cpp avoid_ur_type_1.cpp avoid_ur_type_2.cpp avoid_ur_type_3.cpp bug_type_1.cpp bug_type_2.cpp bug_type_3.cpp bug_type_4.cpp direct_claiming.cpp direct_hidden_pair.cpp direct_hidden_triple.cpp direct_pointing.cpp dynamic_chain.cpp dynamic_plus.cpp empty_rectangle.cpp forcing_chain.cpp full_house.cpp hidden_pair.cpp hidden_quad.cpp hidden_single.cpp hidden_single_box.cpp hidden_triple.cpp hidden_ur.cpp jellyfish.cpp locked_cands_t1.cpp locked_cands_t2.cpp medusa.cpp naked_pair.cpp naked_quad.cpp naked_single.cpp naked_triple.cpp nishio.cpp remote_pair.cpp skyscraper.cpp swordfish.cpp two_string_kite.cpp ur_loop_type_1.cpp ur_loop_type_2.cpp ur_loop_type_3.cpp ur_loop_type_4.cpp ur_type_1.cpp ur_type_2.cpp ur_type_3.cpp ur_type_4.cpp ur_type_5.cpp ur_type_6.cpp w_wing.cpp x_coloring.cpp x_cycle.cpp x_wing.cpp xy_chain.cpp xy_wing.cpp xyz_wing.cpp y_cycle.cpp

There are methods with no matching SE equivalent (w_wing for example), but these can be "skipped" by using an external configuration sudoku.ini file to specify which ones you want to use and which should be traced etc.

SE calls its methods in a strict order, but allows each to generate a multitude of potential eliminations/assignments. It then sorts all of these "hints" and selects the lowest scoring one to process next. After updating, it goes back to the very lowest level and starts again to see if anything is succesful.

I use an external file to specify the order, the base score and whether or not the method should exit upon generating N successful eliminations/assignments, or exit upon generating N naked/hidden singles, or stay and process all available. All chains use a depth limited BFS and the driver increases the depth upon each unsuccessful chain pass until it reaches a limit set by a runtime param. This pretty much eliminates the need to gather all the possible chains and then sort them by size to see which is the smallest.

The scores match really well for all the lower level stuff, but chains are tricky. I'm often finding shorter chains, but sometimes not and this is the area where I'm currently debugging and testing.

As for what's left for others... I'd say lots, but only if they want to code in C++ and use my framework for adding other solving techniques. If you want to play in my sandbox, you'll have to talk to me about the structure, calling conventions etc... I hadn't planned on documenting all of what's necessary in order to accomplish that, nor did I want to "take control" of this project. However, if anyone is truly interested in joining forces, then please send me a private message and I'd be more than happy to start exchanging ideas/code.

Cheers,
Paul

The New Sudoku Players' Forum

Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program

Re: Team project: C or C++ Explainer-like rating program