--- Showing last 200 of 1303 lines --- [04:33:29.629] [Timing] N precompute: 3ms mem d=125KB (total=1429MB) [04:33:29.639] [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.640] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False [04:33:29.640] [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.640] [Timing] E precompute: 10ms mem d=209KB (total=1429MB) [04:33:29.645] [DealFinder] S HCP max: tightened from 21 to 20 using HandUnderstanding [04:33:29.645] [DealFinder] S constraints: HCP[15-20], Suits=S[5-13] H[4-13], Trivial=False [04:33:29.645] [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.645] [Timing] S precompute: 5ms mem d=177KB (total=1429MB) [04:33:29.650] [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.651] [DealFinder] W HCP max: tightened from 37 to 21 using HandUnderstanding [04:33:29.651] [DealFinder] W constraints: HCP[0-21], Suits=(none), Trivial=False [04:33:29.651] [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.651] [Timing] W precompute: 5ms mem d=159KB (total=1429MB) [04:33:29.651] ENDGAME: Bidding weights applied to 28/70 worlds (range 0.01-1.00, total 42.28, 42 unpenalised) [04:33:29.651] ENDGAME: Played by S: 11 HCP S:5 H:2 D:1 C:1; by W: 3 HCP S:3 H:1 D:1 C:4 [04:33:29.651] ENDGAME_WORLD: #1 (w=0.01) N:..986.T .53.AQT. .QT96.. .K.KJ5. [04:33:29.651] ENDGAME_WORLD: #2 (w=0.01) N:..986.T .53.AQT. .KT96.. .Q.KJ5. [04:33:29.651] ENDGAME_WORLD: #3 (w=0.01) N:..986.T .53.AQT. .T96.5. .KQ.KJ. [04:33:29.651] ENDGAME_WORLD: #4 (w=0.01) N:..986.T .53.AQT. .T96.J. .KQ.K5. [04:33:29.651] ENDGAME_WORLD: #5 (w=0.01) N:..986.T .53.AQT. .T96.K. .KQ.J5. [04:33:29.651] ENDGAME_WORLD: #6 (w=1.00) N:..986.T .53.AQT. .KQ96.. .T.KJ5. [04:33:29.651] ENDGAME_WORLD: #7 (w=0.01) N:..986.T .53.AQT. .Q96.5. .KT.KJ. [04:33:29.651] ENDGAME_WORLD: #8 (w=0.01) N:..986.T .53.AQT. .Q96.J. .KT.K5. [04:33:29.651] ENDGAME_WORLD: #9 (w=1.00) N:..986.T .53.AQT. .Q96.K. .KT.J5. [04:33:29.652] ENDGAME_WORLD: #10 (w=0.01) N:..986.T .53.AQT. .K96.5. .QT.KJ. [04:33:29.652] ENDGAME_WORLD: #11 (w=1.00) N:..986.T .53.AQT. .K96.J. .QT.K5. [04:33:29.652] ENDGAME_WORLD: #12 (w=1.00) N:..986.T .53.AQT. .K96.K. .QT.J5. [04:33:29.652] ENDGAME_WORLD: #13 (w=0.01) N:..986.T .53.AQT. .96.J5. .KQT.K. [04:33:29.652] ENDGAME_WORLD: #14 (w=0.01) N:..986.T .53.AQT. .96.K5. .KQT.J. [04:33:29.652] ENDGAME_WORLD: #15 (w=1.00) N:..986.T .53.AQT. .96.KJ. .KQT.5. [04:33:29.652] ENDGAME_WORLD: #16 (w=1.00) N:..986.T .53.AQT. .KQT6.. .9.KJ5. [04:33:29.652] ENDGAME_WORLD: #17 (w=0.01) N:..986.T .53.AQT. .QT6.5. .K9.KJ. [04:33:29.652] ENDGAME_WORLD: #18 (w=0.01) N:..986.T .53.AQT. .QT6.J. .K9.K5. [04:33:29.652] ENDGAME_WORLD: #19 (w=1.00) N:..986.T .53.AQT. .QT6.K. .K9.J5. [04:33:29.652] ENDGAME_WORLD: #20 (w=0.01) N:..986.T .53.AQT. .KT6.5. .Q9.KJ. [04:33:29.652] ENDGAME_WORLD: ... and 50 more [04:33:29.652] ENDGAME: Evaluating 5 candidates across 70 worlds (totalWeight=42.28, rankByScore=True): [04:33:29.659] H3: defeat 17 % (7.1/42.3), makes 83 % (35.2/42.3), avgDeclTricks=10.7, dist=9:7.1 [10:12.1] [11:11.1] [12:9.0] [13:3.0] [04:33:29.664] H5: defeat 17 % (7.1/42.3), makes 83 % (35.2/42.3), avgDeclTricks=10.7, dist=9:7.1 [10:12.1] [11:11.1] [12:9.0] [13:3.0] [04:33:29.668] DT: defeat 17 % (7.1/42.3), makes 83 % (35.2/42.3), avgDeclTricks=10.7, dist=9:7.1 [10:12.1] [11:11.1] [12:9.0] [13:3.0] [04:33:29.673] DQ: defeat 17 % (7.1/42.3), makes 83 % (35.2/42.3), avgDeclTricks=10.7, dist=9:7.1 [10:12.1] [11:11.1] [12:9.0] [13:3.0] [04:33:29.676] DA: defeat 0 % (0.1/42.3), makes 100 % (42.2/42.3), avgDeclTricks=11.5, dist=9:0.1 [10:5.1] [11:16.1] [12:15.0] [13:6.0] [04:33:29.676] IMP H3: 0.57 [04:33:29.676] IMP H5: 0.57 [04:33:29.676] IMP DT: 0.57 [04:33:29.676] IMP DQ: 0.57 [04:33:29.676] IMP DA: -2.28 [04:33:29.676] ENDGAME: Selected DQ (17 %) [04:33:29.676] Tied cards: DQ,DT,H5,H3 -- invoking NN directly on tied set [04:33:29.677] === FindBestCardAsync: Position=E, CardsPlayed=35 === [04:33:29.677] Finding card to play for E: QJ4.53.AQT43.853 [04:33:29.677] Relative position: Righty, Contract type: Suit [04:33:29.677] Cards in hand mask: 4 [04:33:29.678] Candidate: TD = 90.0 % [04:33:29.678] Candidate: xH = 9.6 % [04:33:29.678] Candidate: AD = 0.2 % [04:33:29.678] Candidate: QD = 0.2 % [04:33:29.678] Selected: DT (90.0 %) [04:33:29.997] Activated: 4 tricks remaining, threshold=5 [04:33:29.997] ENDGAME: Hidden cards=8 between S and W, need 4+4, declarer tricks=9, defense tricks=0 [04:33:29.997] ENDGAME: Contract=4H, Declarer=S, ToPlay=E, Trump=H [04:33:29.997] ENDGAME: E [- H53 DAQ -] [04:33:29.997] ENDGAME: N [- - D86 CT] [04:33:29.997] ENDGAME: Hidden [- HKQT96 DKJ5 -] [04:33:29.997] ENDGAME: Current trick (1 cards, led by N): D9 [04:33:29.997] ENDGAME: 70 valid worlds (after void filtering) [04:33:29.998] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [04:33:29.998] [DealFinder] Explained bid S 1S: "Opening Bid, RuleOf >= 21, HCP <= 21, S >= 5, SpadeLongest, HCP >= 12" -> require: (none) [04:33:29.998] [DealFinder] Explained bid W P: "Overcalling 1Ma, Responses to 1Ma, S >= 6, True" -> require: (none) [04:33:29.999] [DealFinder] Explained bid N 1N: "Responses to 1Ma-P, HCP <= 12, S < 4, HCP >= 6" -> require: (none) [04:33:29.999] [DealFinder] Explained bid E P: "Responses to 1Ma-P-1N, Defensive bidding after two bids from opponents, True" -> require: (none) [04:33:30.000] [DealFinder] Explained bid S 3H: "Responses to 1S-P-1N-P, H >= 5, Losers <= 4, H >= 4, HCP >= 18" -> require: (none) [04:33:30.000] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:33:30.001] [DealFinder] Explained bid N 4H: "Responses to 1S-P-1N-P-3H-P, BestMajor(H)" -> require: (none) [04:33:30.001] [DealFinder] Explained bid E P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:33:30.001] [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.002] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:33:30.005] [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.005] [DealFinder] N constraints: HCP[6-12], Suits=S[0-3], Trivial=False [04:33:30.005] [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.005] [Timing] N precompute: 3ms mem d=106KB (total=1433MB) [04:33:30.015] [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.015] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False [04:33:30.015] [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.015] [Timing] E precompute: 9ms mem d=210KB (total=1433MB) [04:33:30.020] [DealFinder] S HCP max: tightened from 21 to 20 using HandUnderstanding [04:33:30.020] [DealFinder] S constraints: HCP[15-20], Suits=S[5-13] H[4-13], Trivial=False [04:33:30.021] [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.021] [Timing] S precompute: 5ms mem d=177KB (total=1433MB) [04:33:30.025] [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.025] [DealFinder] W HCP max: tightened from 37 to 21 using HandUnderstanding [04:33:30.025] [DealFinder] W constraints: HCP[0-21], Suits=(none), Trivial=False [04:33:30.025] [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.025] [Timing] W precompute: 4ms mem d=159KB (total=1433MB) [04:33:30.026] ENDGAME: Bidding weights applied to 28/70 worlds (range 0.01-1.00, total 42.28, 42 unpenalised) [04:33:30.026] ENDGAME: Played by S: 11 HCP S:5 H:2 D:1 C:1; by W: 3 HCP S:3 H:1 D:1 C:4 [04:33:30.026] ENDGAME_WORLD: #1 (w=0.01) N:..86.T .53.AQ. .QT96.. .K.KJ5. [04:33:30.026] ENDGAME_WORLD: #2 (w=0.01) N:..86.T .53.AQ. .KT96.. .Q.KJ5. [04:33:30.026] ENDGAME_WORLD: #3 (w=0.01) N:..86.T .53.AQ. .T96.5. .KQ.KJ. [04:33:30.026] ENDGAME_WORLD: #4 (w=0.01) N:..86.T .53.AQ. .T96.J. .KQ.K5. [04:33:30.026] ENDGAME_WORLD: #5 (w=0.01) N:..86.T .53.AQ. .T96.K. .KQ.J5. [04:33:30.026] ENDGAME_WORLD: #6 (w=1.00) N:..86.T .53.AQ. .KQ96.. .T.KJ5. [04:33:30.026] ENDGAME_WORLD: #7 (w=0.01) N:..86.T .53.AQ. .Q96.5. .KT.KJ. [04:33:30.026] ENDGAME_WORLD: #8 (w=0.01) N:..86.T .53.AQ. .Q96.J. .KT.K5. [04:33:30.026] ENDGAME_WORLD: #9 (w=1.00) N:..86.T .53.AQ. .Q96.K. .KT.J5. [04:33:30.026] ENDGAME_WORLD: #10 (w=0.01) N:..86.T .53.AQ. .K96.5. .QT.KJ. [04:33:30.026] ENDGAME_WORLD: #11 (w=1.00) N:..86.T .53.AQ. .K96.J. .QT.K5. [04:33:30.026] ENDGAME_WORLD: #12 (w=1.00) N:..86.T .53.AQ. .K96.K. .QT.J5. [04:33:30.026] ENDGAME_WORLD: #13 (w=0.01) N:..86.T .53.AQ. .96.J5. .KQT.K. [04:33:30.027] ENDGAME_WORLD: #14 (w=0.01) N:..86.T .53.AQ. .96.K5. .KQT.J. [04:33:30.027] ENDGAME_WORLD: #15 (w=1.00) N:..86.T .53.AQ. .96.KJ. .KQT.5. [04:33:30.027] ENDGAME_WORLD: #16 (w=1.00) N:..86.T .53.AQ. .KQT6.. .9.KJ5. [04:33:30.027] ENDGAME_WORLD: #17 (w=0.01) N:..86.T .53.AQ. .QT6.5. .K9.KJ. [04:33:30.027] ENDGAME_WORLD: #18 (w=0.01) N:..86.T .53.AQ. .QT6.J. .K9.K5. [04:33:30.027] ENDGAME_WORLD: #19 (w=1.00) N:..86.T .53.AQ. .QT6.K. .K9.J5. [04:33:30.027] ENDGAME_WORLD: #20 (w=0.01) N:..86.T .53.AQ. .KT6.5. .Q9.KJ. [04:33:30.027] ENDGAME_WORLD: ... and 50 more [04:33:30.027] ENDGAME: Evaluating 2 candidates across 70 worlds (totalWeight=42.28, rankByScore=True): [04:33:30.028] DQ: defeat 0 % (0.1/42.3), makes 100 % (42.2/42.3), avgDeclTricks=11.5, dist=9:0.1 [10:5.1] [11:16.1] [12:15.0] [13:6.0] [04:33:30.031] DA: defeat 17 % (7.1/42.3), makes 83 % (35.2/42.3), avgDeclTricks=10.7, dist=9:7.1 [10:12.1] [11:11.1] [12:9.0] [13:3.0] [04:33:30.031] IMP DQ: -2.28 [04:33:30.031] IMP DA: 2.28 [04:33:30.031] ENDGAME: 2nd-hand-low reward +0.50 IMP to DQ (now -1.78) [04:33:30.031] ENDGAME: Selected DA (17 %) === Board DailyIMP2026-08-30_b6_t2 (API) - DDS Engine (E) - 2026-08-30 04:33:30 === === Board DailyIMP2026-08-30_b6_t2 (API) - Neural Network Engine (E) - 2026-08-30 04:33:30 === [04:33:30.331] Activated: 3 tricks remaining, threshold=5 [04:33:30.331] ENDGAME: Hidden cards=6 between S and W, need 3+3, declarer tricks=9, defense tricks=1 [04:33:30.331] ENDGAME: Contract=4H, Declarer=S, ToPlay=E, Trump=H [04:33:30.331] ENDGAME: E [- H53 DQ -] [04:33:30.331] ENDGAME: N [- - D86 CT] [04:33:30.331] ENDGAME: Hidden [- HKQT96 DK -] [04:33:30.331] ENDGAME: 20 valid worlds (after void filtering) [04:33:30.332] [DealFinder] Explained bid E P: "Opening Bid, HCP < 12, RuleOf < 21" -> require: (none) [04:33:30.332] [DealFinder] Explained bid S 1S: "Opening Bid, RuleOf >= 21, HCP <= 21, S >= 5, SpadeLongest, HCP >= 12" -> require: (none) [04:33:30.332] [DealFinder] Explained bid W P: "Overcalling 1Ma, Responses to 1Ma, S >= 6, True" -> require: (none) [04:33:30.333] [DealFinder] Explained bid N 1N: "Responses to 1Ma-P, HCP <= 12, S < 4, HCP >= 6" -> require: (none) [04:33:30.333] [DealFinder] Explained bid E P: "Responses to 1Ma-P-1N, Defensive bidding after two bids from opponents, True" -> require: (none) [04:33:30.334] [DealFinder] Explained bid S 3H: "Responses to 1S-P-1N-P, H >= 5, Losers <= 4, H >= 4, HCP >= 18" -> require: (none) [04:33:30.334] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:33:30.334] [DealFinder] Explained bid N 4H: "Responses to 1S-P-1N-P-3H-P, BestMajor(H)" -> require: (none) [04:33:30.335] [DealFinder] Explained bid E P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:33:30.335] [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.336] [DealFinder] Explained bid W P: "Defensive bidding when our side has passed twice, True" -> require: (none) [04:33:30.339] [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.339] [DealFinder] N constraints: HCP[6-12], Suits=S[0-3], Trivial=False [04:33:30.339] [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.339] [Timing] N precompute: 3ms mem d=113KB (total=1429MB) [04:33:30.349] [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.349] [DealFinder] E constraints: HCP[0-11], Suits=(none), Trivial=False [04:33:30.349] [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.349] [Timing] E precompute: 9ms mem d=214KB (total=1429MB) [04:33:30.355] [DealFinder] S HCP max: tightened from 21 to 20 using HandUnderstanding [04:33:30.355] [DealFinder] S constraints: HCP[15-20], Suits=S[5-13] H[4-13], Trivial=False [04:33:30.355] [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.355] [Timing] S precompute: 6ms mem d=172KB (total=1429MB) [04:33:30.359] [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.359] [DealFinder] W HCP max: tightened from 37 to 21 using HandUnderstanding [04:33:30.360] [DealFinder] W constraints: HCP[0-21], Suits=(none), Trivial=False [04:33:30.360] [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.360] [Timing] W precompute: 4ms mem d=147KB (total=1429MB) [04:33:30.360] ENDGAME: Bidding weights applied to 4/20 worlds (range 0.01-1.00, total 16.04, 16 unpenalised) [04:33:30.360] ENDGAME: Played by S: 12 HCP S:5 H:2 D:2 C:1; by W: 3 HCP S:3 H:1 D:2 C:4 [04:33:30.360] ENDGAME_WORLD: #1 (w=0.01) N:..86.T .53.Q. .T96.. .KQ.K. [04:33:30.360] ENDGAME_WORLD: #2 (w=0.01) N:..86.T .53.Q. .Q96.. .KT.K. [04:33:30.360] ENDGAME_WORLD: #3 (w=1.00) N:..86.T .53.Q. .K96.. .QT.K. [04:33:30.360] ENDGAME_WORLD: #4 (w=1.00) N:..86.T .53.Q. .96.K. .KQT.. [04:33:30.360] ENDGAME_WORLD: #5 (w=0.01) N:..86.T .53.Q. .QT6.. .K9.K. [04:33:30.360] ENDGAME_WORLD: #6 (w=1.00) N:..86.T .53.Q. .KT6.. .Q9.K. [04:33:30.360] ENDGAME_WORLD: #7 (w=1.00) N:..86.T .53.Q. .T6.K. .KQ9.. [04:33:30.360] ENDGAME_WORLD: #8 (w=1.00) N:..86.T .53.Q. .KQ6.. .T9.K. [04:33:30.360] ENDGAME_WORLD: #9 (w=1.00) N:..86.T .53.Q. .Q6.K. .KT9.. [04:33:30.360] ENDGAME_WORLD: #10 (w=1.00) N:..86.T .53.Q. .K6.K. .QT9.. [04:33:30.361] ENDGAME_WORLD: #11 (w=0.01) N:..86.T .53.Q. .QT9.. .K6.K. [04:33:30.361] ENDGAME_WORLD: #12 (w=1.00) N:..86.T .53.Q. .KT9.. .Q6.K. [04:33:30.361] ENDGAME_WORLD: #13 (w=1.00) N:..86.T .53.Q. .T9.K. .KQ6.. [04:33:30.361] ENDGAME_WORLD: #14 (w=1.00) N:..86.T .53.Q. .KQ9.. .T6.K. [04:33:30.361] ENDGAME_WORLD: #15 (w=1.00) N:..86.T .53.Q. .Q9.K. .KT6.. [04:33:30.361] ENDGAME_WORLD: #16 (w=1.00) N:..86.T .53.Q. .K9.K. .QT6.. [04:33:30.361] ENDGAME_WORLD: #17 (w=1.00) N:..86.T .53.Q. .KQT.. .96.K. [04:33:30.361] ENDGAME_WORLD: #18 (w=1.00) N:..86.T .53.Q. .QT.K. .K96.. [04:33:30.361] ENDGAME_WORLD: #19 (w=1.00) N:..86.T .53.Q. .KT.K. .Q96.. [04:33:30.361] ENDGAME_WORLD: #20 (w=1.00) N:..86.T .53.Q. .KQ.K. .T96.. [04:33:30.361] ENDGAME: Evaluating 3 candidates across 20 worlds (totalWeight=16.04, rankByScore=True): [04:33:30.361] H3: defeat 31 % (5.0/16.0), makes 69 % (11.0/16.0), avgDeclTricks=10.3, dist=9:5.0 [10:4.0] [11:4.0] [12:3.0] [04:33:30.362] H5: defeat 31 % (5.0/16.0), makes 69 % (11.0/16.0), avgDeclTricks=10.3, dist=9:5.0 [10:4.0] [11:4.0] [12:3.0] [04:33:30.362] DQ: defeat 19 % (3.0/16.0), makes 81 % (13.0/16.0), avgDeclTricks=10.5, dist=9:3.0 [10:5.0] [11:5.0] [12:3.0] [04:33:30.362] IMP H3: 0.65 [04:33:30.362] IMP H5: 0.65 [04:33:30.362] IMP DQ: -1.31 [04:33:30.362] ENDGAME: Selected H5 (31 %) [04:33:30.362] Tied cards: H5,H3 -- invoking NN directly on tied set [04:33:30.362] === FindBestCardAsync: Position=E, CardsPlayed=40 === [04:33:30.362] Finding card to play for E: QJ4.53.AQT43.853 [04:33:30.362] Relative position: Righty, Contract type: Suit [04:33:30.363] Cards in hand mask: 2 [04:33:30.363] Candidate: QD = 66.5 % [04:33:30.364] Candidate: xH = 33.5 % [04:33:30.364] Selected: DQ (66.5 %)