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

Programs which generate, solve, and analyze Sudoku puzzles

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

Postby 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()
Red Ed
 
Posts: 633
Joined: 06 June 2005

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

Postby 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
PIsaacson
 
Posts: 249
Joined: 02 July 2008

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

Postby 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
champagne
2017 Supporter
 
Posts: 5744
Joined: 02 August 2007
Location: France Brittany

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

Postby 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 
champagne
2017 Supporter
 
Posts: 5744
Joined: 02 August 2007
Location: France Brittany

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

Postby 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.
ronk
2012 Supporter
 
Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

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

Postby 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
PIsaacson
 
Posts: 249
Joined: 02 July 2008

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

Postby 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
lksudoku
 
Posts: 90
Joined: 06 October 2010

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

Postby 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:

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

    If XY-Wing occurs first in the technique list, then having an APE anywhere is redundant.
Regards, Danny
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

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

Postby 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?
Last edited by lksudoku on Tue Oct 19, 2010 8:22 am, edited 1 time in total.
lksudoku
 
Posts: 90
Joined: 06 October 2010

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

Postby 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.
ronk
2012 Supporter
 
Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

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

Postby 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!
daj95376
2014 Supporter
 
Posts: 2624
Joined: 15 May 2006

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

Postby 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  .
eleven
 
Posts: 1581
Joined: 10 February 2008

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

Postby 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
PIsaacson
 
Posts: 249
Joined: 02 July 2008

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

Postby 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?
ronk
2012 Supporter
 
Posts: 4764
Joined: 02 November 2005
Location: Southeastern USA

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

Postby 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
PIsaacson
 
Posts: 249
Joined: 02 July 2008

PreviousNext

Return to Software