--- Showing last 200 of 4084 lines ---
[23:45:23.416] Cards in hand mask: 4
[23:45:23.417]   Candidate: 8H = 90.0 %
[23:45:23.417]   Candidate: KD = 5.6 %
[23:45:23.417]   Candidate: JH = 3.8 %
[23:45:23.417]   Candidate: AH = 0.6 %
[23:45:23.417] Selected: H8 (90.0 %)
=== Board 20260810_MP_KMB-Daylong_b7 (API) - DDS Engine (N) - 2026-08-09 23:45:24 ===
=== Board 20260810_MP_KMB-Daylong_b7 (API) - Neural Network Engine (N) - 2026-08-09 23:45:24 ===
[23:45:24.160] Activated: 3 tricks remaining, threshold=5
[23:45:24.161] ENDGAME: Hidden cards=6 between E and W, need 3+3, declarer tricks=7, defense tricks=3
[23:45:24.161] ENDGAME: Contract=4S, Declarer=N, ToPlay=N, Trump=S
[23:45:24.161] ENDGAME: N [S74 - D4 -]
[23:45:24.161] ENDGAME: S [- HAJ DK -]
[23:45:24.161] ENDGAME: Hidden [S2 HKT976 - -]
[23:45:24.161] ENDGAME: 10 valid worlds (after void filtering)
[23:45:24.161] [DealFinder] Explained bid S 1H: "Opening Bid, RuleOf >= 21, HCP <= 21, H >= 5, H > S, HeartLongest, HCP >= 12" -> require: (none)
[23:45:24.161] [DealFinder] Explained bid W P: "Overcalling 1Ma, Responses to 1Ma, H >= 6, True" -> require: (none)
[23:45:24.161] [DealFinder] Explained bid N 1S: "Responses to 1H-P, TP >= 6, S >= 4, (SpadeLongest OR HCP < 12)" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid E P: "Defensive bidding after two bids from opponents, True" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid S 2D: "Responses to 1H-PX-1S-P, D >= 4, HCP <= 16" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid N 3C: "Artificial - 4SF, HCP >= 14" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid E P: "Responses to 1H-PX-1S-P-2D-P-3C, True" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid S 3N: "Responses to 1H-P-1S-P-2D-P-3C-P, Stopper in C" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid W P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid N 4S: "[Inferred], IsMajorGameBetter(S)" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid E P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid S P: "[Inferred], True" -> require: (none)
[23:45:24.162] [DealFinder] Explained bid W P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:24.165] [DealFinder] N Spades: tightened from [4-13] to [5-13] using HandUnderstanding
[23:45:24.166] [DealFinder] N constraints: HCP[14-37], Suits=S[5-13], Trivial=False
[23:45:24.166] [DealFinder]   Expression (1759 chars): TP >= 6 & S >= 4 & (SpadeLongest OR HCP < 12) & HCP >= 5 & NOT (HCP >= 10 & HCP <= 14 & S <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & H >= 4) & NOT (HCP >= 16 & (Solid(S) OR S >= 7) & Single Suited & Controls >= 4 & H <= 2) & NOT (S >= 5 & H >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4 & H <= 2) & NOT (H >= 3 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (H >= 3 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (((TP >= 6 & HCP < 10 & H >= 3) OR (HCP >= 5 & HCP < 10 & H >= 4))) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 9 & HCP < 12 & H >= 4) & NOT (HCP >= 12 & HCP <= 15 & H = 3 & Balanced) & NOT (HCP <= 8 & H >= 5) & NOT (HeartPoints >= 12 & HCP >= 12 & H >= 4) & HCP >= 14 & NOT (S > 5 & HCP <= 9) & NOT (D >= 4 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondGrandSlamPointTarget Subtract 1 & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget & TP >= 13 & 1 of Top 3 Honors in D & NOT 2 of Top 3 Honors in D) & NOT (D >= 4 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (H >= 3 & HCP > 9 & HCP < 12) & NOT (HCP >= 12 & HCP <= 16) & NOT (H >= 3 & HCP >= 12 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT ((S > 6 OR TwiceRebiddable(S)) & HCP >= 11 & HCP < 17) & IsMajorGameBetter(S)
[23:45:24.166] [Timing] N precompute: 3ms mem d=108KB (total=1575MB)
[23:45:24.167] [DealFinder] E HCP max: tightened from 37 to 18 using HandUnderstanding
[23:45:24.167] [DealFinder] E constraints: HCP[0-18], Suits=(none), Trivial=False
[23:45:24.167] [DealFinder]   Expression (662 chars): True & NOT (C >= 6 & HCP >= 12 & HCP <= 17) & NOT (D >= 6 & HCP >= 12 & HCP <= 17) & NOT (S >= 6 & HCP >= 12 & HCP <= 19 & 3 of Top 4 Honors in S) & NOT (C >= 6 & HCP <= 12 & LoserLevel >= 3) & NOT (D >= 6 & HCP <= 12 & LoserLevel >= 3) & NOT FourLevelOvercall(C) & NOT FourLevelOvercall(D) & HCP < 19 & NOT DoubleThenOvercall(C) & NOT DoubleThenOvercall(D) & NOT (C >= 4 & D >= 4 & HCP >= 12) & NOT (D >= 5 & C >= 5 & LoserLevel >= 3 & TP >= 10) & NOT (D >= 5 & C >= 5 & LoserLevel >= 4 & TP >= 10) & NOT (D >= 5 & C >= 5 & LoserLevel >= 5 & TP >= 10) & NOT (Stopper in H & Stopper in S & HCP >= 15 & HCP <= 17 & Balanced) & True & NOT SuitShowing(C) & Sensible
[23:45:24.167] [Timing] E precompute: 1ms mem d=71KB (total=1575MB)
[23:45:24.174] [DealFinder] S Spades: tightened from [0-13] to [0-2] using HandUnderstanding
[23:45:24.174] [DealFinder] S constraints: HCP[12-16], Suits=S[0-2] H[5-13] D[4-13], Trivial=False
[23:45:24.174] [DealFinder]   Expression (3960 chars): ((HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) OR (RuleOf >= 21 & HCP <= 21 & H >= 5 & H > S & HeartLongest)) & 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 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) & NOT (HCP >= 18 & (NOT Two Suited OR HCP...
[23:45:24.175] [Timing] S precompute: 7ms mem d=208KB (total=1575MB)
[23:45:24.178] [DealFinder] W constraints: HCP[0-37], Suits=(none), Trivial=False
[23:45:24.178] [DealFinder]   Expression (2362 chars): (H >= 6 OR True) & NOT (S >= 5 & HCP >= 8 & HCP <= 17) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in C) & NOT (C >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in C) & NOT Overcall(C) & NOT (D >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in D) & NOT (D >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in D) & NOT Overcall(D) & NOT (C >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C) & NOT (C >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3) & NOT (StrongRebiddable(C) & C >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & HCP >= 5 & S <= 4) & NOT (D >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D) & NOT (D >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3) & NOT (StrongRebiddable(D) & D >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (D >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & HCP >= 5 & S <= 4) & NOT (S >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (S >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3) & NOT (S >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & S < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & S < 5 & HCP >= 5) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & S <= 6 & (D >= 5 OR C >= 5) & LoserLevel >= 2 & TP >= 10) & NO...
[23:45:24.178] [Timing] W precompute: 3ms mem d=147KB (total=1576MB)
[23:45:24.179] ENDGAME_WORLD: #1 (w=1.00) N:74..4. .976.. .AJ.K. 2.KT..
[23:45:24.179] ENDGAME_WORLD: #2 (w=1.00) N:74..4. .T76.. .AJ.K. 2.K9..
[23:45:24.179] ENDGAME_WORLD: #3 (w=1.00) N:74..4. .K76.. .AJ.K. 2.T9..
[23:45:24.179] ENDGAME_WORLD: #4 (w=1.00) N:74..4. .T96.. .AJ.K. 2.K7..
[23:45:24.179] ENDGAME_WORLD: #5 (w=1.00) N:74..4. .K96.. .AJ.K. 2.T7..
[23:45:24.179] ENDGAME_WORLD: #6 (w=1.00) N:74..4. .KT6.. .AJ.K. 2.97..
[23:45:24.179] ENDGAME_WORLD: #7 (w=1.00) N:74..4. .T97.. .AJ.K. 2.K6..
[23:45:24.179] ENDGAME_WORLD: #8 (w=1.00) N:74..4. .K97.. .AJ.K. 2.T6..
[23:45:24.179] ENDGAME_WORLD: #9 (w=1.00) N:74..4. .KT7.. .AJ.K. 2.96..
[23:45:24.179] ENDGAME_WORLD: #10 (w=1.00) N:74..4. .KT9.. .AJ.K. 2.76..
[23:45:24.179] ENDGAME: Evaluating 3 candidates across 10 worlds (totalWeight=10.00, rankByScore=True):
[23:45:24.179]   S4: defeat 100 % (10.0/10.0), makes 100 % (10.0/10.0), avgDeclTricks=10.0, dist=[10:10.0]
[23:45:24.180]   S7: defeat 100 % (10.0/10.0), makes 100 % (10.0/10.0), avgDeclTricks=10.0, dist=[10:10.0]
[23:45:24.180]   D4: defeat 0 % (0.0/10.0), makes 0 % (0.0/10.0), avgDeclTricks=9.0, dist=9:10.0
[23:45:24.180]   IMP S4: 6.00
[23:45:24.180]   IMP S7: 6.00
[23:45:24.180]   IMP D4: -12.00
[23:45:24.180]   MP S4: 0.500
[23:45:24.180]   MP S7: 0.500
[23:45:24.180]   MP D4: -1.000
[23:45:24.180] ENDGAME: Selected S7 (100 %)
[23:45:24.180] ENDGAME: CLAIM -- best line wins all 3 remaining tricks in every world
[23:45:24.180] Tied cards: S7,S4 -- invoking NN directly on tied set
[23:45:24.181] === FindBestCardAsync: Position=N, CardsPlayed=40 ===
[23:45:24.181] Finding card to play for N: AJT8754.Q.AT864.
[23:45:24.181] Relative position: Declarer, Contract type: Suit
[23:45:24.181] Cards in hand mask: 2
[23:45:24.182]   Candidate: xS = 62.7 %
[23:45:24.182]   Candidate: xD = 37.3 %
[23:45:24.182] Selected: S4 (62.7 %)
=== Board 20260810_MP_KMB-Daylong_b7 (API) - DDS Engine (N) - 2026-08-09 23:45:26 ===
=== Board 20260810_MP_KMB-Daylong_b7 (API) - Neural Network Engine (N) - 2026-08-09 23:45:26 ===
[23:45:26.157] Activated: 3 tricks remaining, threshold=5
[23:45:26.157] ENDGAME: Hidden cards=5 between E and W, need 2+3, declarer tricks=7, defense tricks=3
[23:45:26.157] ENDGAME: Contract=4S, Declarer=N, ToPlay=S, Trump=S
[23:45:26.157] ENDGAME: S [- HAJ DK -]
[23:45:26.157] ENDGAME: N [S7 - D4 -]
[23:45:26.157] ENDGAME: Hidden [S2 HKT97 - -]
[23:45:26.157] ENDGAME: Current trick (2 cards, led by N): S4 H6
[23:45:26.158] ENDGAME: 6 valid worlds (after void filtering)
[23:45:26.158] [DealFinder] Explained bid S 1H: "Opening Bid, RuleOf >= 21, HCP <= 21, H >= 5, H > S, HeartLongest, HCP >= 12" -> require: (none)
[23:45:26.158] [DealFinder] Explained bid W P: "Overcalling 1Ma, Responses to 1Ma, H >= 6, True" -> require: (none)
[23:45:26.158] [DealFinder] Explained bid N 1S: "Responses to 1H-P, TP >= 6, S >= 4, (SpadeLongest OR HCP < 12)" -> require: (none)
[23:45:26.158] [DealFinder] Explained bid E P: "Defensive bidding after two bids from opponents, True" -> require: (none)
[23:45:26.158] [DealFinder] Explained bid S 2D: "Responses to 1H-PX-1S-P, D >= 4, HCP <= 16" -> require: (none)
[23:45:26.158] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[23:45:26.158] [DealFinder] Explained bid N 3C: "Artificial - 4SF, HCP >= 14" -> require: (none)
[23:45:26.158] [DealFinder] Explained bid E P: "Responses to 1H-PX-1S-P-2D-P-3C, True" -> require: (none)
[23:45:26.158] [DealFinder] Explained bid S 3N: "Responses to 1H-P-1S-P-2D-P-3C-P, Stopper in C" -> require: (none)
[23:45:26.159] [DealFinder] Explained bid W P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:26.159] [DealFinder] Explained bid N 4S: "[Inferred], IsMajorGameBetter(S)" -> require: (none)
[23:45:26.159] [DealFinder] Explained bid E P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:26.159] [DealFinder] Explained bid S P: "[Inferred], True" -> require: (none)
[23:45:26.159] [DealFinder] Explained bid W P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:26.162] [DealFinder] N Spades: tightened from [4-13] to [5-13] using HandUnderstanding
[23:45:26.162] [DealFinder] N constraints: HCP[14-37], Suits=S[5-13], Trivial=False
[23:45:26.162] [DealFinder]   Expression (1759 chars): TP >= 6 & S >= 4 & (SpadeLongest OR HCP < 12) & HCP >= 5 & NOT (HCP >= 10 & HCP <= 14 & S <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & H >= 4) & NOT (HCP >= 16 & (Solid(S) OR S >= 7) & Single Suited & Controls >= 4 & H <= 2) & NOT (S >= 5 & H >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4 & H <= 2) & NOT (H >= 3 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (H >= 3 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (((TP >= 6 & HCP < 10 & H >= 3) OR (HCP >= 5 & HCP < 10 & H >= 4))) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 9 & HCP < 12 & H >= 4) & NOT (HCP >= 12 & HCP <= 15 & H = 3 & Balanced) & NOT (HCP <= 8 & H >= 5) & NOT (HeartPoints >= 12 & HCP >= 12 & H >= 4) & HCP >= 14 & NOT (S > 5 & HCP <= 9) & NOT (D >= 4 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondGrandSlamPointTarget Subtract 1 & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget & TP >= 13 & 1 of Top 3 Honors in D & NOT 2 of Top 3 Honors in D) & NOT (D >= 4 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (H >= 3 & HCP > 9 & HCP < 12) & NOT (HCP >= 12 & HCP <= 16) & NOT (H >= 3 & HCP >= 12 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT ((S > 6 OR TwiceRebiddable(S)) & HCP >= 11 & HCP < 17) & IsMajorGameBetter(S)
[23:45:26.162] [Timing] N precompute: 3ms mem d=121KB (total=1566MB)
[23:45:26.164] [DealFinder] E HCP max: tightened from 37 to 18 using HandUnderstanding
[23:45:26.164] [DealFinder] E constraints: HCP[0-18], Suits=(none), Trivial=False
[23:45:26.164] [DealFinder]   Expression (662 chars): True & NOT (C >= 6 & HCP >= 12 & HCP <= 17) & NOT (D >= 6 & HCP >= 12 & HCP <= 17) & NOT (S >= 6 & HCP >= 12 & HCP <= 19 & 3 of Top 4 Honors in S) & NOT (C >= 6 & HCP <= 12 & LoserLevel >= 3) & NOT (D >= 6 & HCP <= 12 & LoserLevel >= 3) & NOT FourLevelOvercall(C) & NOT FourLevelOvercall(D) & HCP < 19 & NOT DoubleThenOvercall(C) & NOT DoubleThenOvercall(D) & NOT (C >= 4 & D >= 4 & HCP >= 12) & NOT (D >= 5 & C >= 5 & LoserLevel >= 3 & TP >= 10) & NOT (D >= 5 & C >= 5 & LoserLevel >= 4 & TP >= 10) & NOT (D >= 5 & C >= 5 & LoserLevel >= 5 & TP >= 10) & NOT (Stopper in H & Stopper in S & HCP >= 15 & HCP <= 17 & Balanced) & True & NOT SuitShowing(C) & Sensible
[23:45:26.164] [Timing] E precompute: 1ms mem d=72KB (total=1566MB)
[23:45:26.171] [DealFinder] S Spades: tightened from [0-13] to [0-2] using HandUnderstanding
[23:45:26.171] [DealFinder] S constraints: HCP[12-16], Suits=S[0-2] H[5-13] D[4-13], Trivial=False
[23:45:26.171] [DealFinder]   Expression (3960 chars): ((HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) OR (RuleOf >= 21 & HCP <= 21 & H >= 5 & H > S & HeartLongest)) & 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 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) & NOT (HCP >= 18 & (NOT Two Suited OR HCP...
[23:45:26.171] [Timing] S precompute: 7ms mem d=208KB (total=1566MB)
[23:45:26.175] [DealFinder] W constraints: HCP[0-37], Suits=(none), Trivial=False
[23:45:26.175] [DealFinder]   Expression (2362 chars): (H >= 6 OR True) & NOT (S >= 5 & HCP >= 8 & HCP <= 17) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in C) & NOT (C >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in C) & NOT Overcall(C) & NOT (D >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in D) & NOT (D >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in D) & NOT Overcall(D) & NOT (C >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C) & NOT (C >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3) & NOT (StrongRebiddable(C) & C >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & HCP >= 5 & S <= 4) & NOT (D >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D) & NOT (D >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3) & NOT (StrongRebiddable(D) & D >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (D >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & HCP >= 5 & S <= 4) & NOT (S >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (S >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3) & NOT (S >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & S < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & S < 5 & HCP >= 5) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & S <= 6 & (D >= 5 OR C >= 5) & LoserLevel >= 2 & TP >= 10) & NO...
[23:45:26.175] [Timing] W precompute: 3ms mem d=147KB (total=1567MB)
[23:45:26.175] ENDGAME_WORLD: #1 (w=1.00) N:7..4. .97.. .AJ.K. 2.KT..
[23:45:26.175] ENDGAME_WORLD: #2 (w=1.00) N:7..4. .T7.. .AJ.K. 2.K9..
[23:45:26.175] ENDGAME_WORLD: #3 (w=1.00) N:7..4. .K7.. .AJ.K. 2.T9..
[23:45:26.175] ENDGAME_WORLD: #4 (w=1.00) N:7..4. .T9.. .AJ.K. 2.K7..
[23:45:26.175] ENDGAME_WORLD: #5 (w=1.00) N:7..4. .K9.. .AJ.K. 2.T7..
[23:45:26.175] ENDGAME_WORLD: #6 (w=1.00) N:7..4. .KT.. .AJ.K. 2.97..
[23:45:26.176] ENDGAME: Evaluating 3 candidates across 6 worlds (totalWeight=6.00, rankByScore=True):
[23:45:26.176]   HJ: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=10.0, dist=[10:6.0]
[23:45:26.176]   HA: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=10.0, dist=[10:6.0]
[23:45:26.176]   DK: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=10.0, dist=[10:6.0]
[23:45:26.176]   IMP HJ: 0.00
[23:45:26.176]   IMP HA: 0.00
[23:45:26.176]   IMP DK: 0.00
[23:45:26.176]   MP HJ: 0.000
[23:45:26.176]   MP HA: 0.000
[23:45:26.176]   MP DK: 0.000
[23:45:26.176] ENDGAME: Selected DK (100 %)
[23:45:26.176] Tied cards: DK,HA,HJ -- invoking NN directly on tied set
[23:45:26.177] === FindBestCardAsync: Position=S, CardsPlayed=42 ===
[23:45:26.177] Finding card to play for S: 6.AJ852.KJ32.AK9
[23:45:26.177] Relative position: Dummy, Contract type: Suit
[23:45:26.177] Cards in hand mask: 3
[23:45:26.178]   Candidate: JH = 85.4 %
[23:45:26.178]   Candidate: KD = 9.8 %
[23:45:26.178]   Candidate: AH = 4.8 %
[23:45:26.178] Selected: HJ (85.4 %)
=== Board 20260810_MP_KMB-Daylong_b7 (API) - DDS Engine (N) - 2026-08-09 23:45:27 ===
=== Board 20260810_MP_KMB-Daylong_b7 (API) - Neural Network Engine (N) - 2026-08-09 23:45:27 ===
[23:45:27.705] Activated: 2 tricks remaining, threshold=5
[23:45:27.705] ENDGAME: Hidden cards=4 between E and W, need 2+2, declarer tricks=8, defense tricks=3
[23:45:27.705] ENDGAME: Contract=4S, Declarer=N, ToPlay=N, Trump=S
[23:45:27.706] ENDGAME: N [S7 - D4 -]
[23:45:27.706] ENDGAME: S [- HA DK -]
[23:45:27.706] ENDGAME: Hidden [- HKT97 - -]
[23:45:27.706] ENDGAME: 6 valid worlds (after void filtering)
[23:45:27.706] [DealFinder] Explained bid S 1H: "Opening Bid, RuleOf >= 21, HCP <= 21, H >= 5, H > S, HeartLongest, HCP >= 12" -> require: (none)
[23:45:27.706] [DealFinder] Explained bid W P: "Overcalling 1Ma, Responses to 1Ma, H >= 6, True" -> require: (none)
[23:45:27.706] [DealFinder] Explained bid N 1S: "Responses to 1H-P, TP >= 6, S >= 4, (SpadeLongest OR HCP < 12)" -> require: (none)
[23:45:27.706] [DealFinder] Explained bid E P: "Defensive bidding after two bids from opponents, True" -> require: (none)
[23:45:27.706] [DealFinder] Explained bid S 2D: "Responses to 1H-PX-1S-P, D >= 4, HCP <= 16" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid N 3C: "Artificial - 4SF, HCP >= 14" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid E P: "Responses to 1H-PX-1S-P-2D-P-3C, True" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid S 3N: "Responses to 1H-P-1S-P-2D-P-3C-P, Stopper in C" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid W P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid N 4S: "[Inferred], IsMajorGameBetter(S)" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid E P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid S P: "[Inferred], True" -> require: (none)
[23:45:27.707] [DealFinder] Explained bid W P: "Last resort - 4SFDefence, Sensible" -> require: (none)
[23:45:27.710] [DealFinder] N Spades: tightened from [4-13] to [5-13] using HandUnderstanding
[23:45:27.711] [DealFinder] N constraints: HCP[14-37], Suits=S[5-13], Trivial=False
[23:45:27.711] [DealFinder]   Expression (1759 chars): TP >= 6 & S >= 4 & (SpadeLongest OR HCP < 12) & HCP >= 5 & NOT (HCP >= 10 & HCP <= 14 & S <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & H >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & H >= 4) & NOT (HCP >= 16 & (Solid(S) OR S >= 7) & Single Suited & Controls >= 4 & H <= 2) & NOT (S >= 5 & H >= 4 & HCP > 17 & Controls >= 4) & NOT (S >= 6 & balish & HCP >= 17 & Controls >= 4 & H <= 2) & NOT (H >= 3 & IsHeartSlamViable & CombinedHeartPointsMin >= HeartGrandSlamPointTarget Subtract 1 & CombinedHeartPointsMin < HeartGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in H & NOT 2 of Top 3 Honors in H) & NOT (H >= 3 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (((TP >= 6 & HCP < 10 & H >= 3) OR (HCP >= 5 & HCP < 10 & H >= 4))) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & S <= 3 & H <= 2) & NOT (HCP >= 9 & HCP < 12 & H >= 4) & NOT (HCP >= 12 & HCP <= 15 & H = 3 & Balanced) & NOT (HCP <= 8 & H >= 5) & NOT (HeartPoints >= 12 & HCP >= 12 & H >= 4) & HCP >= 14 & NOT (S > 5 & HCP <= 9) & NOT (D >= 4 & IsDiamondSlamViable & CombinedDiamondPointsMin >= DiamondGrandSlamPointTarget Subtract 1 & CombinedDiamondPointsMin < DiamondGrandSlamPointTarget & TP >= 13 & 1 of Top 3 Honors in D & NOT 2 of Top 3 Honors in D) & NOT (D >= 4 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (H >= 3 & HCP > 9 & HCP < 12) & NOT (HCP >= 12 & HCP <= 16) & NOT (H >= 3 & HCP >= 12 & NOT (Comb. Pts >= 32 & CombinedHcpMin >= 28)) & NOT ((S > 6 OR TwiceRebiddable(S)) & HCP >= 11 & HCP < 17) & IsMajorGameBetter(S)
[23:45:27.711] [Timing] N precompute: 3ms mem d=104KB (total=1573MB)
[23:45:27.712] [DealFinder] E HCP max: tightened from 37 to 18 using HandUnderstanding
[23:45:27.712] [DealFinder] E constraints: HCP[0-18], Suits=(none), Trivial=False
[23:45:27.712] [DealFinder]   Expression (662 chars): True & NOT (C >= 6 & HCP >= 12 & HCP <= 17) & NOT (D >= 6 & HCP >= 12 & HCP <= 17) & NOT (S >= 6 & HCP >= 12 & HCP <= 19 & 3 of Top 4 Honors in S) & NOT (C >= 6 & HCP <= 12 & LoserLevel >= 3) & NOT (D >= 6 & HCP <= 12 & LoserLevel >= 3) & NOT FourLevelOvercall(C) & NOT FourLevelOvercall(D) & HCP < 19 & NOT DoubleThenOvercall(C) & NOT DoubleThenOvercall(D) & NOT (C >= 4 & D >= 4 & HCP >= 12) & NOT (D >= 5 & C >= 5 & LoserLevel >= 3 & TP >= 10) & NOT (D >= 5 & C >= 5 & LoserLevel >= 4 & TP >= 10) & NOT (D >= 5 & C >= 5 & LoserLevel >= 5 & TP >= 10) & NOT (Stopper in H & Stopper in S & HCP >= 15 & HCP <= 17 & Balanced) & True & NOT SuitShowing(C) & Sensible
[23:45:27.712] [Timing] E precompute: 1ms mem d=80KB (total=1573MB)
[23:45:27.719] [DealFinder] S Spades: tightened from [0-13] to [0-2] using HandUnderstanding
[23:45:27.719] [DealFinder] S constraints: HCP[12-16], Suits=S[0-2] H[5-13] D[4-13], Trivial=False
[23:45:27.719] [DealFinder]   Expression (3960 chars): ((HCP >= 12 & HCP <= 21 & H >= 5 & H > S & HeartLongest) OR (RuleOf >= 21 & HCP <= 21 & H >= 5 & H > S & HeartLongest)) & 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 & S >= 5 & SpadeLongest) & NOT (Balanced & HCP >= 15 & HCP <= 16 & H = 5) & NOT (Balanced & HCP >= 15 & HCP <= 16 & S = 5) & NOT ((Balanced OR SemiBalanced) & HCP >= 15 & HCP <= 17 & S <= 4 & H <= 4) & NOT (HCP >= 18 & (NOT Two Suited OR HCP...
[23:45:27.720] [Timing] S precompute: 7ms mem d=195KB (total=1574MB)
[23:45:27.723] [DealFinder] W constraints: HCP[0-37], Suits=(none), Trivial=False
[23:45:27.724] [DealFinder]   Expression (2362 chars): (H >= 6 OR True) & NOT (S >= 5 & HCP >= 8 & HCP <= 17) & NOT (HCP >= 6 & HCP <= 11 & S >= 6 & 2 of Top 5 Honors in S & LoserLevel <= 3) & NOT (C >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in C) & NOT (C >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in C) & NOT Overcall(C) & NOT (D >= 5 & HCP >= 10 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in D) & NOT (D >= 6 & HCP >= 12 & HCP <= 17 & LoserLevel >= 2 & 1 of Top 3 Honors in D) & NOT Overcall(D) & NOT (C >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C) & NOT (C >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(C) & LoserLevel >= 3) & NOT (StrongRebiddable(C) & C >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (C >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & HCP >= 5 & S <= 4) & NOT (D >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D) & NOT (D >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(D) & LoserLevel >= 3) & NOT (StrongRebiddable(D) & D >= 7 & HCP >= 3 & HCP <= 10 & LoserLevel >= 2) & NOT (D >= 6 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & HCP >= 5 & S <= 4) & NOT (S >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (S >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(S) & LoserLevel >= 3) & NOT (S >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in S & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & S < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & S < 5 & HCP >= 5) & NOT (S >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & S < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (RealSolid(D) & Losers <= 0) & NOT (RealSolid(S) & Losers = 1) & NOT (RealSolid(S) & Losers <= 0) & NOT (S >= 5 & S <= 6 & (D >= 5 OR C >= 5) & LoserLevel >= 2 & TP >= 10) & NO...
[23:45:27.724] [Timing] W precompute: 3ms mem d=147KB (total=1574MB)
[23:45:27.724] ENDGAME_WORLD: #1 (w=1.00) N:7..4. .97.. .A.K. .KT..
[23:45:27.724] ENDGAME_WORLD: #2 (w=1.00) N:7..4. .T7.. .A.K. .K9..
[23:45:27.724] ENDGAME_WORLD: #3 (w=1.00) N:7..4. .K7.. .A.K. .T9..
[23:45:27.724] ENDGAME_WORLD: #4 (w=1.00) N:7..4. .T9.. .A.K. .K7..
[23:45:27.724] ENDGAME_WORLD: #5 (w=1.00) N:7..4. .K9.. .A.K. .T7..
[23:45:27.724] ENDGAME_WORLD: #6 (w=1.00) N:7..4. .KT.. .A.K. .97..
[23:45:27.724] ENDGAME: Evaluating 2 candidates across 6 worlds (totalWeight=6.00, rankByScore=True):
[23:45:27.724]   S7: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=10.0, dist=[10:6.0]
[23:45:27.724]   D4: defeat 100 % (6.0/6.0), makes 100 % (6.0/6.0), avgDeclTricks=10.0, dist=[10:6.0]
[23:45:27.724]   IMP S7: 0.00
[23:45:27.724]   IMP D4: 0.00
[23:45:27.725]   MP S7: 0.000
[23:45:27.725]   MP D4: 0.000
[23:45:27.725] ENDGAME: Selected D4 (100 %)
[23:45:27.725] ENDGAME: CLAIM -- best line wins all 2 remaining tricks in every world
[23:45:27.725] Tied cards: D4,S7 -- invoking NN directly on tied set
[23:45:27.725] === FindBestCardAsync: Position=N, CardsPlayed=44 ===
[23:45:27.725] Finding card to play for N: AJT8754.Q.AT864.
[23:45:27.725] Relative position: Declarer, Contract type: Suit
[23:45:27.725] Cards in hand mask: 2
[23:45:27.726]   Candidate: xD = 59.3 %
[23:45:27.726]   Candidate: xS = 40.7 %
[23:45:27.727] Selected: D4 (59.3 %)