--- Showing last 200 of 1478 lines ---
[04:33:26.190] [TRUMP] Skipped: not declaring
[04:33:26.190] Selected: D2 (avg 1.55 IMPs, 3.93 tricks) -- 1 tied card(s): D5
[04:33:26.190] [stage-timing] ok sample=226ms validate=0ms nn=405ms signal=0ms simgames=4ms dds=76ms total=716ms samples=100 cards=25
[04:33:26.191] === FindBestCardAsync: Position=W, CardsPlayed=25 ===
[04:33:26.191] Finding card to play for W: 832.KT76.52.QJ96
[04:33:26.191] Relative position: Lefty, Contract type: Suit
[04:33:26.191] Cards in hand mask: 5
[04:33:26.192]   Candidate: xD = 46.8 %
[04:33:26.192]   Candidate: JC = 20.4 %
[04:33:26.192]   Candidate: TH = 18.6 %
[04:33:26.192]   Candidate: xH = 9.9 %
[04:33:26.192]   Candidate: KH = 4.2 %
[04:33:26.192] Selected: D2 (46.8 %)
=== Board DailyIMP2026-08-30_b6_t2 (API) - DDS Engine (W) - 2026-08-30 04:33:29 ===
=== Board DailyIMP2026-08-30_b6_t2 (API) - Neural Network Engine (W) - 2026-08-30 04:33:29 ===
[04:33:29.140] Activated: 5 tricks remaining, threshold=5
[04:33:29.140] ENDGAME: Hidden cards=9 between E and S, need 5+4, declarer tricks=8, defense tricks=0
[04:33:29.140] ENDGAME: Contract=4H, Declarer=S, ToPlay=W, Trump=H
[04:33:29.141] ENDGAME: W [- HKT76 D5 -]
[04:33:29.141] ENDGAME: N [- HA D986 CT]
[04:33:29.141] ENDGAME: Hidden [- HQ953 DAKQJT -]
[04:33:29.141] ENDGAME: Current trick (1 cards, led by S): S7
[04:33:29.141] ENDGAME: 126 valid worlds (after void filtering)
[04:33:29.141] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:33:29.142] [DealFinder] Explained bid S 1S: "Opening Bid, RuleOf >= 21, HCP <= 21, S >= 5, SpadeLongest, HCP >= 12" -> require: (none)
[04:33:29.142] [DealFinder] Explained bid W P: "Overcalling 1Ma, Responses to 1Ma, S >= 6, True" -> require: (none)
[04:33:29.143] [DealFinder] Explained bid N 1N: "Responses to 1Ma-P, HCP <= 12, S < 4, HCP >= 6" -> require: (none)
[04:33:29.143] [DealFinder] Explained bid E P: "Responses to 1Ma-P-1N, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:33:29.143] [DealFinder] Explained bid S 3H: "Responses to 1S-P-1N-P, H >= 5, Losers <= 4, H >= 4, HCP >= 18" -> require: (none)
[04:33:29.144] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:29.144] [DealFinder] Explained bid N 4H: "Responses to 1S-P-1N-P-3H-P, BestMajor(H)" -> require: (none)
[04:33:29.145] [DealFinder] Explained bid E P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:29.145] [DealFinder] Explained bid S P: "Responses to 1S-P-1N-P-3H-P-4Ma-P, NOT (Comb. Pts >= 32, CombinedHcpMin >= 28)" -> require: (none)
[04:33:29.145] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:29.149] [DealFinder] N HCP min 8 -> 6: dropped 2 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:33:29.149] [DealFinder] N constraints: HCP[6-12], Suits=S[0-3], Trivial=False
[04:33:29.149] [DealFinder]   Expression (1440 chars): HCP <= 12 & S < 4 & HCP >= 6 & NOT (HCP >= 12 & ClubLongest & ((C > D & C > H) OR C = 4)) & NOT (HCP >= 12 & ExplicitShape = 3=4=3=3) & NOT (HCP >= 12 & DiamondLongest & (D > H OR D = 4) & (D > C OR D >= 5)) & NOT (HeartPoints >= 14 & HCP >= 10 & HeartLongest & H >= 5) & NOT (HCP >= 10 & HCP < 12 & H >= 6) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & S >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & S >= 4) & NOT (S >= 3 & IsSpadeSlamViable & CombinedSpadePointsMin >= SpadeSmallSlamPointTarget Subtract 2 & CombinedHcpMin >= 28) & NOT (S >= 3 & SpadeSlam) & NOT (S >= 3 & MonsterSlam(S)) & NOT (S >= 3 & MonsterGrandSlam(S)) & NOT (S >= 3 & IsSpadeSlamViable & CombinedSpadePointsMin >= SpadeGrandSlamPointTarget Subtract 1 & CombinedSpadePointsMin < SpadeGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in S & NOT 2 of Top 3 Honors in S) & NOT (S >= 3 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (((TP >= 6 & HCP < 10 & S >= 3) OR (HCP >= 5 & HCP < 10 & S >= 4))) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & H <= 3 & S <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & H <= 3 & S <= 2) & NOT (HCP >= 9 & HCP < 12 & S >= 4) & NOT (HCP >= 12 & HCP <= 15 & S = 3 & Balanced) & NOT (HCP <= 8 & S >= 5) & NOT (SpadePoints >= 12 & HCP >= 12 & S >= 4) & NOT (HCP >= 10 & HCP <= 14 & H <= 1 & S >= 4) & BestMajor(H) & NOT (H <= 2 & S <= 2)
[04:33:29.149] [Timing] N precompute: 3ms mem d=96KB (total=1424MB)
[04:33:29.159] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:33:29.159] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False
[04:33:29.160] [DealFinder]   Expression (4425 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 &...
[04:33:29.160] [Timing] E precompute: 10ms mem d=221KB (total=1424MB)
[04:33:29.165] [DealFinder] S HCP max: tightened from 21 to 20 using HandUnderstanding
[04:33:29.165] [DealFinder] S constraints: HCP[15-20], Suits=S[5-13] H[4-13], Trivial=False
[04:33:29.165] [DealFinder]   Expression (2725 chars): ((HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) OR (RuleOf >= 21 & HCP <= 21 & S >= 5 & SpadeLongest)) & 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 (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 >= 20) & BestSuit(C) & C >= 6 & Losers <= 2 & Aces >= 2) & NOT (HCP >...
[04:33:29.165] [Timing] S precompute: 5ms mem d=164KB (total=1424MB)
[04:33:29.169] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction).
[04:33:29.170] [DealFinder] W HCP max: tightened from 37 to 21 using HandUnderstanding
[04:33:29.170] [DealFinder] W constraints: HCP[0-21], Suits=(none), Trivial=False
[04:33:29.170] [DealFinder]   Expression (2518 chars): (S >= 6 OR True) & NOT (H >= 6 & HCP >= 8 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in H & HeartLongest) & NOT (H >= 5 & HCP >= 14 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in H & HeartLongest) & NOT (H >= 5 & HCP >= 11 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 3 Honors in H & HeartLongest) & 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 & H <= 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 & H <= 4) & NOT (H >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (H >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3) & NOT (H >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in H & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & H < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & H < 5 & HCP >= 5) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (Real...
[04:33:29.170] [Timing] W precompute: 4ms mem d=151KB (total=1424MB)
[04:33:29.170] ENDGAME: Bidding weights applied to 71/126 worlds (range 0.00-1.00, total 55.39, 55 unpenalised)
[04:33:29.170] ENDGAME: Played by E: 3 HCP S:3 H:0 D:2 C:3; by S: 11 HCP S:5 H:2 D:1 C:1
[04:33:29.170] ENDGAME_WORLD: #1 (w=0.00) N:.A.986.T .Q953.T. ..AKQJ. .KT76.5.
[04:33:29.170] ENDGAME_WORLD: #2 (w=0.01) N:.A.986.T .Q953.J. ..AKQT. .KT76.5.
[04:33:29.170] ENDGAME_WORLD: #3 (w=0.01) N:.A.986.T .Q953.Q. ..AKJT. .KT76.5.
[04:33:29.170] ENDGAME_WORLD: #4 (w=0.01) N:.A.986.T .Q953.K. ..AQJT. .KT76.5.
[04:33:29.170] ENDGAME_WORLD: #5 (w=0.01) N:.A.986.T .Q953.A. ..KQJT. .KT76.5.
[04:33:29.170] ENDGAME_WORLD: #6 (w=0.00) N:.A.986.T .953.JT. .Q.AKQ. .KT76.5.
[04:33:29.170] ENDGAME_WORLD: #7 (w=0.00) N:.A.986.T .953.QT. .Q.AKJ. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #8 (w=0.01) N:.A.986.T .953.KT. .Q.AQJ. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #9 (w=0.01) N:.A.986.T .953.AT. .Q.KQJ. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #10 (w=0.01) N:.A.986.T .953.QJ. .Q.AKT. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #11 (w=0.01) N:.A.986.T .953.KJ. .Q.AQT. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #12 (w=0.01) N:.A.986.T .953.AJ. .Q.KQT. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #13 (w=0.01) N:.A.986.T .953.KQ. .Q.AJT. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #14 (w=0.01) N:.A.986.T .953.AQ. .Q.KJT. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #15 (w=0.01) N:.A.986.T .953.AK. .Q.QJT. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #16 (w=0.01) N:.A.986.T .Q53.JT. .9.AKQ. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #17 (w=0.01) N:.A.986.T .Q53.QT. .9.AKJ. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #18 (w=0.01) N:.A.986.T .Q53.KT. .9.AQJ. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #19 (w=0.01) N:.A.986.T .Q53.AT. .9.KQJ. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: #20 (w=0.01) N:.A.986.T .Q53.QJ. .9.AKT. .KT76.5.
[04:33:29.171] ENDGAME_WORLD: ... and 106 more
[04:33:29.171] ENDGAME: Evaluating 5 candidates across 126 worlds (totalWeight=55.39, rankByScore=True):
[04:33:29.184]   H6: defeat 38 % (21.2/55.4), makes 62 % (34.2/55.4), avgDeclTricks=9.9, dist=9:21.2 [10:20.2] [11:14.0]
[04:33:29.197]   H7: defeat 38 % (21.2/55.4), makes 62 % (34.2/55.4), avgDeclTricks=9.9, dist=9:21.2 [10:20.2] [11:14.0]
[04:33:29.211]   HT: defeat 29 % (16.2/55.4), makes 71 % (39.2/55.4), avgDeclTricks=10.0, dist=9:16.2 [10:25.2] [11:14.0]
[04:33:29.223]   HK: defeat 11 % (6.1/55.4), makes 89 % (49.3/55.4), avgDeclTricks=10.3, dist=9:6.1 [10:30.2] [11:13.0] [12:6.0]
[04:33:29.236]   D5: defeat 35 % (19.4/55.4), makes 65 % (36.0/55.4), avgDeclTricks=9.6, dist=9:19.4 [10:36.0] [11:0.0]
[04:33:29.236]   IMP H6: 0.97
[04:33:29.236]   IMP H7: 0.97
[04:33:29.236]   IMP HT: -0.16
[04:33:29.236]   IMP HK: -2.67
[04:33:29.236]   IMP D5: 0.89
[04:33:29.236] ENDGAME: Selected H7 (38 %)
[04:33:29.236] Tied cards: H7,H6 -- invoking NN directly on tied set
[04:33:29.236] === FindBestCardAsync: Position=W, CardsPlayed=33 ===
[04:33:29.237] Finding card to play for W: 832.KT76.52.QJ96
[04:33:29.237] Relative position: Lefty, Contract type: Suit
[04:33:29.237] Cards in hand mask: 4
[04:33:29.238]   Candidate: xD = 45.7 %
[04:33:29.238]   Candidate: xH = 30.5 %
[04:33:29.238]   Candidate: TH = 19.8 %
[04:33:29.238]   Candidate: KH = 4.0 %
[04:33:29.238] Selected: D5 (45.7 %)
=== Board DailyIMP2026-08-30_b6_t2 (API) - DDS Engine (W) - 2026-08-30 04:33:30 ===
=== Board DailyIMP2026-08-30_b6_t2 (API) - Neural Network Engine (W) - 2026-08-30 04:33:30 ===
[04:33:30.601] Activated: 3 tricks remaining, threshold=5
[04:33:30.601] ENDGAME: Hidden cards=4 between E and S, need 2+2, declarer tricks=9, defense tricks=1
[04:33:30.601] ENDGAME: Contract=4H, Declarer=S, ToPlay=W, Trump=H
[04:33:30.601] ENDGAME: W [- HKT6 - -]
[04:33:30.601] ENDGAME: N [- - D86 CT]
[04:33:30.601] ENDGAME: Hidden [- HQ5 DKQ -]
[04:33:30.601] ENDGAME: Current trick (2 cards, led by E): H3 H9
[04:33:30.601] ENDGAME: 6 valid worlds (after void filtering)
[04:33:30.602] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:33:30.602] [DealFinder] Explained bid S 1S: "Opening Bid, RuleOf >= 21, HCP <= 21, S >= 5, SpadeLongest, HCP >= 12" -> require: (none)
[04:33:30.603] [DealFinder] Explained bid W P: "Overcalling 1Ma, Responses to 1Ma, S >= 6, True" -> require: (none)
[04:33:30.603] [DealFinder] Explained bid N 1N: "Responses to 1Ma-P, HCP <= 12, S < 4, HCP >= 6" -> require: (none)
[04:33:30.603] [DealFinder] Explained bid E P: "Responses to 1Ma-P-1N, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:33:30.604] [DealFinder] Explained bid S 3H: "Responses to 1S-P-1N-P, H >= 5, Losers <= 4, H >= 4, HCP >= 18" -> require: (none)
[04:33:30.604] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:30.605] [DealFinder] Explained bid N 4H: "Responses to 1S-P-1N-P-3H-P, BestMajor(H)" -> require: (none)
[04:33:30.605] [DealFinder] Explained bid E P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:30.605] [DealFinder] Explained bid S P: "Responses to 1S-P-1N-P-3H-P-4Ma-P, NOT (Comb. Pts >= 32, CombinedHcpMin >= 28)" -> require: (none)
[04:33:30.606] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:30.609] [DealFinder] N HCP min 8 -> 6: dropped 2 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:33:30.609] [DealFinder] N constraints: HCP[6-12], Suits=S[0-3], Trivial=False
[04:33:30.609] [DealFinder]   Expression (1440 chars): HCP <= 12 & S < 4 & HCP >= 6 & NOT (HCP >= 12 & ClubLongest & ((C > D & C > H) OR C = 4)) & NOT (HCP >= 12 & ExplicitShape = 3=4=3=3) & NOT (HCP >= 12 & DiamondLongest & (D > H OR D = 4) & (D > C OR D >= 5)) & NOT (HeartPoints >= 14 & HCP >= 10 & HeartLongest & H >= 5) & NOT (HCP >= 10 & HCP < 12 & H >= 6) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & S >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & S >= 4) & NOT (S >= 3 & IsSpadeSlamViable & CombinedSpadePointsMin >= SpadeSmallSlamPointTarget Subtract 2 & CombinedHcpMin >= 28) & NOT (S >= 3 & SpadeSlam) & NOT (S >= 3 & MonsterSlam(S)) & NOT (S >= 3 & MonsterGrandSlam(S)) & NOT (S >= 3 & IsSpadeSlamViable & CombinedSpadePointsMin >= SpadeGrandSlamPointTarget Subtract 1 & CombinedSpadePointsMin < SpadeGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in S & NOT 2 of Top 3 Honors in S) & NOT (S >= 3 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (((TP >= 6 & HCP < 10 & S >= 3) OR (HCP >= 5 & HCP < 10 & S >= 4))) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & H <= 3 & S <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & H <= 3 & S <= 2) & NOT (HCP >= 9 & HCP < 12 & S >= 4) & NOT (HCP >= 12 & HCP <= 15 & S = 3 & Balanced) & NOT (HCP <= 8 & S >= 5) & NOT (SpadePoints >= 12 & HCP >= 12 & S >= 4) & NOT (HCP >= 10 & HCP <= 14 & H <= 1 & S >= 4) & BestMajor(H) & NOT (H <= 2 & S <= 2)
[04:33:30.609] [Timing] N precompute: 3ms mem d=104KB (total=1422MB)
[04:33:30.619] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:33:30.619] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False
[04:33:30.619] [DealFinder]   Expression (4425 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 &...
[04:33:30.619] [Timing] E precompute: 9ms mem d=217KB (total=1423MB)
[04:33:30.624] [DealFinder] S HCP max: tightened from 21 to 20 using HandUnderstanding
[04:33:30.625] [DealFinder] S constraints: HCP[15-20], Suits=S[5-13] H[4-13], Trivial=False
[04:33:30.625] [DealFinder]   Expression (2725 chars): ((HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) OR (RuleOf >= 21 & HCP <= 21 & S >= 5 & SpadeLongest)) & 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 (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 >= 20) & BestSuit(C) & C >= 6 & Losers <= 2 & Aces >= 2) & NOT (HCP >...
[04:33:30.625] [Timing] S precompute: 5ms mem d=169KB (total=1423MB)
[04:33:30.629] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction).
[04:33:30.629] [DealFinder] W HCP max: tightened from 37 to 21 using HandUnderstanding
[04:33:30.629] [DealFinder] W constraints: HCP[0-21], Suits=(none), Trivial=False
[04:33:30.629] [DealFinder]   Expression (2518 chars): (S >= 6 OR True) & NOT (H >= 6 & HCP >= 8 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in H & HeartLongest) & NOT (H >= 5 & HCP >= 14 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in H & HeartLongest) & NOT (H >= 5 & HCP >= 11 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 3 Honors in H & HeartLongest) & 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 & H <= 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 & H <= 4) & NOT (H >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (H >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3) & NOT (H >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in H & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & H < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & H < 5 & HCP >= 5) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (Real...
[04:33:30.629] [Timing] W precompute: 4ms mem d=159KB (total=1423MB)
[04:33:30.629] ENDGAME: Bidding weights applied to 3/6 worlds (range 0.00-1.00, total 3.01, 3 unpenalised)
[04:33:30.629] ENDGAME: Played by E: 7 HCP S:3 H:1 D:4 C:3; by S: 12 HCP S:5 H:3 D:2 C:1
[04:33:30.630] ENDGAME_WORLD: #1 (w=0.01) N:..86.T .Q5.. ..KQ. .KT6..
[04:33:30.630] ENDGAME_WORLD: #2 (w=1.00) N:..86.T .5.Q. .Q.K. .KT6..
[04:33:30.630] ENDGAME_WORLD: #3 (w=1.00) N:..86.T .5.K. .Q.Q. .KT6..
[04:33:30.630] ENDGAME_WORLD: #4 (w=1.00) N:..86.T .Q.Q. .5.K. .KT6..
[04:33:30.630] ENDGAME_WORLD: #5 (w=0.00) N:..86.T .Q.K. .5.Q. .KT6..
[04:33:30.630] ENDGAME_WORLD: #6 (w=0.00) N:..86.T ..KQ. .Q5.. .KT6..
[04:33:30.630] ENDGAME: Evaluating 3 candidates across 6 worlds (totalWeight=3.01, rankByScore=True):
[04:33:30.630]   H6: defeat 0 % (0.0/3.0), makes 100 % (3.0/3.0), avgDeclTricks=10.0, dist=[10:3.0]
[04:33:30.630]   HT: defeat 100 % (3.0/3.0), makes 0 % (0.0/3.0), avgDeclTricks=9.0, dist=9:3.0 [10:0.0]
[04:33:30.630]   HK: defeat 34 % (1.0/3.0), makes 66 % (2.0/3.0), avgDeclTricks=9.7, dist=9:1.0 [10:2.0]
[04:33:30.630]   IMP H6: -6.68
[04:33:30.630]   IMP HT: 8.32
[04:33:30.630]   IMP HK: -1.64
[04:33:30.631] ENDGAME: 3rd-hand-high reward +0.50 IMP to HK (now -1.14)
[04:33:30.631] ENDGAME: Selected HT (100 %)
[04:33:30.864] Activated: 2 tricks remaining, threshold=5
[04:33:30.864] ENDGAME: Hidden cards=4 between E and S, need 2+2, declarer tricks=9, defense tricks=2
[04:33:30.864] ENDGAME: Contract=4H, Declarer=S, ToPlay=W, Trump=H
[04:33:30.864] ENDGAME: W [- HK6 - -]
[04:33:30.864] ENDGAME: N [- - D8 CT]
[04:33:30.864] ENDGAME: Hidden [- HQ5 DKQ -]
[04:33:30.864] ENDGAME: 6 valid worlds (after void filtering)
[04:33:30.865] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none)
[04:33:30.865] [DealFinder] Explained bid S 1S: "Opening Bid, RuleOf >= 21, HCP <= 21, S >= 5, SpadeLongest, HCP >= 12" -> require: (none)
[04:33:30.865] [DealFinder] Explained bid W P: "Overcalling 1Ma, Responses to 1Ma, S >= 6, True" -> require: (none)
[04:33:30.866] [DealFinder] Explained bid N 1N: "Responses to 1Ma-P, HCP <= 12, S < 4, HCP >= 6" -> require: (none)
[04:33:30.866] [DealFinder] Explained bid E P: "Responses to 1Ma-P-1N, Defensive bidding after two bids from opponents, True" -> require: (none)
[04:33:30.867] [DealFinder] Explained bid S 3H: "Responses to 1S-P-1N-P, H >= 5, Losers <= 4, H >= 4, HCP >= 18" -> require: (none)
[04:33:30.867] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:30.868] [DealFinder] Explained bid N 4H: "Responses to 1S-P-1N-P-3H-P, BestMajor(H)" -> require: (none)
[04:33:30.868] [DealFinder] Explained bid E P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:30.868] [DealFinder] Explained bid S P: "Responses to 1S-P-1N-P-3H-P-4Ma-P, NOT (Comb. Pts >= 32, CombinedHcpMin >= 28)" -> require: (none)
[04:33:30.869] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none)
[04:33:30.872] [DealFinder] N HCP min 8 -> 6: dropped 2 of PRIVATE floor (reasoned from S's own cards, not advertised by the auction).
[04:33:30.872] [DealFinder] N constraints: HCP[6-12], Suits=S[0-3], Trivial=False
[04:33:30.872] [DealFinder]   Expression (1440 chars): HCP <= 12 & S < 4 & HCP >= 6 & NOT (HCP >= 12 & ClubLongest & ((C > D & C > H) OR C = 4)) & NOT (HCP >= 12 & ExplicitShape = 3=4=3=3) & NOT (HCP >= 12 & DiamondLongest & (D > H OR D = 4) & (D > C OR D >= 5)) & NOT (HeartPoints >= 14 & HCP >= 10 & HeartLongest & H >= 5) & NOT (HCP >= 10 & HCP < 12 & H >= 6) & NOT (HCP >= 10 & HCP <= 14 & C <= 1 & S >= 4) & NOT (HCP >= 10 & HCP <= 14 & D <= 1 & S >= 4) & NOT (S >= 3 & IsSpadeSlamViable & CombinedSpadePointsMin >= SpadeSmallSlamPointTarget Subtract 2 & CombinedHcpMin >= 28) & NOT (S >= 3 & SpadeSlam) & NOT (S >= 3 & MonsterSlam(S)) & NOT (S >= 3 & MonsterGrandSlam(S)) & NOT (S >= 3 & IsSpadeSlamViable & CombinedSpadePointsMin >= SpadeGrandSlamPointTarget Subtract 1 & CombinedSpadePointsMin < SpadeGrandSlamPointTarget & CombinedHcpMin >= 28 & TP >= 13 & 1 of Top 3 Honors in S & NOT 2 of Top 3 Honors in S) & NOT (S >= 3 & IsNtSlamViable & (CombinedHcpMin >= NtGrandSlamPointTarget OR (CombinedHcpMin >= NtGrandSlamPointTarget Subtract 2 & Aces = 4))) & NOT (((TP >= 6 & HCP < 10 & S >= 3) OR (HCP >= 5 & HCP < 10 & S >= 4))) & NOT (HCP >= 10 & HCP < 12 & C >= 6 & H <= 3 & S <= 2) & NOT (HCP >= 10 & HCP < 12 & D >= 6 & H <= 3 & S <= 2) & NOT (HCP >= 9 & HCP < 12 & S >= 4) & NOT (HCP >= 12 & HCP <= 15 & S = 3 & Balanced) & NOT (HCP <= 8 & S >= 5) & NOT (SpadePoints >= 12 & HCP >= 12 & S >= 4) & NOT (HCP >= 10 & HCP <= 14 & H <= 1 & S >= 4) & BestMajor(H) & NOT (H <= 2 & S <= 2)
[04:33:30.872] [Timing] N precompute: 3ms mem d=107KB (total=1430MB)
[04:33:30.882] [DealFinder] E HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from W's own cards, not advertised by the auction).
[04:33:30.883] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False
[04:33:30.883] [DealFinder]   Expression (4425 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 &...
[04:33:30.883] [Timing] E precompute: 10ms mem d=222KB (total=1431MB)
[04:33:30.888] [DealFinder] S HCP max: tightened from 21 to 20 using HandUnderstanding
[04:33:30.888] [DealFinder] S constraints: HCP[15-20], Suits=S[5-13] H[4-13], Trivial=False
[04:33:30.888] [DealFinder]   Expression (2725 chars): ((HCP >= 12 & HCP <= 21 & S >= 5 & SpadeLongest) OR (RuleOf >= 21 & HCP <= 21 & S >= 5 & SpadeLongest)) & 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 (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 >= 20) & BestSuit(C) & C >= 6 & Losers <= 2 & Aces >= 2) & NOT (HCP >...
[04:33:30.888] [Timing] S precompute: 5ms mem d=164KB (total=1431MB)
[04:33:30.893] [DealFinder] W HCP min 3 -> 0: dropped 3 of PRIVATE floor (reasoned from E's own cards, not advertised by the auction).
[04:33:30.893] [DealFinder] W HCP max: tightened from 37 to 21 using HandUnderstanding
[04:33:30.893] [DealFinder] W constraints: HCP[0-21], Suits=(none), Trivial=False
[04:33:30.893] [DealFinder]   Expression (2518 chars): (S >= 6 OR True) & NOT (H >= 6 & HCP >= 8 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in H & HeartLongest) & NOT (H >= 5 & HCP >= 14 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 4 Honors in H & HeartLongest) & NOT (H >= 5 & HCP >= 11 & HCP <= 17 & LoserLevel >= 2 & 2 of Top 3 Honors in H & HeartLongest) & 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 & H <= 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 & H <= 4) & NOT (H >= 6 & HCP > 7 & HCP < 12 & LoserLevel >= 3) & NOT (H >= 7 & HCP >= 3 & HCP <= 10 & TwiceRebiddable(H) & LoserLevel >= 3) & NOT (H >= 6 & HCP <= 12 & LoserLevel >= 3 & 2 of Top 4 Honors in H & HCP >= 5) & NOT (C >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in C & H < 5 & HCP >= 5) & NOT (D >= 7 & HCP < 12 & LoserLevel >= 3 & 2 of Top 4 Honors in D & H < 5 & HCP >= 5) & NOT (H >= 7 & HCP < 14 & LoserLevel >= 4 & HCP >= 5) & NOT (C >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & HCP >= 5) & NOT (D >= 8 & HCP < 14 & LoserLevel >= 5 & H < 5 & HCP >= 5) & NOT (RealSolid(C) & Losers = 1) & NOT (RealSolid(D) & Losers = 1) & NOT (RealSolid(C) & Losers <= 0) & NOT (Real...
[04:33:30.893] [Timing] W precompute: 4ms mem d=151KB (total=1431MB)
[04:33:30.893] ENDGAME: Bidding weights applied to 3/6 worlds (range 0.00-1.00, total 3.01, 3 unpenalised)
[04:33:30.893] ENDGAME: Played by E: 7 HCP S:3 H:1 D:4 C:3; by S: 12 HCP S:5 H:3 D:2 C:1
[04:33:30.893] ENDGAME_WORLD: #1 (w=0.01) N:..8.T .Q5.. ..KQ. .K6..
[04:33:30.893] ENDGAME_WORLD: #2 (w=1.00) N:..8.T .5.Q. .Q.K. .K6..
[04:33:30.893] ENDGAME_WORLD: #3 (w=1.00) N:..8.T .5.K. .Q.Q. .K6..
[04:33:30.893] ENDGAME_WORLD: #4 (w=1.00) N:..8.T .Q.Q. .5.K. .K6..
[04:33:30.893] ENDGAME_WORLD: #5 (w=0.00) N:..8.T .Q.K. .5.Q. .K6..
[04:33:30.894] ENDGAME_WORLD: #6 (w=0.00) N:..8.T ..KQ. .Q5.. .K6..
[04:33:30.894] ENDGAME: Evaluating 2 candidates across 6 worlds (totalWeight=3.01, rankByScore=True):
[04:33:30.894]   H6: defeat 34 % (1.0/3.0), makes 66 % (2.0/3.0), avgDeclTricks=9.7, dist=9:1.0 [10:2.0]
[04:33:30.894]   HK: defeat 100 % (3.0/3.0), makes 0 % (0.0/3.0), avgDeclTricks=9.0, dist=9:3.0 [10:0.0]
[04:33:30.894]   IMP H6: -6.64
[04:33:30.894]   IMP HK: 6.64
[04:33:30.894] ENDGAME: Selected HK (100 %)