Outbound Governor test failure on SimNet.

[coot]

ouroboros-network:sim-tests
  Ouroboros.Network.Testnet
    IOSim
      target active local below: FAIL (2.91s)
        *** Failed! Falsified (after 1 test and 3 shrinks):
        AbsBearerInfo {abiConnectionDelay = SmallDelay, abiInboundAttenuation = ErrorInterval NormalSpeed (Time 23s) 911s AttenuationChannel: invalid argument (attenuation), abiOutboundAttenuation = NoAttenuation FastSpeed, abiInboundWriteFailure = Nothing, abiOutboundWriteFailure = Nothing, abiAcceptFailure = Nothing, abiSDUSize = LargeSDU}
        DiffusionScript (SimArgs 1s 6) (Script ((fromList [],ShortDelay) :| [(fromList [],LongDelay),(fromList [],ShortDelay),(fromList [],ShortDelay),(fromList [],LongDelay),(fromList [],LongDelay),(fromList [],LongDelay),(fromList [],LongDelay),(fromList [],LongDelay),(fromList [],LongDelay)])) [(NodeArgs (-17) InitiatorAndResponderDiffusionMode GenesisMode (Just 224s) (fromList [(RelayAccessAddress "220.68.15.253" 65500,DoNotAdvertisePeer),(RelayAccessAddress "246.209.47.87" 65530,DoAdvertisePeer)]) (Script (DontUseBootstrapPeers :| [])) (TestAddress IPAddr (read "219.103.36.141") 23) PeerSharingEnabled [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "246.209.47.87" 65530,(DoNotAdvertisePeer,IsNotTrustable))])] ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 1, targetNumberOfKnownPeers = 4, targetNumberOfEstablishedPeers = 4, targetNumberOfActivePeers = 3, targetNumberOfKnownBigLedgerPeers = 5, targetNumberOfEstablishedBigLedgerPeers = 3, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 2, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 4, targetNumberOfEstablishedBigLedgerPeers = 3, targetNumberOfActiveBigLedgerPeers = 3}} (Script (DNSTimeout {getDNSTimeout = 0.297s} :| [DNSTimeout {getDNSTimeout = 0.219s},DNSTimeout {getDNSTimeout = 0.404s},DNSTimeout {getDNSTimeout = 0.282s},DNSTimeout {getDNSTimeout = 0.208s},DNSTimeout {getDNSTimeout = 0.133s},DNSTimeout {getDNSTimeout = 0.283s},DNSTimeout {getDNSTimeout = 0.261s},DNSTimeout {getDNSTimeout = 0.16s},DNSTimeout {getDNSTimeout = 0.264s},DNSTimeout {getDNSTimeout = 0.184s},DNSTimeout {getDNSTimeout = 0.268s},DNSTimeout {getDNSTimeout = 0.331s},DNSTimeout {getDNSTimeout = 0.116s},DNSTimeout {getDNSTimeout = 0.147s},DNSTimeout {getDNSTimeout = 0.214s},DNSTimeout {getDNSTimeout = 0.18s},DNSTimeout {getDNSTimeout = 0.138s},DNSTimeout {getDNSTimeout = 0.35s},DNSTimeout {getDNSTimeout = 0.329s},DNSTimeout {getDNSTimeout = 0.339s},DNSTimeout {getDNSTimeout = 0.122s},DNSTimeout {getDNSTimeout = 0.187s},DNSTimeout {getDNSTimeout = 0.391s},DNSTimeout {getDNSTimeout = 0.139s},DNSTimeout {getDNSTimeout = 0.392s},DNSTimeout {getDNSTimeout = 0.227s},DNSTimeout {getDNSTimeout = 0.178s},DNSTimeout {getDNSTimeout = 0.363s},DNSTimeout {getDNSTimeout = 0.145s},DNSTimeout {getDNSTimeout = 0.28s},DNSTimeout {getDNSTimeout = 0.391s},DNSTimeout {getDNSTimeout = 0.291s},DNSTimeout {getDNSTimeout = 0.39s},DNSTimeout {getDNSTimeout = 0.192s},DNSTimeout {getDNSTimeout = 0.225s},DNSTimeout {getDNSTimeout = 0.318s},DNSTimeout {getDNSTimeout = 0.242s},DNSTimeout {getDNSTimeout = 0.315s},DNSTimeout {getDNSTimeout = 0.173s},DNSTimeout {getDNSTimeout = 0.39s},DNSTimeout {getDNSTimeout = 0.249s},DNSTimeout {getDNSTimeout = 0.356s},DNSTimeout {getDNSTimeout = 0.38s},DNSTimeout {getDNSTimeout = 0.408s},DNSTimeout {getDNSTimeout = 0.296s},DNSTimeout {getDNSTimeout = 0.376s},DNSTimeout {getDNSTimeout = 0.215s},DNSTimeout {getDNSTimeout = 0.133s},DNSTimeout {getDNSTimeout = 0.319s},DNSTimeout {getDNSTimeout = 0.383s},DNSTimeout {getDNSTimeout = 0.331s},DNSTimeout {getDNSTimeout = 0.255s},DNSTimeout {getDNSTimeout = 0.379s},DNSTimeout {getDNSTimeout = 0.194s},DNSTimeout {getDNSTimeout = 0.242s},DNSTimeout {getDNSTimeout = 0.167s},DNSTimeout {getDNSTimeout = 0.216s},DNSTimeout {getDNSTimeout = 0.307s}])) (Script (DNSLookupDelay {getDNSLookupDelay = 0.112s} :| [DNSLookupDelay {getDNSLookupDelay = 0.085s},DNSLookupDelay {getDNSLookupDelay = 0.054s},DNSLookupDelay {getDNSLookupDelay = 0.102s},DNSLookupDelay {getDNSLookupDelay = 0.044s},DNSLookupDelay {getDNSLookupDelay = 0.04s},DNSLookupDelay {getDNSLookupDelay = 0.136s},DNSLookupDelay {getDNSLookupDelay = 0.08s},DNSLookupDelay {getDNSLookupDelay = 0.14s},DNSLookupDelay {getDNSLookupDelay = 0.132s},DNSLookupDelay {getDNSLookupDelay = 0.124s},DNSLookupDelay {getDNSLookupDelay = 0.046s},DNSLookupDelay {getDNSLookupDelay = 0.112s},DNSLookupDelay {getDNSLookupDelay = 0.124s},DNSLookupDelay {getDNSLookupDelay = 0.129s},DNSLookupDelay {getDNSLookupDelay = 0.102s},DNSLookupDelay {getDNSLookupDelay = 0.082s},DNSLookupDelay {getDNSLookupDelay = 0.116s},DNSLookupDelay {getDNSLookupDelay = 0.103s},DNSLookupDelay {getDNSLookupDelay = 0.075s},DNSLookupDelay {getDNSLookupDelay = 0.109s},DNSLookupDelay {getDNSLookupDelay = 0.053s},DNSLookupDelay {getDNSLookupDelay = 0.132s},DNSLookupDelay {getDNSLookupDelay = 0.056s},DNSLookupDelay {getDNSLookupDelay = 0.097s},DNSLookupDelay {getDNSLookupDelay = 0.092s},DNSLookupDelay {getDNSLookupDelay = 0.029s},DNSLookupDelay {getDNSLookupDelay = 0.046s},DNSLookupDelay {getDNSLookupDelay = 0.127s},DNSLookupDelay {getDNSLookupDelay = 0.1s},DNSLookupDelay {getDNSLookupDelay = 0.092s},DNSLookupDelay {getDNSLookupDelay = 0.035s},DNSLookupDelay {getDNSLookupDelay = 0.03s},DNSLookupDelay {getDNSLookupDelay = 0.082s},DNSLookupDelay {getDNSLookupDelay = 0.107s},DNSLookupDelay {getDNSLookupDelay = 0.053s},DNSLookupDelay {getDNSLookupDelay = 0.037s},DNSLookupDelay {getDNSLookupDelay = 0.055s},DNSLookupDelay {getDNSLookupDelay = 0.061s},DNSLookupDelay {getDNSLookupDelay = 0.124s},DNSLookupDelay {getDNSLookupDelay = 0.136s},DNSLookupDelay {getDNSLookupDelay = 0.132s},DNSLookupDelay {getDNSLookupDelay = 0.062s},DNSLookupDelay {getDNSLookupDelay = 0.105s},DNSLookupDelay {getDNSLookupDelay = 0.082s},DNSLookupDelay {getDNSLookupDelay = 0.04s},DNSLookupDelay {getDNSLookupDelay = 0.071s},DNSLookupDelay {getDNSLookupDelay = 0.096s}])) (Just (BlockNo 4)) False Script (FetchModeDeadline :| [FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync]) ============================================
        ,[JoinNetwork 20.340909090909s,Kill 27.136363636363s,JoinNetwork 3.322222222222s,Kill 69.764705882352s,JoinNetwork 78.148936170212s,Kill 56.016129032258s,JoinNetwork 38.25s,Reconfigure 46.75s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [])],Reconfigure 7.5s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoAdvertisePeer,IsNotTrustable))])],Reconfigure 35.836734693877s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "246.209.47.87" 65530,(DoNotAdvertisePeer,IsNotTrustable))])],Kill 4.073076923076s,JoinNetwork 5s,Reconfigure 4.706896551724s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [])],Reconfigure 61s [],Kill 78.813559322033s,JoinNetwork 63.068965517241s,Kill 0.236956521739s,JoinNetwork 5.865789473684s,Kill 85.047619047619s,JoinNetwork 7.929824561403s,Reconfigure 27.428571428571s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoAdvertisePeer,IsNotTrustable))])],Reconfigure 66s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoAdvertisePeer,IsNotTrustable))])],Reconfigure 4.875s [],Kill 84s,JoinNetwork 51.1s,Kill 47.863636363636s,JoinNetwork 12.74074074074s,Reconfigure 4.5375s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [])],Kill 1.95s,JoinNetwork 5.238095238095s,Reconfigure 44.365384615384s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [])],Reconfigure 44.516129032258s [],Kill 1.333333333333s,JoinNetwork 75.454545454545s,Reconfigure 64.857142857142s [],Reconfigure 31.235294117647s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "246.209.47.87" 65530,(DoNotAdvertisePeer,IsNotTrustable))])],Kill 3.555555555555s,JoinNetwork 2.666666666666s,Kill 5.884615384615s,JoinNetwork 62.217391304347s,Reconfigure 4.7s [],Reconfigure 4.253968253968s [],Reconfigure 35.264150943396s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "246.209.47.87" 65530,(DoNotAdvertisePeer,IsNotTrustable))])],Reconfigure 22.375s [(HotValency {getHotValency = 2},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "246.209.47.87" 65530,(DoNotAdvertisePeer,IsNotTrustable))])],Kill 7.851612903225s,JoinNetwork 12.875s,Kill 13.328125s]),(NodeArgs (-37) InitiatorAndResponderDiffusionMode GenesisMode (Just 269s) (fromList [(RelayAccessAddress "220.68.15.253" 65500,DoNotAdvertisePeer)]) (Script (DontUseBootstrapPeers :| [])) (TestAddress IPAddr (read "246.209.47.87") 65530) PeerSharingEnabled [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "220.68.15.253" 65500,(DoNotAdvertisePeer,IsNotTrustable))])] ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 4, targetNumberOfEstablishedPeers = 3, targetNumberOfActivePeers = 2, targetNumberOfKnownBigLedgerPeers = 6, targetNumberOfEstablishedBigLedgerPeers = 4, targetNumberOfActiveBigLedgerPeers = 1}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 3, targetNumberOfEstablishedPeers = 3, targetNumberOfActivePeers = 3, targetNumberOfKnownBigLedgerPeers = 2, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}} (Script (DNSTimeout {getDNSTimeout = 0.175s} :| [DNSTimeout {getDNSTimeout = 0.181s},DNSTimeout {getDNSTimeout = 0.285s},DNSTimeout {getDNSTimeout = 0.243s},DNSTimeout {getDNSTimeout = 0.286s},DNSTimeout {getDNSTimeout = 0.355s},DNSTimeout {getDNSTimeout = 0.179s},DNSTimeout {getDNSTimeout = 0.322s},DNSTimeout {getDNSTimeout = 0.208s},DNSTimeout {getDNSTimeout = 0.236s},DNSTimeout {getDNSTimeout = 0.309s},DNSTimeout {getDNSTimeout = 0.268s},DNSTimeout {getDNSTimeout = 0.171s},DNSTimeout {getDNSTimeout = 0.125s},DNSTimeout {getDNSTimeout = 0.248s},DNSTimeout {getDNSTimeout = 0.399s},DNSTimeout {getDNSTimeout = 0.344s},DNSTimeout {getDNSTimeout = 0.359s},DNSTimeout {getDNSTimeout = 0.302s},DNSTimeout {getDNSTimeout = 0.328s},DNSTimeout {getDNSTimeout = 0.242s},DNSTimeout {getDNSTimeout = 0.233s},DNSTimeout {getDNSTimeout = 0.163s},DNSTimeout {getDNSTimeout = 0.286s},DNSTimeout {getDNSTimeout = 0.248s},DNSTimeout {getDNSTimeout = 0.348s},DNSTimeout {getDNSTimeout = 0.253s},DNSTimeout {getDNSTimeout = 0.256s},DNSTimeout {getDNSTimeout = 0.191s},DNSTimeout {getDNSTimeout = 0.21s},DNSTimeout {getDNSTimeout = 0.359s},DNSTimeout {getDNSTimeout = 0.306s},DNSTimeout {getDNSTimeout = 0.326s},DNSTimeout {getDNSTimeout = 0.387s},DNSTimeout {getDNSTimeout = 0.15s},DNSTimeout {getDNSTimeout = 0.347s},DNSTimeout {getDNSTimeout = 0.322s},DNSTimeout {getDNSTimeout = 0.209s},DNSTimeout {getDNSTimeout = 0.391s},DNSTimeout {getDNSTimeout = 0.167s},DNSTimeout {getDNSTimeout = 0.351s},DNSTimeout {getDNSTimeout = 0.159s},DNSTimeout {getDNSTimeout = 0.309s},DNSTimeout {getDNSTimeout = 0.121s},DNSTimeout {getDNSTimeout = 0.231s},DNSTimeout {getDNSTimeout = 0.244s},DNSTimeout {getDNSTimeout = 0.139s},DNSTimeout {getDNSTimeout = 0.254s},DNSTimeout {getDNSTimeout = 0.311s},DNSTimeout {getDNSTimeout = 0.134s},DNSTimeout {getDNSTimeout = 0.316s},DNSTimeout {getDNSTimeout = 0.134s},DNSTimeout {getDNSTimeout = 0.243s},DNSTimeout {getDNSTimeout = 0.361s},DNSTimeout {getDNSTimeout = 0.224s},DNSTimeout {getDNSTimeout = 0.129s},DNSTimeout {getDNSTimeout = 0.283s},DNSTimeout {getDNSTimeout = 0.274s},DNSTimeout {getDNSTimeout = 0.123s},DNSTimeout {getDNSTimeout = 0.218s},DNSTimeout {getDNSTimeout = 0.357s},DNSTimeout {getDNSTimeout = 0.299s},DNSTimeout {getDNSTimeout = 0.112s},DNSTimeout {getDNSTimeout = 0.286s},DNSTimeout {getDNSTimeout = 0.361s},DNSTimeout {getDNSTimeout = 0.397s},DNSTimeout {getDNSTimeout = 0.304s},DNSTimeout {getDNSTimeout = 0.323s},DNSTimeout {getDNSTimeout = 0.286s},DNSTimeout {getDNSTimeout = 0.281s},DNSTimeout {getDNSTimeout = 0.297s}])) (Script (DNSLookupDelay {getDNSLookupDelay = 0.091s} :| [DNSLookupDelay {getDNSLookupDelay = 0.068s},DNSLookupDelay {getDNSLookupDelay = 0.078s},DNSLookupDelay {getDNSLookupDelay = 0.069s},DNSLookupDelay {getDNSLookupDelay = 0.064s},DNSLookupDelay {getDNSLookupDelay = 0.117s},DNSLookupDelay {getDNSLookupDelay = 0.138s},DNSLookupDelay {getDNSLookupDelay = 0.057s},DNSLookupDelay {getDNSLookupDelay = 0.099s},DNSLookupDelay {getDNSLookupDelay = 0.022s},DNSLookupDelay {getDNSLookupDelay = 0.021s},DNSLookupDelay {getDNSLookupDelay = 0.126s},DNSLookupDelay {getDNSLookupDelay = 0.138s},DNSLookupDelay {getDNSLookupDelay = 0.056s},DNSLookupDelay {getDNSLookupDelay = 0.021s},DNSLookupDelay {getDNSLookupDelay = 0.119s},DNSLookupDelay {getDNSLookupDelay = 0.084s},DNSLookupDelay {getDNSLookupDelay = 0.125s},DNSLookupDelay {getDNSLookupDelay = 0.084s},DNSLookupDelay {getDNSLookupDelay = 0.131s},DNSLookupDelay {getDNSLookupDelay = 0.129s},DNSLookupDelay {getDNSLookupDelay = 0.042s},DNSLookupDelay {getDNSLookupDelay = 0.135s},DNSLookupDelay {getDNSLookupDelay = 0.05s},DNSLookupDelay {getDNSLookupDelay = 0.068s},DNSLookupDelay {getDNSLookupDelay = 0.058s},DNSLookupDelay {getDNSLookupDelay = 0.104s},DNSLookupDelay {getDNSLookupDelay = 0.106s},DNSLookupDelay {getDNSLookupDelay = 0.094s},DNSLookupDelay {getDNSLookupDelay = 0.107s},DNSLookupDelay {getDNSLookupDelay = 0.037s},DNSLookupDelay {getDNSLookupDelay = 0.126s},DNSLookupDelay {getDNSLookupDelay = 0.139s},DNSLookupDelay {getDNSLookupDelay = 0.137s},DNSLookupDelay {getDNSLookupDelay = 0.089s},DNSLookupDelay {getDNSLookupDelay = 0.098s},DNSLookupDelay {getDNSLookupDelay = 0.058s},DNSLookupDelay {getDNSLookupDelay = 0.094s},DNSLookupDelay {getDNSLookupDelay = 0.03s},DNSLookupDelay {getDNSLookupDelay = 0.134s},DNSLookupDelay {getDNSLookupDelay = 0.137s},DNSLookupDelay {getDNSLookupDelay = 0.025s},DNSLookupDelay {getDNSLookupDelay = 0.129s},DNSLookupDelay {getDNSLookupDelay = 0.121s},DNSLookupDelay {getDNSLookupDelay = 0.051s},DNSLookupDelay {getDNSLookupDelay = 0.081s},DNSLookupDelay {getDNSLookupDelay = 0.03s},DNSLookupDelay {getDNSLookupDelay = 0.056s},DNSLookupDelay {getDNSLookupDelay = 0.088s},DNSLookupDelay {getDNSLookupDelay = 0.079s}])) (Just (BlockNo 2)) False Script (FetchModeDeadline :| [FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline]) ============================================
        ,[JoinNetwork 11.516666666666s,Reconfigure 42.90625s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoNotAdvertisePeer,IsNotTrustable))])],Reconfigure 62.568965517241s [],Reconfigure 58.25s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoNotAdvertisePeer,IsNotTrustable))])],Reconfigure 71.536585365853s [],Reconfigure 70.8s [],Reconfigure 17.411764705882s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [])],Reconfigure 26.491803278688s [],Kill 45.428571428571s,JoinNetwork 70.965517241379s,Reconfigure 46.788461538461s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoNotAdvertisePeer,IsNotTrustable))])],Reconfigure 18.245901639344s [],Kill 1.734693877551s,JoinNetwork 44.708333333333s,Kill 12.26923076923s,JoinNetwork 2.5675s,Reconfigure 53.848484848484s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoAdvertisePeer,IsNotTrustable))])],Kill 48.309523809523s,JoinNetwork 61.339285714285s,Reconfigure 4.535s [],Kill 45.8s,JoinNetwork 79.666666666666s,Reconfigure 7.438888888888s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "220.68.15.253" 65500,(DoNotAdvertisePeer,IsNotTrustable))])],Kill 7.033333333333s,JoinNetwork 84.375s,Kill 52.539682539682s,JoinNetwork 69.523809523809s,Reconfigure 62.32s [],Reconfigure 76.651162790697s [],Kill 18.016949152542s,JoinNetwork 12.5s,Kill 0.23s,JoinNetwork 33.5s,Reconfigure 14.128205128205s [],Kill 3.512121212121s,JoinNetwork 29.157894736842s,Kill 54.736842105263s,JoinNetwork 67.823529411764s,Reconfigure 80.055555555555s [],Reconfigure 36.346153846153s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "220.68.15.253" 65500,(DoNotAdvertisePeer,IsNotTrustable))])],Kill 65.068965517241s,JoinNetwork 27.75s,Reconfigure 60.762711864406s [],Reconfigure 6.22s [],Reconfigure 76.833333333333s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [])],Reconfigure 70.188679245283s [],Reconfigure 67.95s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoAdvertisePeer,IsNotTrustable))])],Reconfigure 4.128571428571s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "220.68.15.253" 65500,(DoNotAdvertisePeer,IsNotTrustable))])],Reconfigure 17.166666666666s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [])],Kill 57.25s,JoinNetwork 3.027777777777s,Reconfigure 3s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoAdvertisePeer,IsNotTrustable)),(RelayAccessAddress "220.68.15.253" 65500,(DoNotAdvertisePeer,IsNotTrustable))])],Reconfigure 53.612903225806s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoAdvertisePeer,IsNotTrustable))])],Reconfigure 10.2s [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoAdvertisePeer,IsNotTrustable))])]]),(NodeArgs (-71) InitiatorOnlyDiffusionMode GenesisMode (Just 90s) (fromList [(RelayAccessAddress "246.209.47.87" 65530,DoAdvertisePeer)]) (Script (DontUseBootstrapPeers :| [])) (TestAddress IPAddr (read "220.68.15.253") 65500) PeerSharingDisabled [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [(RelayAccessAddress "219.103.36.141" 23,(DoNotAdvertisePeer,IsTrustable)),(RelayAccessAddress "246.209.47.87" 65530,(DoAdvertisePeer,IsTrustable))])] ConsensusModePeerTargets {deadlineTargets = PeerSelectionTargets {targetNumberOfRootPeers = 3, targetNumberOfKnownPeers = 3, targetNumberOfEstablishedPeers = 3, targetNumberOfActivePeers = 3, targetNumberOfKnownBigLedgerPeers = 1, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0}, syncTargets = PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 5, targetNumberOfEstablishedPeers = 3, targetNumberOfActivePeers = 3, targetNumberOfKnownBigLedgerPeers = 6, targetNumberOfEstablishedBigLedgerPeers = 4, targetNumberOfActiveBigLedgerPeers = 0}} (Script (DNSTimeout {getDNSTimeout = 0.193s} :| [DNSTimeout {getDNSTimeout = 0.38s},DNSTimeout {getDNSTimeout = 0.206s},DNSTimeout {getDNSTimeout = 0.353s},DNSTimeout {getDNSTimeout = 0.344s},DNSTimeout {getDNSTimeout = 0.117s},DNSTimeout {getDNSTimeout = 0.339s},DNSTimeout {getDNSTimeout = 0.27s},DNSTimeout {getDNSTimeout = 0.134s},DNSTimeout {getDNSTimeout = 0.406s},DNSTimeout {getDNSTimeout = 0.213s},DNSTimeout {getDNSTimeout = 0.324s},DNSTimeout {getDNSTimeout = 0.144s},DNSTimeout {getDNSTimeout = 0.371s},DNSTimeout {getDNSTimeout = 0.395s},DNSTimeout {getDNSTimeout = 0.317s},DNSTimeout {getDNSTimeout = 0.261s},DNSTimeout {getDNSTimeout = 0.113s},DNSTimeout {getDNSTimeout = 0.194s},DNSTimeout {getDNSTimeout = 0.113s},DNSTimeout {getDNSTimeout = 0.227s},DNSTimeout {getDNSTimeout = 0.176s},DNSTimeout {getDNSTimeout = 0.213s},DNSTimeout {getDNSTimeout = 0.366s},DNSTimeout {getDNSTimeout = 0.183s},DNSTimeout {getDNSTimeout = 0.385s},DNSTimeout {getDNSTimeout = 0.207s},DNSTimeout {getDNSTimeout = 0.149s},DNSTimeout {getDNSTimeout = 0.135s},DNSTimeout {getDNSTimeout = 0.192s},DNSTimeout {getDNSTimeout = 0.294s},DNSTimeout {getDNSTimeout = 0.205s},DNSTimeout {getDNSTimeout = 0.331s},DNSTimeout {getDNSTimeout = 0.367s},DNSTimeout {getDNSTimeout = 0.179s},DNSTimeout {getDNSTimeout = 0.269s},DNSTimeout {getDNSTimeout = 0.129s},DNSTimeout {getDNSTimeout = 0.258s},DNSTimeout {getDNSTimeout = 0.334s},DNSTimeout {getDNSTimeout = 0.189s},DNSTimeout {getDNSTimeout = 0.134s},DNSTimeout {getDNSTimeout = 0.334s},DNSTimeout {getDNSTimeout = 0.295s},DNSTimeout {getDNSTimeout = 0.279s},DNSTimeout {getDNSTimeout = 0.322s},DNSTimeout {getDNSTimeout = 0.181s},DNSTimeout {getDNSTimeout = 0.296s},DNSTimeout {getDNSTimeout = 0.339s},DNSTimeout {getDNSTimeout = 0.204s},DNSTimeout {getDNSTimeout = 0.263s},DNSTimeout {getDNSTimeout = 0.236s},DNSTimeout {getDNSTimeout = 0.369s},DNSTimeout {getDNSTimeout = 0.371s},DNSTimeout {getDNSTimeout = 0.199s},DNSTimeout {getDNSTimeout = 0.361s},DNSTimeout {getDNSTimeout = 0.39s},DNSTimeout {getDNSTimeout = 0.206s},DNSTimeout {getDNSTimeout = 0.216s},DNSTimeout {getDNSTimeout = 0.379s},DNSTimeout {getDNSTimeout = 0.41s},DNSTimeout {getDNSTimeout = 0.147s},DNSTimeout {getDNSTimeout = 0.259s},DNSTimeout {getDNSTimeout = 0.214s},DNSTimeout {getDNSTimeout = 0.404s},DNSTimeout {getDNSTimeout = 0.229s},DNSTimeout {getDNSTimeout = 0.184s},DNSTimeout {getDNSTimeout = 0.22s},DNSTimeout {getDNSTimeout = 0.27s},DNSTimeout {getDNSTimeout = 0.31s}])) (Script (DNSLookupDelay {getDNSLookupDelay = 0.112s} :| [DNSLookupDelay {getDNSLookupDelay = 0.113s},DNSLookupDelay {getDNSLookupDelay = 0.047s},DNSLookupDelay {getDNSLookupDelay = 0.061s},DNSLookupDelay {getDNSLookupDelay = 0.129s},DNSLookupDelay {getDNSLookupDelay = 0.028s},DNSLookupDelay {getDNSLookupDelay = 0.129s},DNSLookupDelay {getDNSLookupDelay = 0.058s},DNSLookupDelay {getDNSLookupDelay = 0.139s},DNSLookupDelay {getDNSLookupDelay = 0.028s},DNSLookupDelay {getDNSLookupDelay = 0.047s},DNSLookupDelay {getDNSLookupDelay = 0.123s},DNSLookupDelay {getDNSLookupDelay = 0.087s},DNSLookupDelay {getDNSLookupDelay = 0.125s},DNSLookupDelay {getDNSLookupDelay = 0.088s},DNSLookupDelay {getDNSLookupDelay = 0.038s},DNSLookupDelay {getDNSLookupDelay = 0.035s},DNSLookupDelay {getDNSLookupDelay = 0.054s},DNSLookupDelay {getDNSLookupDelay = 0.134s},DNSLookupDelay {getDNSLookupDelay = 0.1s},DNSLookupDelay {getDNSLookupDelay = 0.125s},DNSLookupDelay {getDNSLookupDelay = 0.089s},DNSLookupDelay {getDNSLookupDelay = 0.116s},DNSLookupDelay {getDNSLookupDelay = 0.042s},DNSLookupDelay {getDNSLookupDelay = 0.072s},DNSLookupDelay {getDNSLookupDelay = 0.099s},DNSLookupDelay {getDNSLookupDelay = 0.081s},DNSLookupDelay {getDNSLookupDelay = 0.045s},DNSLookupDelay {getDNSLookupDelay = 0.079s},DNSLookupDelay {getDNSLookupDelay = 0.102s},DNSLookupDelay {getDNSLookupDelay = 0.123s},DNSLookupDelay {getDNSLookupDelay = 0.09s},DNSLookupDelay {getDNSLookupDelay = 0.053s},DNSLookupDelay {getDNSLookupDelay = 0.098s},DNSLookupDelay {getDNSLookupDelay = 0.021s},DNSLookupDelay {getDNSLookupDelay = 0.113s},DNSLookupDelay {getDNSLookupDelay = 0.055s},DNSLookupDelay {getDNSLookupDelay = 0.075s},DNSLookupDelay {getDNSLookupDelay = 0.088s},DNSLookupDelay {getDNSLookupDelay = 0.121s}])) (Nothing) False Script (FetchModeDeadline :| [FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeDeadline,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeDeadline,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync,FetchModeBulkSync])
        
...
        Property violated at: Time 211.618888120424s
        Invalid signal value:
        ([(HotValency {getHotValency = 1},WarmValency {getWarmValency = 2},fromList [TestAddress IPAddr (read "219.103.36.141") 23,TestAddress IPAddr (read "220.6
8.15.253") 65500])],fromList [TestAddress IPAddr (read "220.68.15.253") 65500],fromList [],fromList [],fromList [TestAddress IPAddr (read "220.68.15.253") 65500],
fromList [TestAddress IPAddr (read "220.68.15.253") 65500])
        
        Use --quickcheck-replay="(SMGen 10881802288001749186 13694411699670130555,86)" to reproduce.

log file