--- Showing last 200 of 647 lines --- [19:43:54.913] [NN-LEAD] adding conventional lead card(s) to the candidate set: D8 [19:43:54.913] [NN-LEAD] restricting opening-lead DDS to 5 candidate(s) (warm context) [19:43:55.472] --- IMP Calculation Input (aggregatedScores: card -> bridge scores per sample) --- [19:43:55.473] H2: [-630, -720, -720, -690, -660, -600, -660, -630, 100, 100, -630, -720, -630, -660, -690, -690, -660, -660, -660, -660, 100, -690, -630, -720, 100, -720, -690, -660, -690, -690, -720, -600, -660, 200, -660, -690, -660, -660, -660, -690, -690, -660, -630, -630, 100, -630, -660, -690, -660, 100, -720, -660, -600, -690, -660, -630, -690, -660, -660, -690, -720, -720, -660, -690, 100, -720, 200] [19:43:55.473] C3: [-630, -720, -720, -690, -660, -600, -660, -630, -660, -690, -630, -720, -630, -720, -690, -690, -660, -660, -630, -660, -600, -690, -630, -720, -660, -720, -720, -690, -690, -690, -720, -600, -690, -630, -720, -690, -660, -660, -630, -690, -690, -660, -630, -630, -660, -630, -630, -660, -660, -660, -720, -660, -600, -690, -720, -630, -690, -660, -660, -690, -720, -720, -630, -690, -660, -720, -630] [19:43:55.473] D3: [-660, -720, -720, -690, -660, -600, -690, -630, -660, -690, -630, -720, -630, -720, -690, -690, -660, -660, -660, -660, -600, -690, -630, -720, -660, -720, -720, -690, -690, -690, -720, -600, -690, -630, -720, -690, -660, -660, -630, -690, -690, -660, -630, -630, -660, -630, -630, -690, -600, -660, -720, -660, -600, -690, -720, -630, -690, -660, -660, -690, -720, -720, -660, -690, -660, -720, -630] [19:43:55.473] S4: [200, -660, -690, -660, -630, 100, -660, 300, -600, -690, -630, -720, 200, -720, -690, -660, -660, -660, -660, -630, 100, -660, -630, 400, 100, -690, -720, -690, -690, -690, -720, 100, -660, 200, -720, -690, 100, -660, -630, -690, -630, -660, -630, -630, -660, -630, 300, -690, -660, -660, -720, -660, 300, -630, -720, -630, -690, -660, -660, -690, 300, -720, -690, -690, -660, -690, 200] [19:43:55.473] D8: [-660, -720, -720, -690, -660, -600, -690, -630, -660, -690, -630, -720, -630, -720, -690, -690, -660, -660, -660, -660, -600, -690, -630, -720, -660, -720, -720, -690, -690, -690, -720, -600, -690, -630, -720, -690, -660, -660, -630, -690, -690, -660, -630, -630, -660, -630, -630, -690, -600, -660, -720, -660, -600, -690, -720, -630, -690, -660, -660, -690, -720, -720, -660, -690, -660, -720, -630] [19:43:55.473] --- IMP Calculation Input (aggregatedTricks: card -> trick counts per sample) --- [19:43:55.473] H2: [3, 0, 0, 1, 2, 4, 2, 3, 5, 5, 3, 0, 3, 2, 1, 1, 2, 2, 2, 2, 5, 1, 3, 0, 5, 0, 1, 2, 1, 1, 0, 4, 2, 6, 2, 1, 2, 2, 2, 1, 1, 2, 3, 3, 5, 3, 2, 1, 2, 5, 0, 2, 4, 1, 2, 3, 1, 2, 2, 1, 0, 0, 2, 1, 5, 0, 6] [19:43:55.473] C3: [3, 0, 0, 1, 2, 4, 2, 3, 2, 1, 3, 0, 3, 0, 1, 1, 2, 2, 3, 2, 4, 1, 3, 0, 2, 0, 0, 1, 1, 1, 0, 4, 1, 3, 0, 1, 2, 2, 3, 1, 1, 2, 3, 3, 2, 3, 3, 2, 2, 2, 0, 2, 4, 1, 0, 3, 1, 2, 2, 1, 0, 0, 3, 1, 2, 0, 3] [19:43:55.473] D3: [2, 0, 0, 1, 2, 4, 1, 3, 2, 1, 3, 0, 3, 0, 1, 1, 2, 2, 2, 2, 4, 1, 3, 0, 2, 0, 0, 1, 1, 1, 0, 4, 1, 3, 0, 1, 2, 2, 3, 1, 1, 2, 3, 3, 2, 3, 3, 1, 4, 2, 0, 2, 4, 1, 0, 3, 1, 2, 2, 1, 0, 0, 2, 1, 2, 0, 3] [19:43:55.473] S4: [6, 2, 1, 2, 3, 5, 2, 7, 4, 1, 3, 0, 6, 0, 1, 2, 2, 2, 2, 3, 5, 2, 3, 8, 5, 1, 0, 1, 1, 1, 0, 5, 2, 6, 0, 1, 5, 2, 3, 1, 3, 2, 3, 3, 2, 3, 7, 1, 2, 2, 0, 2, 7, 3, 0, 3, 1, 2, 2, 1, 7, 0, 1, 1, 2, 1, 6] [19:43:55.473] D8: [2, 0, 0, 1, 2, 4, 1, 3, 2, 1, 3, 0, 3, 0, 1, 1, 2, 2, 2, 2, 4, 1, 3, 0, 2, 0, 0, 1, 1, 1, 0, 4, 1, 3, 0, 1, 2, 2, 3, 1, 1, 2, 3, 3, 2, 3, 3, 1, 4, 2, 0, 2, 4, 1, 0, 3, 1, 2, 2, 1, 0, 0, 2, 1, 2, 0, 3] [19:43:55.474] --- IMP Calculation Output (card -> average IMP) --- [19:43:55.474] S4: 3.57 [19:43:55.474] H2: -0.10 [19:43:55.474] C3: -1.07 [19:43:55.474] D3: -1.20 [19:43:55.474] D8: -1.20 [19:43:55.474] Opening lead IMP analysis: [19:43:55.475] [LEAD] Partner bid Spades -- adding reward +0.500 to all cards in that suit [19:43:55.475] [LEAD] Engine choice S4 is conventional: Singleton - lead it [19:43:55.475] Selected lead: S4 (score: 4.070 IMPs) [19:43:55.475] [stage-timing] opening-lead sample=462ms validate=0ms nn=0ms signal=0ms simgames=3ms dds=563ms total=1032ms samples=67 [19:43:55.475] === FindBestCardAsync: Position=N, CardsPlayed=0 === [19:43:55.475] Finding opening lead... [19:43:55.475] Hand: 4.JT642.T83.7543 [19:43:55.475] Contract: 3NT [19:43:55.476] Candidate: xH = 31.0 % [19:43:55.477] Candidate: xC = 30.6 % [19:43:55.477] Candidate: xD = 17.3 % [19:43:55.477] Candidate: xS = 10.2 % [19:43:55.477] Candidate: JH = 10.0 % [19:43:55.477] Candidate: TD = 0.9 % [19:43:55.477] Candidate: 8D = 0.1 % [19:43:55.477] Candidate: TH = 0.0 % [19:43:55.477] Selected lead: H2 (31.0 %) -- 1 tied === Board lead (API) - DDS Engine (N) - 2026-08-29 19:45:44 === === Board lead (API) - Neural Network Engine (N) - 2026-08-29 19:45:44 === [19:45:44.650] === FindBestCardAsync: Position=N, CardsPlayed=0 === [19:45:44.650] Contract: 3C, Declarer: W, Dealer: N [19:45:44.650] Auction: P-P-2S-X-P-2N-P-3C-P-P-P [19:45:44.650] Deal: N:... ... ... ... [19:45:44.650] Position N is on defender's side - score table shifted by 0 defense tricks won [19:45:44.650] ****************************** [19:45:44.650] FindMatchingDealsWithPlayInternal Input: [19:45:44.650] Position parameter: N [19:45:44.650] Deal from game: N:... ... ... ... [19:45:44.650] Hand for N: K4.QJT5.J743.T95 [19:45:44.650] Hand for E: (null) [19:45:44.650] Hand for S: (null) [19:45:44.650] Hand for W: (null) [19:45:44.650] Cards played: [19:45:44.651] Declarer: W [19:45:44.651] ****************************** [19:45:44.651] [DealFinder] Seed from player N hand: -2001493909 [19:45:44.651] [DealFinder] Auction: P-P-2S-X-P-2N-P-3C-P-P-P [19:45:44.651] [DealFinder] Explained bid N P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [19:45:44.652] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [19:45:44.652] [DealFinder] Explained bid S 2S: "Weak two major, HCP <= 11, S = 6, HCP > 4, BestSuit(S), LoserLevel >= 2, SpadePoints >= 6, H <= 4, RuleOf < 21, 2 of Top 3 Honors in S, H <= 3" -> require: (none) [19:45:44.653] [DealFinder] Explained bid W X: "Overcalling Weak 2Ma Opening, HCP >= 18, HCP >= 13, H >= 4, C >= 2, D >= 2, S <= 3, HCP >= 15, H >= 3, DoubleThenOvercall(C), DoubleThenOvercall(D)" -> require: (none) [19:45:44.653] [DealFinder] Explained bid N P: "Responses to 2Ma-PX, NOT (CombinedHcpMin >= 25 OR IsGameForcing OR TwoOpenersGame)" -> require: (none) [19:45:44.654] [DealFinder] Explained bid E 2N: "Artificial - Lebensohl2HS, HCP >= 9, Stopper in S, HCP <= 8" -> require: (none) [19:45:44.654] [DealFinder] Explained bid S P: "Passable situations - Preemptive offensive, True" -> require: (none) [19:45:44.654] [DealFinder] Explained bid W 3C: "Responses to 2Ma-P-P-X-P-2N-P, HCP <= 17" -> require: (none) [19:45:44.655] [DealFinder] Explained bid N P: "Responses to 2Ma-X-P-2N-P-3C, Responses to 2Ma-PX-P-2N-P-3Mi, True" -> require: (none) [19:45:44.655] [DealFinder] Explained bid E P: "Responses to 2Ma-X-P-2N-P-3C-PX, BestMinor(C), HCP <= 8" -> require: (none) [19:45:44.655] [DealFinder] Explained bid S P: "Offensive bidding when our side has passed twice - after preempt, True" -> require: (none) [19:45:44.668] [DealFinder] N HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction). [19:45:44.668] [DealFinder] N constraints: HCP[0-11], Suits=(none), Trivial=False [19:45:44.668] [DealFinder] Expression (5681 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &... [19:45:44.669] [Timing] N precompute: 13ms mem d=254KB (total=1497MB) [19:45:44.678] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction). [19:45:44.679] [DealFinder] E constraints: HCP[0-8], Suits=(none), Trivial=False [19:45:44.679] [DealFinder] Expression (5003 chars): HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (C >= 9 & TP >= 32) & NOT (D >= 9 & TP >= 32) & NOT (H >= 9 & TP >= 32) & NOT (S >= 9 & TP >= 32) & NOT (Balanced & HCP >= 33 & HCP <= 34) & NOT (C >= 9 & HCP >= 31 & TP >= 35) & NOT (D >= 9 & HCP >= 31 & TP >= 35) & NOT (H >= 9 & HCP >= 31 & TP >= 35) & NOT (S >= 9 & HCP >= 31 & TP >= 35) & NOT (Balanced & HCP >= 36 & TP >= 35) & NOT (HCP >= 12 & HCP <= 21 &... [19:45:44.679] [Timing] E precompute: 10ms mem d=241KB (total=1497MB) [19:45:44.685] [DealFinder] S HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction). [19:45:44.685] [DealFinder] S constraints: HCP[6-11], Suits=S[6-6] H[0-4], Trivial=False [19:45:44.685] [DealFinder] Expression (2873 chars): ((HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & LoserLevel >= 2 & SpadePoints >= 6 & H <= 4 & RuleOf < 21 & HCP >= 6) OR (HCP <= 11 & S = 6 & HCP > 4 & BestSuit(S) & 2 of Top 3 Honors in S & H <= 3 & RuleOf < 21 & HCP >= 6)) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (D >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & S <= 4) & NOT (H >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3 & S <= 4 & RuleOf < 21) & NOT (S >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4) & NOT (S >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3 & H <= 4 & RuleOf < 21) & NOT (C >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 3 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (D >= 7 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4 & S <= 4 & RuleOf < 21) & NOT (H >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (H >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & S <= 4) & NOT (S >= 8 & HCP >= 5 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (S >= 7 & HCP >= 9 & HCP <= 11 & LoserLevel >= 4 & H <= 4) & NOT (C >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (D >= 8 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4 & S <= 4) & NOT (H >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & S <= 4) & NOT (S >= 9 & HCP >= 6 & HCP <= 11 & LoserLevel >= 5 & H <= 4) & NOT (HCP >= 12 & HCP <= 21 & (DiamondLongest OR ExplicitShape = 4=4=3=2)) & NOT (HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) & NOT (HCP >= 12 & HCP <= 21 ... [19:45:44.685] [Timing] S precompute: 6ms mem d=205KB (total=1498MB) [19:45:44.687] [DealFinder] W HCP min 16 -> 13: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction). [19:45:44.687] [DealFinder] W HCP min: tightened from 0 to 13 using HandUnderstanding [19:45:44.687] [DealFinder] W constraints: HCP[13-17], Suits=(none), Trivial=False [19:45:44.687] [DealFinder] Expression (1097 chars): (DoubleThenOvercall(C) OR DoubleThenOvercall(D) OR HCP >= 18 OR (HCP >= 13 & H >= 4 & C >= 2 & D >= 2 & S <= 3) OR (HCP >= 15 & H >= 3 & S <= 3)) & NOT (H >= 6 & Losers <= 4 & HCP >= 15 & 3 of Top 5 Honors in H) & NOT (H >= 7 & HeartPoints >= 18 & Losers <= 4) & NOT (D >= 5 & C >= 5 & Losers <= 4 & HCP >= 17) & NOT (D >= 5 & C >= 5 & LoserLevel >= 4 & HCP >= 12) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (HCP >= 16 & HCP <= 18 & balish & Stopper in S) & NOT (HCP >= 19 & HCP <= 24 & balish & Stopper in S) & NOT (HCP >= 20 & HCP <= 24 & S >= 4 & Stopper in S) & NOT (BestMinor(C) & C >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (BestMinor(D) & D >= 7 & HCP >= 19 & Single Suited & Losers >= 3) & NOT (H >= 5 & (D >= 5 OR C >= 5) & LoserLevel >= 3 & HCP >= 12) & HCP <= 17 & NOT DoubleThenOvercall(D) & HCP < 18 & NOT DoubleThenOvercall(H) & NOT (HCP >= 20 & Stopper in S) & NOT (HCP >= 18 & Stopper in S & H <= 2) [19:45:44.687] [Timing] W precompute: 2ms mem d=112KB (total=1498MB) [19:45:44.687] [DealFinder] S HCP min 6 -> 9: restored 3 of PRIVATE floor -- we ARE N, the seat whose own cards produced it. [19:45:44.688] [Timing] Pre-computation (constraints): 36ms mem d=2MB (total=1498MB, gc2=18) [19:45:44.688] [DealFinder] Using cardsPlayedCount=0 for visibility calculation [19:45:44.688] [ExtractPartialDeal] Position=N, Declarer=W, CardsPlayed=0 [19:45:44.688] [ExtractPartialDeal] Visible hands: N [19:45:44.688] [ExtractPartialDeal] Input deal: N:... ... ... ... [19:45:44.688] [ExtractPartialDeal] Extracted hands: [19:45:44.688] N: K4.QJT5.J743.T95 (13 cards) [LOCKED] [19:45:44.688] E: ... (0 cards) [19:45:44.688] S: ... (0 cards) [19:45:44.688] W: ... (0 cards) [19:45:44.688] [DecomposePartnership] S: No tightening (CombinedHcpMin=6, CombinedHcpMax=, partner N HCP=7) [19:45:44.688] [DealFinder] Bid verification enabled for: W [19:45:44.688] [DealFinder] Propagated E: HCP[5-8], Suits=S[0-5] H[0-9] D[0-9] C[0-10] (2 iterations) [19:45:44.688] [DealFinder] Propagated S: HCP[9-11], Suits=S[6-6] H[0-4] D[0-9] C[0-10] (2 iterations) [19:45:44.688] [DealFinder] Propagated W: HCP[14-17], Suits=S[0-5] H[0-9] D[0-9] C[0-10] (2 iterations) [19:45:44.689] [DealFinder] Known cards per player: N=13, E=0, S=0, W=0 [19:45:44.689] [DealFinder] Locked players: N [19:45:44.689] [DealFinder] Total known cards: 13, Remaining deck: 39, Cards to deal: 39 [19:45:44.689] [DealFinder] Players needing cards: E:13, S:13, W:13 [19:45:44.689] Large number of cards remaining. Using random generation. [19:45:44.689] [DealFinder] Hands to validate (not 13 cards in partial): E, S, W [19:45:44.689] [VerifyHands] FAIL for E: AT6.A986.6.KJ432 (HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & R...) [19:45:44.691] [VerifyHands] FAIL for E: 8.82.AT862.K8764 (HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & R...) [19:45:44.693] [VerifyHands] FAIL for E: 63.A97432.AQ6.87 (HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & R...) [19:45:44.695] [VerifyHands] FAIL for E: T5.A.AT62.J87432 (HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & R...) [19:45:44.699] [VerifyHands] FAIL for E: J85.2.AKT852.Q42 (HCP < 12 & RuleOf < 21 & NOT (C >= 7 & HCP >= 5 & HCP <= 11 & TP >= 6 & RuleOf < 21 & H <= 4 & S <= 4) & NOT (C >= 7 & HCP >= 5 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3 & H <= 4 & S <= 4 & R...) [19:45:45.214] [DealFinder] Bid verification disabled after 200 calls / 1 passes (pass rate too low) -- accepting constraint-satisfying deals instead. [19:45:47.988] [Timing] Total: 3336ms, Generation: 1058ms, Verification: 1691ms [19:45:47.988] [Timing] Attempts: 53569, PassedSimpleCheck: 23210, FailedVerification: 23110, Found: 100 [19:45:48.026] Search complete. Returning 100 deals. [19:45:48.026] Found 100 sample deals for simulation. [19:45:48.026] Valid deals for DDS: 100 / 100 [19:45:48.026] [SAMPLE-VAL] No cards played -- skipping validation [19:45:48.026] After sample validation: 100 deals remaining [19:45:48.027] [PLAY-INFER] No observed play -- skipping [19:45:48.027] Using weighted samples: 7/100 have non-uniform weights (range 0.450-1.000) [19:45:48.027] Sample deals (100 total, showing first 20, by weight): [19:45:48.027] [1] (w=1.000) N:K4.QJT5.J743.T95 32.642.Q86.KQJ73 AQ9876.93.K95.86 JT5.AK87.AT2.A42 [19:45:48.027] [2] (w=1.000) N:K4.QJT5.J743.T95 A763.74.852.KJ62 QJT982.K863.KT.7 5.A92.AQ96.AQ843 [19:45:48.027] [3] (w=1.000) N:K4.QJT5.J743.T95 J72.K2.T86.KJ632 QT9853.98.K5.AQ8 A6.A7643.AQ92.74 [19:45:48.027] [4] (w=1.000) N:K4.QJT5.J743.T95 653.943.A9.J7632 AQJT72.A76.T86.8 98.K82.KQ52.AKQ4 [19:45:48.027] [5] (w=1.000) N:K4.QJT5.J743.T95 Q9.9643.A95.J764 AJT762.82.KQ82.8 853.AK7.T6.AKQ32 [19:45:48.027] [6] (w=1.000) N:K4.QJT5.J743.T95 875.K976.KT8.J82 AQJ632.82.96.A43 T9.A43.AQ52.KQ76 [19:45:48.027] [7] (w=1.000) N:K4.QJT5.J743.T95 QT7.A764.T5.J432 A98652.3.K962.K8 J3.K982.AQ8.AQ76 [19:45:48.027] [8] (w=1.000) N:K4.QJT5.J743.T95 532.K942.K2.J764 AQ9876.86.A985.2 JT.A73.QT6.AKQ83 [19:45:48.027] [9] (w=1.000) N:K4.QJT5.J743.T95 JT.982.AT65.8632 AQ7532.743.92.KQ 986.AK6.KQ8.AJ74 [19:45:48.027] [10] (w=1.000) N:K4.QJT5.J743.T95 T97.63.KQ92.K763 AQJ652.K42.T86.2 83.A987.A5.AQJ84 [19:45:48.028] [11] (w=1.000) N:K4.QJT5.J743.T95 JT52.9876..AQJ86 AQ8763.4.KT982.7 9.AK32.AQ65.K432 [19:45:48.028] [12] (w=1.000) N:K4.QJT5.J743.T95 873.A972.52.K832 AJ9652.63.KQ86.4 QT.K84.AT9.AQJ76 [19:45:48.028] [13] (w=1.000) N:K4.QJT5.J743.T95 A87.K942.T9.J843 QT6532.6.A82.KQ7 J9.A873.KQ65.A62 [19:45:48.028] [14] (w=1.000) N:K4.QJT5.J743.T95 J82.A764.T62.K76 AT7653..K85.QJ43 Q9.K9832.AQ9.A82 [19:45:48.028] [15] (w=1.000) N:K4.QJT5.J743.T95 T92.9842.AT9.QJ4 AQJ876..K865.832 53.AK763.Q2.AK76 [19:45:48.028] [16] (w=1.000) N:K4.QJT5.J743.T95 75.7643.A52.KJ42 AQT863.9.T986.A6 J92.AK82.KQ.Q873 [19:45:48.028] [17] (w=1.000) N:K4.QJT5.J743.T95 J932.K42.T.A8432 AQ8765.83.Q96.K6 T.A976.AK852.QJ7 [19:45:48.028] [18] (w=1.000) N:K4.QJT5.J743.T95 T62.84.KT62.AJ74 AQ9875.K76.85.Q8 J3.A932.AQ9.K632 [19:45:48.028] [19] (w=1.000) N:K4.QJT5.J743.T95 A962.8642.Q2.862 QJT875.9.K965.A3 3.AK73.AT8.KQJ74 [19:45:48.028] [20] (w=1.000) N:K4.QJT5.J743.T95 32.K62.Q865.7632 AQJ865.A98.T2.84 T97.743.AK9.AKQJ [19:45:48.028] ... and 80 more [19:45:48.033] [NN-LEAD] top4 candidates: QH=58 %, TC=22 %, xD=17 %, KS=1 % [19:45:48.033] [NN-LEAD] adding conventional lead card(s) to the candidate set: C9, C5, D7, D4 [19:45:48.033] [NN-LEAD] restricting opening-lead DDS to 8 candidate(s) (warm context) [19:45:51.191] --- IMP Calculation Input (aggregatedScores: card -> bridge scores per sample) --- [19:45:51.191] HQ: [-110, -150, 50, -130, -110, -110, -130, -110, -110, -150, -150, -110, 100, 150, 50, -110, -130, -130, -110, 100, -110, -110, -110, -170, -130, -110, -130, -130, -130, -110, 100, -110, -110, -110, -110, -110, -130, -130, -110, -130, 50, -110, -110, -110, -110, 50, -130, -110, -130, -110, -130, -150, 50, -110, -170, 100, 150, -150, -110, -130, -130, -110, -130, -130, 50, -110, 100, -110, 150, -110, -110, -130, -130, 50, -110, 50, -110, -110, -150, 150, 50, -130, -110, -130, -150, 100, 150, 50, -110, -130, 50, 50, 100, -130, -130, -130, -170, -150, -150, 50] [19:45:51.191] CT: [-110, -170, 100, -130, -110, -110, -130, -110, -110, -150, -130, -110, 100, 150, 50, -110, -110, -130, -110, 50, -110, -110, -110, -150, -130, -110, -130, -130, -150, -110, 50, -110, -130, -110, -110, -130, -130, -130, -110, -130, -110, -110, -110, -110, -110, 50, -130, -110, -130, -110, -130, -150, 50, -110, -170, 50, 200, -150, -110, -130, -130, 50, -150, -130, 50, -110, 150, -110, 100, -130, -110, -130, -150, 50, -110, 100, -110, -110, -130, 100, 50, -130, -150, -130, -150, 150, 150, 50, -110, -110, -110, -110, 50, -130, -110, -130, -170, -150, -130, 100] [19:45:51.191] D3: [-130, -170, 50, -130, -110, -110, -130, -110, -110, -150, -150, -110, 100, 150, 50, -110, -130, -130, -130, 50, -110, -110, -130, -170, -130, -110, -130, -130, -150, -110, 100, -130, -130, -130, -110, -110, -130, -130, -110, -130, -110, -110, -110, -110, -110, -110, -130, -110, -130, -110, -130, -150, 50, -110, -170, 50, 100, -150, -110, -130, -130, -110, -150, -130, 50, 50, 100, 50, 100, -130, -110, -130, -130, 50, -110, -110, -110, -110, -130, 100, 50, -130, -110, -130, -130, 100, 150, 50, -130, -110, 50, -110, 100, -130, -110, -130, -170, -150, -130, -110] [19:45:51.191] SK: [-110, -170, 100, -130, -110, 50, -110, -110, -110, -130, -130, -110, 100, 150, 50, -110, -130, -110, -110, 100, -110, -110, -130, -170, -130, -110, 50, -130, -130, -110, 100, -110, -130, -110, -110, -110, -130, -130, -110, -130, -110, -110, -110, -110, -110, -110, -130, -110, -130, -110, -130, -150, 50, -110, -170, 50, 150, -130, 50, -130, -130, -110, -130, -130, 50, 50, 100, -110, 150, 50, -110, -130, -150, 50, -110, 100, -110, -110, -130, 150, 50, -130, -110, -130, -150, 100, 150, 50, -110, -110, 50, -110, 100, -130, -110, -110, -150, -150, -130, 100] [19:45:51.191] C9: [-110, -170, 100, -130, -110, -110, -130, -110, -110, -150, -130, -110, 100, 150, 50, -110, -110, -130, -110, 50, -110, -110, -110, -150, -130, -110, -130, -130, -150, -110, 50, -110, -130, -110, -110, -130, -130, -130, -110, -130, -110, -110, -110, -110, -110, 50, -130, -110, -130, -110, -130, -150, 50, -110, -170, 50, 200, -150, -110, -130, -130, 50, -150, -130, 50, -110, 150, -110, 100, -130, -110, -130, -150, 50, -110, 100, -110, -110, -130, 100, 50, -130, -150, -130, -150, 150, 150, 50, -110, -110, -110, -110, 50, -130, -110, -130, -170, -150, -130, 100] [19:45:51.192] C5: [-110, -170, 100, -130, -110, -110, -130, -110, -110, -150, -130, -110, 100, 150, 50, -110, -110, -130, -110, 50, -110, -110, -110, -150, -130, -110, -130, -130, -150, -110, 50, -110, -130, -110, -110, -130, -130, -130, -110, -130, -110, -110, -110, -110, -110, 50, -130, -110, -130, -130, -130, -150, 50, -110, -170, 50, 200, -150, -110, -130, -130, 50, -150, -130, -110, -110, 150, -110, 100, -130, -110, -130, -150, 50, -110, 100, -110, -110, -130, 100, 50, -130, -150, -130, -150, 150, 150, 50, -110, -110, -110, -110, 50, -130, -110, -130, -170, -150, -130, -110] [19:45:51.192] D7: [-130, -170, 50, -130, -110, -110, -130, -110, -110, -150, -150, -110, 100, 150, 50, -110, -130, -130, -130, 50, -110, -110, -130, -170, -130, -110, -130, -130, -150, -110, 100, -130, -130, -130, -110, -110, -130, -130, -110, -150, -110, -110, -110, -110, -110, -110, -130, -110, -130, -110, -130, -150, 50, -110, -170, 50, 100, -150, -110, -130, -130, -110, -150, -130, 50, 50, 100, 50, 100, -130, -110, -130, -130, 50, -110, -110, -110, -110, -130, 100, 50, -130, -110, -130, -130, 100, 150, 50, -130, -110, 50, -110, 100, -130, -110, -130, -170, -150, -130, -110] [19:45:51.192] D4: [-130, -170, 50, -130, -110, -110, -130, -110, -110, -150, -150, -110, 100, 150, 50, -110, -130, -130, -130, 50, -110, -110, -130, -170, -130, -110, -130, -130, -150, -110, 100, -130, -130, -130, -110, -110, -130, -130, -110, -130, -110, -110, -110, -110, -110, -110, -130, -110, -130, -110, -130, -150, 50, -110, -170, 50, 100, -150, -110, -130, -130, -110, -150, -130, 50, 50, 100, 50, 100, -130, -110, -130, -130, 50, -110, -110, -110, -110, -130, 100, 50, -130, -110, -130, -130, 100, 150, 50, -130, -110, 50, -110, 100, -130, -110, -130, -170, -150, -130, -110] [19:45:51.192] --- IMP Calculation Input (aggregatedTricks: card -> trick counts per sample) --- [19:45:51.192] HQ: [4, 2, 5, 3, 4, 4, 3, 4, 4, 2, 2, 4, 6, 7, 5, 4, 3, 3, 4, 6, 4, 4, 4, 1, 3, 4, 3, 3, 3, 4, 6, 4, 4, 4, 4, 4, 3, 3, 4, 3, 5, 4, 4, 4, 4, 5, 3, 4, 3, 4, 3, 2, 5, 4, 1, 6, 7, 2, 4, 3, 3, 4, 3, 3, 5, 4, 6, 4, 7, 4, 4, 3, 3, 5, 4, 5, 4, 4, 2, 7, 5, 3, 4, 3, 2, 6, 7, 5, 4, 3, 5, 5, 6, 3, 3, 3, 1, 2, 2, 5] [19:45:51.192] CT: [4, 1, 6, 3, 4, 4, 3, 4, 4, 2, 3, 4, 6, 7, 5, 4, 4, 3, 4, 5, 4, 4, 4, 2, 3, 4, 3, 3, 2, 4, 5, 4, 3, 4, 4, 3, 3, 3, 4, 3, 4, 4, 4, 4, 4, 5, 3, 4, 3, 4, 3, 2, 5, 4, 1, 5, 8, 2, 4, 3, 3, 5, 2, 3, 5, 4, 7, 4, 6, 3, 4, 3, 2, 5, 4, 6, 4, 4, 3, 6, 5, 3, 2, 3, 2, 7, 7, 5, 4, 4, 4, 4, 5, 3, 4, 3, 1, 2, 3, 6] [19:45:51.192] D3: [3, 1, 5, 3, 4, 4, 3, 4, 4, 2, 2, 4, 6, 7, 5, 4, 3, 3, 3, 5, 4, 4, 3, 1, 3, 4, 3, 3, 2, 4, 6, 3, 3, 3, 4, 4, 3, 3, 4, 3, 4, 4, 4, 4, 4, 4, 3, 4, 3, 4, 3, 2, 5, 4, 1, 5, 6, 2, 4, 3, 3, 4, 2, 3, 5, 5, 6, 5, 6, 3, 4, 3, 3, 5, 4, 4, 4, 4, 3, 6, 5, 3, 4, 3, 3, 6, 7, 5, 3, 4, 5, 4, 6, 3, 4, 3, 1, 2, 3, 4] [19:45:51.192] SK: [4, 1, 6, 3, 4, 5, 4, 4, 4, 3, 3, 4, 6, 7, 5, 4, 3, 4, 4, 6, 4, 4, 3, 1, 3, 4, 5, 3, 3, 4, 6, 4, 3, 4, 4, 4, 3, 3, 4, 3, 4, 4, 4, 4, 4, 4, 3, 4, 3, 4, 3, 2, 5, 4, 1, 5, 7, 3, 5, 3, 3, 4, 3, 3, 5, 5, 6, 4, 7, 5, 4, 3, 2, 5, 4, 6, 4, 4, 3, 7, 5, 3, 4, 3, 2, 6, 7, 5, 4, 4, 5, 4, 6, 3, 4, 4, 2, 2, 3, 6] [19:45:51.192] C9: [4, 1, 6, 3, 4, 4, 3, 4, 4, 2, 3, 4, 6, 7, 5, 4, 4, 3, 4, 5, 4, 4, 4, 2, 3, 4, 3, 3, 2, 4, 5, 4, 3, 4, 4, 3, 3, 3, 4, 3, 4, 4, 4, 4, 4, 5, 3, 4, 3, 4, 3, 2, 5, 4, 1, 5, 8, 2, 4, 3, 3, 5, 2, 3, 5, 4, 7, 4, 6, 3, 4, 3, 2, 5, 4, 6, 4, 4, 3, 6, 5, 3, 2, 3, 2, 7, 7, 5, 4, 4, 4, 4, 5, 3, 4, 3, 1, 2, 3, 6] [19:45:51.192] C5: [4, 1, 6, 3, 4, 4, 3, 4, 4, 2, 3, 4, 6, 7, 5, 4, 4, 3, 4, 5, 4, 4, 4, 2, 3, 4, 3, 3, 2, 4, 5, 4, 3, 4, 4, 3, 3, 3, 4, 3, 4, 4, 4, 4, 4, 5, 3, 4, 3, 3, 3, 2, 5, 4, 1, 5, 8, 2, 4, 3, 3, 5, 2, 3, 4, 4, 7, 4, 6, 3, 4, 3, 2, 5, 4, 6, 4, 4, 3, 6, 5, 3, 2, 3, 2, 7, 7, 5, 4, 4, 4, 4, 5, 3, 4, 3, 1, 2, 3, 4] [19:45:51.192] D7: [3, 1, 5, 3, 4, 4, 3, 4, 4, 2, 2, 4, 6, 7, 5, 4, 3, 3, 3, 5, 4, 4, 3, 1, 3, 4, 3, 3, 2, 4, 6, 3, 3, 3, 4, 4, 3, 3, 4, 2, 4, 4, 4, 4, 4, 4, 3, 4, 3, 4, 3, 2, 5, 4, 1, 5, 6, 2, 4, 3, 3, 4, 2, 3, 5, 5, 6, 5, 6, 3, 4, 3, 3, 5, 4, 4, 4, 4, 3, 6, 5, 3, 4, 3, 3, 6, 7, 5, 3, 4, 5, 4, 6, 3, 4, 3, 1, 2, 3, 4] [19:45:51.192] D4: [3, 1, 5, 3, 4, 4, 3, 4, 4, 2, 2, 4, 6, 7, 5, 4, 3, 3, 3, 5, 4, 4, 3, 1, 3, 4, 3, 3, 2, 4, 6, 3, 3, 3, 4, 4, 3, 3, 4, 3, 4, 4, 4, 4, 4, 4, 3, 4, 3, 4, 3, 2, 5, 4, 1, 5, 6, 2, 4, 3, 3, 4, 2, 3, 5, 5, 6, 5, 6, 3, 4, 3, 3, 5, 4, 4, 4, 4, 3, 6, 5, 3, 4, 3, 3, 6, 7, 5, 3, 4, 5, 4, 6, 3, 4, 3, 1, 2, 3, 4] [19:45:51.193] --- IMP Calculation Output (card -> average IMP) --- [19:45:51.193] SK: 0.35 [19:45:51.193] HQ: 0.16 [19:45:51.193] CT: 0.01 [19:45:51.193] C9: 0.01 [19:45:51.193] C5: -0.07 [19:45:51.193] D3: -0.15 [19:45:51.194] D4: -0.15 [19:45:51.194] D7: -0.16 [19:45:51.194] Opening lead IMP analysis: [19:45:51.194] [LEAD] Partner bid Spades -- adding reward +0.500 to all cards in that suit [19:45:51.194] [LEAD] Engine choice SK is conventional: Hx doubleton - lead honor vs suit [19:45:51.194] Selected lead: SK (score: 0.850 IMPs) [19:45:51.194] [stage-timing] opening-lead sample=3376ms validate=0ms nn=0ms signal=0ms simgames=2ms dds=3162ms total=6544ms samples=100 [19:45:51.195] === FindBestCardAsync: Position=N, CardsPlayed=0 === [19:45:51.195] Finding opening lead... [19:45:51.195] Hand: K4.QJT5.J743.T95 [19:45:51.195] Contract: 3C [19:45:51.196] Candidate: QH = 58.2 % [19:45:51.196] Candidate: TC = 21.7 % [19:45:51.196] Candidate: xD = 17.4 % [19:45:51.196] Candidate: KS = 1.2 % [19:45:51.196] Candidate: xC = 0.6 % [19:45:51.196] Candidate: xH = 0.4 % [19:45:51.196] Candidate: xS = 0.2 % [19:45:51.197] Candidate: JD = 0.1 % [19:45:51.197] Candidate: 9C = 0.0 % [19:45:51.197] Candidate: JH = 0.0 % [19:45:51.197] Candidate: TH = 0.0 % [19:45:51.197] Selected lead: HQ (58.2 %)