--- Showing last 200 of 1242 lines --- [22:43:59.025] D9: [5, 4, 4, 3, 5, 4, 4, 4, 2, 7, 5, 4, 4, 4, 3, 4, 5, 5, 4, 5, 4, 4, 5, 4, 5, 6, 6, 4, 5, 4, 4, 6, 4, 4, 4, 4, 5, 5, 3, 3, 5, 5, 8, 6, 5, 4, 5, 4, 7, 5, 5, 6, 6, 5, 4, 6, 6, 6, 6, 4, 7, 6, 4, 5, 6, 5, 6, 5, 5, 4, 5, 3, 4] [22:43:59.025] S8: [4, 3, 5, 4, 5, 3, 4, 4, 3, 4, 5, 4, 6, 4, 3, 6, 4, 4, 4, 4, 5, 5, 4, 4, 5, 7, 6, 5, 4, 4, 5, 5, 5, 4, 5, 4, 5, 5, 3, 3, 6, 5, 8, 6, 4, 5, 5, 6, 5, 5, 5, 6, 6, 4, 6, 6, 6, 6, 6, 4, 8, 6, 4, 5, 3, 6, 5, 5, 6, 6, 5, 6, 5] [22:43:59.026] --- IMP Calculation Output (card -> average IMP) --- [22:43:59.026] S5: 0.41 [22:43:59.026] S8: 0.41 [22:43:59.026] C2: 0.40 [22:43:59.026] D8: -0.35 [22:43:59.026] D9: -0.35 [22:43:59.026] H4: -0.52 [22:43:59.026] Opening lead IMP analysis: [22:43:59.027] [LEAD] Engine choice S5 is conventional: Hxx+ - lead 4th best vs NT [22:43:59.027] Selected lead: S5 (score: 0.410 IMPs) [22:43:59.027] [stage-timing] opening-lead sample=6406ms validate=0ms nn=0ms signal=0ms simgames=2ms dds=2588ms total=9000ms samples=73 [22:43:59.027] === FindBestCardAsync: Position=W, CardsPlayed=0 === [22:43:59.027] Finding opening lead... [22:43:59.027] Hand: K85.764.K98.T872 [22:43:59.027] Contract: 3NT [22:43:59.028] Candidate: xC = 34.5 % [22:43:59.029] Candidate: xH = 26.6 % [22:43:59.029] Candidate: 8D = 15.9 % [22:43:59.029] Candidate: xS = 14.9 % [22:43:59.029] Candidate: TC = 6.5 % [22:43:59.029] Candidate: 8C = 0.8 % [22:43:59.029] Candidate: 9D = 0.4 % [22:43:59.029] Candidate: KD = 0.1 % [22:43:59.029] Candidate: KS = 0.1 % [22:43:59.029] Candidate: 8S = 0.1 % [22:43:59.029] Selected lead: C2 (34.5 %) === Board lead (API) - DDS Engine (W) - 2026-08-29 22:46:33 === === Board lead (API) - Neural Network Engine (W) - 2026-08-29 22:46:33 === [22:46:33.760] === FindBestCardAsync: Position=W, CardsPlayed=0 === [22:46:33.760] Contract: 4D, Declarer: S, Dealer: S [22:46:33.760] Auction: P-P-1C-P-1D-1S-X-3S-4D-P-P-P [22:46:33.760] Deal: N:... ... ... ... [22:46:33.760] Position W is on defender's side - score table shifted by 0 defense tricks won [22:46:33.760] ****************************** [22:46:33.761] FindMatchingDealsWithPlayInternal Input: [22:46:33.761] Position parameter: W [22:46:33.761] Deal from game: N:... ... ... ... [22:46:33.761] Hand for N: (null) [22:46:33.761] Hand for E: (null) [22:46:33.761] Hand for S: (null) [22:46:33.761] Hand for W: AKJ76.J42.T62.72 [22:46:33.761] Cards played: [22:46:33.761] Declarer: S [22:46:33.761] ****************************** [22:46:33.761] [DealFinder] Seed from player W hand: 384986792 [22:46:33.761] [DealFinder] Auction: P-P-1C-P-1D-1S-X-3S-4D-P-P-P [22:46:33.762] [DealFinder] Explained bid S P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [22:46:33.762] [DealFinder] Explained bid W P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [22:46:33.763] [DealFinder] Explained bid N 1C: "Opening Bid, RuleOf >= 21, HCP <= 21, (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3), HCP >= 12" -> require: (none) [22:46:33.763] [DealFinder] Explained bid E P: "Responses to 1Mi, Responses to 1Mi/1Mi-P-1N, True OR C >= 7, True" -> require: (none) [22:46:33.764] [DealFinder] Explained bid S 1D: "Responses to 1C-P, HCP > 5, DiamondLongest, NOT (D >= 5, (SpadeLongest OR HeartLongest))" -> require: (none) [22:46:33.764] [DealFinder] Explained bid W 1S: "Overcalling after 1C-P-1D, S >= 5, HCP >= 10, HCP <= 18, Overcall(S)" -> require: (none) [22:46:33.764] [DealFinder] Explained bid N X: "Artificial - SupportDoubleDiamonds, D = 3" -> require: (none) [22:46:33.765] [DealFinder] Explained bid E 3S: "Responses to 1C-P-1D-1Ma-PX, S >= 4, SpadePoints >= 6, SpadePoints <= 9" -> require: (none) [22:46:33.765] [DealFinder] Explained bid S 4D: "Responses to X-3Ma (SupportDoubleDiamonds after 1C-PX-1D-2C-X), Competitive(D)" -> require: (none) [22:46:33.766] [DealFinder] Explained bid W P: "Responses to 1C-P-1D-1Ma-X-3Ma-4D, True" -> require: (none) [22:46:33.766] [DealFinder] Explained bid N P: "Responses to X-3Ma-4D-P (SupportDoubleDiamonds after 1C-PX-1D-2C-X), True" -> require: (none) [22:46:33.767] [DealFinder] Explained bid E P: "Last resort - defensive, Sensible" -> require: (none) [22:46:33.773] [DealFinder] N Clubs: tightened from [0-13] to [3-13] using HandUnderstanding [22:46:33.773] [DealFinder] N HCP min 15 -> 12: dropped 3 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction). [22:46:33.773] [DealFinder] N HCP max: tightened from 21 to 15 using HandUnderstanding [22:46:33.773] [DealFinder] N constraints: HCP[12-15], Suits=D[3-3] C[3-13], Trivial=False [22:46:33.774] [DealFinder] Expression (3114 chars): ((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3))) & 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) & ... [22:46:33.774] [Timing] N precompute: 7ms mem d=193KB (total=1448MB) [22:46:33.779] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction). [22:46:33.779] [DealFinder] E HCP max: tightened from 37 to 9 using HandUnderstanding [22:46:33.779] [DealFinder] E constraints: HCP[0-9], Suits=S[4-13], Trivial=False [22:46:33.779] [DealFinder] Expression (2673 chars): (True OR C >= 7 OR True) & NOT (D >= 5 & HCP >= 10 & HCP <= 17 & BestSuit(D) & 1 of Top 3 Honors in D) & NOT Overcall(D) & NOT (HCP >= 6 & HCP <= 11 & D >= 6 & 2 of Top 5 Honors in D & LoserLevel <= 3) & NOT Overcall(H) & NOT (H >= 6 & HCP >= 7 & HeartPoints >= 10 & HCP <= 17 & BestSuit(H) & 1 of Top 3 Honors in H) & NOT Overcall(S) & NOT (S >= 6 & HCP >= 7 & SpadePoints >= 10 & HCP <= 17 & BestSuit(S) & 1 of Top 3 Honors in S) & NOT (HCP >= 6 & HCP <= 11 & H >= 6 & 2 of Top 5 Honors in H & LoserLevel <= 3) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & Single Suited) & NOT (D >= 6 & HCP < 12 & LoserLevel >= 3 & Single Suited) & NOT (D >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & IsValidBid(3D) & S <= 5 & H <= 5) & NOT (H >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (H >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in H) & NOT (S >= 7 & LoserLevel >= 3 & HCP <= 13) & NOT (S >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S) & NOT (H >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (H >= 8 & HCP <= 10 & 1 of Top 5 Honors in H) & NOT (H >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (H >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in H) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & S < 5) & NOT (S >= 7 & HCP <= 10 & Single Suited & LoserLevel >= 4) & NOT (S >= 8 & HCP <= 10 & 1 of Top 5 Honors in S) & NOT (S >= 8 & LoserLevel >= 4 & HCP <= 13) & NOT (S >= 7 & LoserLevel >= 4 & HCP <= 13 & 2 of Top 4 Honors in S) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & H < 5) & NOT (D >= 8 & LoserLevel >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & S < 5) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(H) & Losers = 1) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(H) & Losers <= 0) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & H >= 5 & S <= 6 & H <= 6 & LoserLevel >= 2 & TP >= 8) & NOT (H >= 5 & D >= 5 &... [22:46:33.779] [Timing] E precompute: 5ms mem d=172KB (total=1448MB) [22:46:33.791] [DealFinder] S Diamonds: tightened from [2-13] to [5-13] using HandUnderstanding [22:46:33.791] [DealFinder] S HCP min 9 -> 6: dropped 3 of PRIVATE floor (reasoned from N's own cards, not advertised by the auction). [22:46:33.791] [DealFinder] S constraints: HCP[6-11], Suits=D[5-13], Trivial=False [22:46:33.791] [DealFinder] Expression (5513 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 &... [22:46:33.791] [Timing] S precompute: 12ms mem d=248KB (total=1449MB) [22:46:33.801] [DealFinder] W Spades: tightened from [0-13] to [5-13] using HandUnderstanding [22:46:33.801] [DealFinder] W HCP min 8 -> 5: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction). [22:46:33.801] [DealFinder] W HCP min: tightened from 0 to 5 using HandUnderstanding [22:46:33.801] [DealFinder] W constraints: HCP[5-11], Suits=S[5-13], Trivial=False [22:46:33.801] [DealFinder] Expression (4505 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 &... [22:46:33.801] [Timing] W precompute: 9ms mem d=247KB (total=1449MB) [22:46:33.801] [DealFinder] E HCP min 0 -> 3: restored 3 of PRIVATE floor -- we ARE W, the seat whose own cards produced it. [22:46:33.801] [Timing] Pre-computation (constraints): 40ms mem d=2MB (total=1449MB, gc2=22) [22:46:33.802] [DealFinder] Using cardsPlayedCount=0 for visibility calculation [22:46:33.802] [ExtractPartialDeal] Position=W, Declarer=S, CardsPlayed=0 [22:46:33.802] [ExtractPartialDeal] Visible hands: W [22:46:33.802] [ExtractPartialDeal] Input deal: N:... ... ... ... [22:46:33.802] [ExtractPartialDeal] Extracted hands: [22:46:33.802] N: ... (0 cards) [22:46:33.802] E: ... (0 cards) [22:46:33.802] S: ... (0 cards) [22:46:33.802] W: AKJ76.J42.T62.72 (13 cards) [LOCKED] [22:46:33.802] [DecomposePartnership] E: No tightening (CombinedHcpMin=10, CombinedHcpMax=, partner W HCP=9) [22:46:33.802] [DealFinder] Bid verification enabled for: N [22:46:33.802] [DealFinder] Propagated N: HCP[12-15], Suits=S[0-4] H[0-10] D[3-3] C[3-11] (2 iterations) [22:46:33.802] [DealFinder] Propagated E: HCP[5-9], Suits=S[4-8] H[0-10] D[0-2] C[0-8] (2 iterations) [22:46:33.802] [DealFinder] Propagated S: HCP[7-11], Suits=S[0-4] H[0-10] D[5-7] C[0-8] (2 iterations) [22:46:33.803] [DealFinder] Known cards per player: N=0, E=0, S=0, W=13 [22:46:33.803] [DealFinder] Locked players: W [22:46:33.803] [DealFinder] Total known cards: 13, Remaining deck: 39, Cards to deal: 39 [22:46:33.803] [DealFinder] Players needing cards: N:13, E:13, S:13 [22:46:33.803] Large number of cards remaining. Using random generation. [22:46:33.803] [DealFinder] Hands to validate (not 13 cards in partial): N, E, S [22:46:33.803] [VerifyHands] FAIL for N: 85.KQ6.K754.AK63 (((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR Expl...) [22:46:33.806] [VerifyHands] FAIL for N: Q92.K87.Q973.KQ8 (((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR Expl...) [22:46:33.808] [VerifyHands] FAIL for N: 85.KQ97.KQJ5.Q53 (((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR Expl...) [22:46:33.810] [VerifyHands] FAIL for N: Q3.AQ.9853.AKQT6 (((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR Expl...) [22:46:33.815] [VerifyHands] FAIL for N: Q9.A98.AQ84.AQJT (((HCP >= 12 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR ExplicitShape = 3=4=3=3 OR ExplicitShape = 4=4=2=3)) OR (RuleOf >= 21 & HCP <= 21 & (ClubLongest OR ExplicitShape = 4=3=3=3 OR Expl...) [22:46:34.211] [DealFinder] Bid verification disabled after 200 calls / 0 passes (pass rate too low) -- accepting constraint-satisfying deals instead. [22:46:34.292] [DealFinder] Strict verification given up after 2000 attempts (0 matches) -- collecting constraint-satisfying deals instead. [22:46:34.418] [DealFinder] Early stop at 10000 attempts: 0 strict matches; usable deals ready (fallback=100, lastResort=100, simple=100, any=100). bidVerify calls=200/1200, passes=0 [22:46:34.418] [Timing] Total: 656ms, Generation: 155ms, Verification: 66ms [22:46:34.418] [Timing] Attempts: 10000, PassedSimpleCheck: 5005, FailedVerification: 5005, Found: 0 [22:46:34.418] [DealFinder] No strict matches found. Using 100 fallback deals (simple constraints only: HCP + suit lengths). [22:46:34.480] Search complete. Returning 100 deals. [22:46:34.480] Found 100 sample deals for simulation. [22:46:34.480] Valid deals for DDS: 100 / 100 [22:46:34.480] [SAMPLE-VAL] No cards played -- skipping validation [22:46:34.480] After sample validation: 100 deals remaining [22:46:34.480] [PLAY-INFER] No observed play -- skipping [22:46:34.480] Using weighted samples: 100/100 have non-uniform weights (range 0.023-0.091) [22:46:34.480] Sample deals (100 total, showing first 20, by weight): [22:46:34.480] [1] (w=0.091) N:54.K983.A85.AQ54 QT83.75.Q3.KJT83 92.AQT6.KJ974.96 AKJ76.J42.T62.72 [22:46:34.480] [2] (w=0.091) N:QT.853.K87.AQJ43 98543.Q76.QJ.KT5 2.AKT9.A9543.986 AKJ76.J42.T62.72 [22:46:34.480] [3] (w=0.091) N:84.K.753.AKQJ965 T532.AQT87.J4.T8 Q9.9653.AKQ98.43 AKJ76.J42.T62.72 [22:46:34.481] [4] (w=0.091) N:T3.AK9.Q93.AT965 9842.753.AJ.QJ83 Q5.QT86.K8754.K4 AKJ76.J42.T62.72 [22:46:34.481] [5] (w=0.091) N:QT9.Q65.KJ7.KQT9 5432.K93.43.A865 8.AT87.AQ985.J43 AKJ76.J42.T62.72 [22:46:34.481] [6] (w=0.091) N:532.AQ.QJ8.KJ954 T984.KT75.73.A86 Q.9863.AK954.QT3 AKJ76.J42.T62.72 [22:46:34.481] [7] (w=0.091) N:T42.A9.KQ7.A9653 9853.QT85.A5.J84 Q.K763.J9843.KQT AKJ76.J42.T62.72 [22:46:34.481] [8] (w=0.091) N:T.983.AQ9.AQJ864 Q8532.QT6.74.KT5 94.AK75.KJ853.93 AKJ76.J42.T62.72 [22:46:34.481] [9] (w=0.091) N:T943.A7.AJ8.AT84 Q852.953.K.KJ965 .KQT86.Q97543.Q3 AKJ76.J42.T62.72 [22:46:34.481] [10] (w=0.091) N:42.T985.AQ9.AQ93 QT53.A6.J5.JT865 98.KQ73.K8743.K4 AKJ76.J42.T62.72 [22:46:34.481] [11] (w=0.091) N:Q95.863.AQ8.KQ83 T842.AQ7.95.J954 3.KT95.KJ743.AT6 AKJ76.J42.T62.72 [22:46:34.481] [12] (w=0.085) N:93.AQ5.A54.A9854 Q542.973.87.KQJ3 T8.KT86.KQJ93.T6 AKJ76.J42.T62.72 [22:46:34.481] [13] (w=0.085) N:T.QT63.KJ8.AKQ54 Q943.A9875.97.86 852.K.AQ543.JT93 AKJ76.J42.T62.72 [22:46:34.481] [14] (w=0.085) N:QT.AQ7.K83.QJT54 9832.K86.75.A963 54.T953.AQJ94.K8 AKJ76.J42.T62.72 [22:46:34.481] [15] (w=0.085) N:T54.AT97.QJ3.KQ6 Q932.K85.K.JT943 8.Q63.A98754.A85 AKJ76.J42.T62.72 [22:46:34.481] [16] (w=0.085) N:T.A863.A93.KQ843 9852.QT95.J7.AJT Q43.K7.KQ854.965 AKJ76.J42.T62.72 [22:46:34.481] [17] (w=0.085) N:T2.K95.AQJ.AT963 9854.A76.43.K854 Q3.QT83.K9875.QJ AKJ76.J42.T62.72 [22:46:34.482] [18] (w=0.085) N:.AK76.K87.AJ8643 95432.T95.A4.KT5 QT8.Q83.QJ953.Q9 AKJ76.J42.T62.72 [22:46:34.482] [19] (w=0.085) N:42.A63.AQ4.QT653 Q983.Q9875.KJ.98 T5.KT.98753.AKJ4 AKJ76.J42.T62.72 [22:46:34.482] [20] (w=0.085) N:9.9863.KQJ.AKQT6 Q432.Q7.87.J9853 T85.AKT5.A9543.4 AKJ76.J42.T62.72 [22:46:34.482] ... and 80 more [22:46:34.485] [NN-LEAD] top4 candidates: KS=41 %, xC=32 %, xD=12 %, xH=10 % [22:46:34.486] [NN-LEAD] adding conventional lead card(s) to the candidate set: SA, C7, DT, D6, H4 [22:46:34.486] [NN-LEAD] restricting opening-lead DDS to 9 candidate(s) (warm context) [22:46:35.488] --- IMP Calculation Input (aggregatedScores: card -> bridge scores per sample) --- [22:46:35.488] SK: [-130, -130, -130, -130, -130, 100, -150, -150, -190, -130, -130, -130, -150, 100, -150, 100, 100, -130, -130, -150, -150, -190, -170, 100, 100, 100, -150, -130, -150, -170, -130, -150, -150, -130, -150, -150, 100, -130, 200, -150, 100, -130, -150, -150, -150, -130, -130, -170, -130, 100, -150, -150, -150, -130, -130, 100, -150, 100, -150, -150, 100, -150, 100, -190, -170, 100, -130, 100, -170, 100, -150, 100, -150, 100, -170, 100, -150, -150, -190, -130, -170, -150, -170, -170, -130, -170, -150, -190, -130, 100, -150, -150, 100, -150, 100, -170, -130, -130, -170, -130] [22:46:35.488] C2: [-130, -130, -170, -130, -130, -130, -150, -150, -170, -150, -150, -130, -150, -130, -150, -130, 100, -130, -130, -150, -150, -170, -170, 100, 100, 100, -150, -130, -150, -170, -190, -170, -190, -130, -170, -170, 100, -130, 200, -150, -130, -130, -150, -170, -150, -130, -130, -170, -130, -130, -150, -150, -150, -130, -130, 100, -130, 100, -170, -170, 100, -170, -130, -170, -170, 100, -130, -130, -190, -170, -150, 100, -150, -130, -170, 100, -170, -170, -190, -130, -190, -170, -190, -190, -130, -190, -150, -190, 100, -150, -170, -190, 100, -150, 100, -170, -130, -130, -150, -130] [22:46:35.488] D2: [-130, -130, -170, -130, -130, -130, -150, -150, -170, -150, -150, -130, -150, -130, -150, 100, 100, -130, -130, -150, -150, -170, -170, 100, -130, 100, -170, -130, -150, -170, -190, -170, -190, -130, -170, -170, 100, -130, 200, -170, -130, -130, -150, -170, -150, -130, -130, -170, -130, -130, -150, -150, -170, -130, -130, 100, -150, 100, -170, -170, 100, -170, -130, -190, -170, 100, -130, -130, -190, -170, -150, 100, -150, -130, -170, 100, -170, -170, -190, -130, -190, -170, -190, -190, -130, -170, -150, -190, -130, -150, -170, -190, -130, -150, 100, -170, -130, -170, -170, -150] [22:46:35.488] H2: [-130, -130, -130, -130, -130, 100, -150, -150, -170, -130, -130, -130, -150, 100, -150, 100, 100, -130, -130, -150, -150, -170, -170, -130, -130, 100, -150, -150, -150, -170, -190, -170, -190, -130, -150, -150, 100, -130, 200, -170, -130, -150, -150, -150, -150, -130, -130, -170, -130, 100, -150, -150, -170, -130, -130, 100, -150, 100, -150, -170, 100, -150, -130, -150, -170, 100, -130, 100, -190, 100, -150, 100, -150, 100, -170, -130, -150, -170, -170, -130, -190, -150, -190, -190, -130, -170, -150, -170, -130, 100, -170, -150, -130, -150, 100, -170, -130, -170, -170, -150] [22:46:35.488] SA: [-130, -130, -130, -130, -130, 100, -150, -150, -190, -130, -130, -130, -150, 100, -150, 100, 100, -130, -130, -150, -150, -190, -170, 100, 100, 100, -150, -130, -150, -170, -130, -150, -150, -130, -150, -150, 100, -130, 200, -150, 100, -130, -150, -150, -150, -130, -130, -170, -130, 100, -150, -150, -150, -130, -130, 100, -150, 100, -150, -150, 100, -150, 100, -190, -170, 100, -130, 100, -170, 100, -150, 100, -150, 100, -170, 100, -150, -150, -190, -130, -170, -150, -170, -170, -130, -170, -150, -190, -130, 100, -150, -150, 100, -150, 100, -170, -130, -130, -170, -130] [22:46:35.488] C7: [-130, -130, -170, -130, -130, -130, -150, -150, -170, -150, -150, -130, -150, -130, -150, -130, 100, -130, -130, -150, -150, -170, -170, 100, 100, 100, -150, -130, -150, -170, -190, -170, -190, -130, -170, -170, 100, -130, 200, -150, -130, -130, -150, -170, -150, -130, -130, -170, -130, -130, -150, -150, -150, -130, -130, 100, -130, 100, -170, -170, 100, -170, -130, -170, -170, 100, -130, -130, -190, -170, -150, 100, -150, -130, -170, 100, -170, -170, -190, -130, -190, -170, -190, -190, -130, -190, -150, -190, 100, -150, -170, -190, 100, -150, 100, -170, -130, -130, -150, -130] [22:46:35.488] DT: [-130, -150, -170, -130, -130, -130, -150, -150, -170, -150, -150, -130, -150, -130, -150, -130, 100, -130, -130, -150, -150, -190, -170, 100, -130, 100, -170, -130, -150, -170, -190, -170, -190, -130, -170, -170, 100, -130, 200, -170, -130, -130, -150, -170, -150, -130, -130, -170, -130, -150, -150, -150, -170, -130, -130, 100, -150, 100, -170, -170, 100, -170, -130, -190, -170, 100, -130, -130, -190, -170, -150, 100, -150, -130, -170, 100, -170, -170, -190, -130, -190, -170, -190, -190, -130, -170, -150, -190, -130, -150, -170, -190, -130, -150, 100, -170, -130, -170, -170, -150] [22:46:35.488] D6: [-130, -130, -170, -130, -130, -130, -150, -150, -170, -150, -150, -130, -150, -130, -150, 100, 100, -130, -130, -150, -150, -170, -170, 100, -130, 100, -170, -130, -150, -170, -190, -170, -190, -130, -170, -170, 100, -130, 200, -170, -130, -130, -150, -170, -150, -130, -130, -170, -130, -130, -150, -150, -170, -130, -130, 100, -150, 100, -170, -170, 100, -170, -130, -190, -170, 100, -130, -130, -190, -170, -150, 100, -150, -130, -170, 100, -170, -170, -190, -130, -190, -170, -190, -190, -130, -170, -150, -190, -130, -150, -170, -190, -130, -150, 100, -170, -130, -170, -170, -150] [22:46:35.489] H4: [-130, -130, -130, -130, -130, 100, -150, -150, -170, -130, -130, -130, -150, 100, -150, 100, 100, -130, -130, -150, -150, -170, -170, -130, -130, 100, -150, -150, -150, -170, -190, -170, -190, -130, -150, -150, 100, -130, 200, -170, -130, -150, -150, -150, -150, -130, -130, -170, -130, 100, -150, -150, -170, -130, -130, 100, -150, 100, -150, -170, 100, -150, -130, -150, -170, 100, -130, 100, -190, 100, -150, 100, -150, 100, -170, -130, -150, -170, -170, -130, -190, -150, -190, -190, -130, -170, -150, -170, -130, 100, -170, -150, -130, -150, 100, -170, -130, -170, -170, -150] [22:46:35.489] --- IMP Calculation Input (aggregatedTricks: card -> trick counts per sample) --- [22:46:35.489] SK: [3, 3, 3, 3, 3, 4, 2, 2, 0, 3, 3, 3, 2, 4, 2, 4, 4, 3, 3, 2, 2, 0, 1, 4, 4, 4, 2, 3, 2, 1, 3, 2, 2, 3, 2, 2, 4, 3, 5, 2, 4, 3, 2, 2, 2, 3, 3, 1, 3, 4, 2, 2, 2, 3, 3, 4, 2, 4, 2, 2, 4, 2, 4, 0, 1, 4, 3, 4, 1, 4, 2, 4, 2, 4, 1, 4, 2, 2, 0, 3, 1, 2, 1, 1, 3, 1, 2, 0, 3, 4, 2, 2, 4, 2, 4, 1, 3, 3, 1, 3] [22:46:35.489] C2: [3, 3, 1, 3, 3, 3, 2, 2, 1, 2, 2, 3, 2, 3, 2, 3, 4, 3, 3, 2, 2, 1, 1, 4, 4, 4, 2, 3, 2, 1, 0, 1, 0, 3, 1, 1, 4, 3, 5, 2, 3, 3, 2, 1, 2, 3, 3, 1, 3, 3, 2, 2, 2, 3, 3, 4, 3, 4, 1, 1, 4, 1, 3, 1, 1, 4, 3, 3, 0, 1, 2, 4, 2, 3, 1, 4, 1, 1, 0, 3, 0, 1, 0, 0, 3, 0, 2, 0, 4, 2, 1, 0, 4, 2, 4, 1, 3, 3, 2, 3] [22:46:35.489] D2: [3, 3, 1, 3, 3, 3, 2, 2, 1, 2, 2, 3, 2, 3, 2, 4, 4, 3, 3, 2, 2, 1, 1, 4, 3, 4, 1, 3, 2, 1, 0, 1, 0, 3, 1, 1, 4, 3, 5, 1, 3, 3, 2, 1, 2, 3, 3, 1, 3, 3, 2, 2, 1, 3, 3, 4, 2, 4, 1, 1, 4, 1, 3, 0, 1, 4, 3, 3, 0, 1, 2, 4, 2, 3, 1, 4, 1, 1, 0, 3, 0, 1, 0, 0, 3, 1, 2, 0, 3, 2, 1, 0, 3, 2, 4, 1, 3, 1, 1, 2] [22:46:35.489] H2: [3, 3, 3, 3, 3, 4, 2, 2, 1, 3, 3, 3, 2, 4, 2, 4, 4, 3, 3, 2, 2, 1, 1, 3, 3, 4, 2, 2, 2, 1, 0, 1, 0, 3, 2, 2, 4, 3, 5, 1, 3, 2, 2, 2, 2, 3, 3, 1, 3, 4, 2, 2, 1, 3, 3, 4, 2, 4, 2, 1, 4, 2, 3, 2, 1, 4, 3, 4, 0, 4, 2, 4, 2, 4, 1, 3, 2, 1, 1, 3, 0, 2, 0, 0, 3, 1, 2, 1, 3, 4, 1, 2, 3, 2, 4, 1, 3, 1, 1, 2] [22:46:35.489] SA: [3, 3, 3, 3, 3, 4, 2, 2, 0, 3, 3, 3, 2, 4, 2, 4, 4, 3, 3, 2, 2, 0, 1, 4, 4, 4, 2, 3, 2, 1, 3, 2, 2, 3, 2, 2, 4, 3, 5, 2, 4, 3, 2, 2, 2, 3, 3, 1, 3, 4, 2, 2, 2, 3, 3, 4, 2, 4, 2, 2, 4, 2, 4, 0, 1, 4, 3, 4, 1, 4, 2, 4, 2, 4, 1, 4, 2, 2, 0, 3, 1, 2, 1, 1, 3, 1, 2, 0, 3, 4, 2, 2, 4, 2, 4, 1, 3, 3, 1, 3] [22:46:35.489] C7: [3, 3, 1, 3, 3, 3, 2, 2, 1, 2, 2, 3, 2, 3, 2, 3, 4, 3, 3, 2, 2, 1, 1, 4, 4, 4, 2, 3, 2, 1, 0, 1, 0, 3, 1, 1, 4, 3, 5, 2, 3, 3, 2, 1, 2, 3, 3, 1, 3, 3, 2, 2, 2, 3, 3, 4, 3, 4, 1, 1, 4, 1, 3, 1, 1, 4, 3, 3, 0, 1, 2, 4, 2, 3, 1, 4, 1, 1, 0, 3, 0, 1, 0, 0, 3, 0, 2, 0, 4, 2, 1, 0, 4, 2, 4, 1, 3, 3, 2, 3] [22:46:35.489] DT: [3, 2, 1, 3, 3, 3, 2, 2, 1, 2, 2, 3, 2, 3, 2, 3, 4, 3, 3, 2, 2, 0, 1, 4, 3, 4, 1, 3, 2, 1, 0, 1, 0, 3, 1, 1, 4, 3, 5, 1, 3, 3, 2, 1, 2, 3, 3, 1, 3, 2, 2, 2, 1, 3, 3, 4, 2, 4, 1, 1, 4, 1, 3, 0, 1, 4, 3, 3, 0, 1, 2, 4, 2, 3, 1, 4, 1, 1, 0, 3, 0, 1, 0, 0, 3, 1, 2, 0, 3, 2, 1, 0, 3, 2, 4, 1, 3, 1, 1, 2] [22:46:35.489] D6: [3, 3, 1, 3, 3, 3, 2, 2, 1, 2, 2, 3, 2, 3, 2, 4, 4, 3, 3, 2, 2, 1, 1, 4, 3, 4, 1, 3, 2, 1, 0, 1, 0, 3, 1, 1, 4, 3, 5, 1, 3, 3, 2, 1, 2, 3, 3, 1, 3, 3, 2, 2, 1, 3, 3, 4, 2, 4, 1, 1, 4, 1, 3, 0, 1, 4, 3, 3, 0, 1, 2, 4, 2, 3, 1, 4, 1, 1, 0, 3, 0, 1, 0, 0, 3, 1, 2, 0, 3, 2, 1, 0, 3, 2, 4, 1, 3, 1, 1, 2] [22:46:35.489] H4: [3, 3, 3, 3, 3, 4, 2, 2, 1, 3, 3, 3, 2, 4, 2, 4, 4, 3, 3, 2, 2, 1, 1, 3, 3, 4, 2, 2, 2, 1, 0, 1, 0, 3, 2, 2, 4, 3, 5, 1, 3, 2, 2, 2, 2, 3, 3, 1, 3, 4, 2, 2, 1, 3, 3, 4, 2, 4, 2, 1, 4, 2, 3, 2, 1, 4, 3, 4, 0, 4, 2, 4, 2, 4, 1, 3, 2, 1, 1, 3, 0, 2, 0, 0, 3, 1, 2, 1, 3, 4, 1, 2, 3, 2, 4, 1, 3, 1, 1, 2] [22:46:35.490] --- IMP Calculation Output (card -> average IMP) --- [22:46:35.490] SK: 0.64 [22:46:35.490] SA: 0.64 [22:46:35.490] H2: 0.13 [22:46:35.490] H4: 0.13 [22:46:35.490] C2: -0.20 [22:46:35.490] C7: -0.20 [22:46:35.491] D2: -0.33 [22:46:35.491] D6: -0.33 [22:46:35.491] DT: -0.48 [22:46:35.491] Opening lead IMP analysis: [22:46:35.491] [LEAD] Partner bid Spades -- adding reward +0.500 to all cards in that suit [22:46:35.491] [LEAD] Engine choice SK is conventional: AKJ broken sequence vs suit [22:46:35.491] Selected lead: SK (score: 1.140 IMPs) [22:46:35.491] [stage-timing] opening-lead sample=719ms validate=0ms nn=0ms signal=0ms simgames=2ms dds=1006ms total=1731ms samples=100 [22:46:35.492] === FindBestCardAsync: Position=W, CardsPlayed=0 === [22:46:35.492] Finding opening lead... [22:46:35.492] Hand: AKJ76.J42.T62.72 [22:46:35.492] Contract: 4D [22:46:35.492] Candidate: KS = 40.7 % [22:46:35.493] Candidate: xC = 32.2 % [22:46:35.493] Candidate: xD = 12.2 % [22:46:35.493] Candidate: xH = 9.7 % [22:46:35.493] Candidate: AS = 4.7 % [22:46:35.493] Candidate: TD = 0.3 % [22:46:35.493] Candidate: JH = 0.2 % [22:46:35.493] Candidate: xS = 0.0 % [22:46:35.493] Candidate: JS = 0.0 % [22:46:35.493] Selected lead: SK (40.7 %)