Assertion_pressure_sensed_as_correct at trace 1: True at global time 32.0336000919
Assertion_pressure_sensed_as_correct at trace 2: True at global time 30.5508930683
Assertion_pressure_sensed_as_correct at trace 3: False at global time 32.3160331249
Assertion_pressure_sensed_as_correct at trace 4: True at global time 31.2034380436
Assertion_pressure_sensed_as_correct at trace 5: True at global time 31.7014341354
Assertion_pressure_sensed_as_correct at trace 6: True at global time 30.348033905
Assertion_pressure_sensed_as_correct at trace 7: True at global time 29.9409577847
Assertion_pressure_sensed_as_correct at trace 8: True at global time 29.9911432266
Assertion_pressure_sensed_as_correct at trace 9: True at global time 30.5846309662
Assertion_pressure_sensed_as_correct at trace 10: True at global time 30.6487290859
Assertion_pressure_sensed_as_correct at trace 11: True at global time 32.4886879921
Assertion_pressure_sensed_as_correct at trace 12: True at global time 31.0987091064
Assertion_pressure_sensed_as_correct at trace 14: False at global time 29.1170799732
Assertion_pressure_sensed_as_correct at trace 15: True at global time 31.2486798763
Assertion_pressure_sensed_as_correct at trace 16: True at global time 32.8153839111
Assertion_pressure_sensed_as_correct at trace 17: True at global time 31.3803160191
Assertion_pressure_sensed_as_correct at trace 18: True at global time 30.0937669277
Assertion_pressure_sensed_as_correct at trace 19: True at global time 29.4011888504
Assertion_pressure_sensed_as_correct at trace 20: True at global time 31.1188690662
Assertion_pressure_sensed_as_correct at trace 21: True at global time 32.6429960728
Assertion_pressure_sensed_as_correct at trace 22: True at global time 32.2635109425
Assertion_pressure_sensed_as_correct at trace 23: True at global time 32.5938620567
Assertion_pressure_sensed_as_correct at trace 24: True at global time 30.0106508732
Assertion_pressure_sensed_as_correct at trace 25: True at global time 30.2602858543
Assertion_pressure_sensed_as_correct at trace 26: True at global time 32.5316319466
Assertion_pressure_sensed_as_correct at trace 27: True at global time 30.4145538807
Assertion_pressure_sensed_as_correct at trace 28: True at global time 32.4191989899
Assertion_pressure_sensed_as_correct at trace 29: True at global time 30.6802380085
Assertion_pressure_sensed_as_correct at trace 30: True at global time 31.4111158848
Assertion_pressure_sensed_as_correct at trace 31: True at global time 31.8818469048
Assertion_pressure_sensed_as_correct at trace 32: False at global time 30.3140749931
Assertion_pressure_sensed_as_correct at trace 33: True at global time 31.3488399982
Assertion_pressure_sensed_as_correct at trace 34: True at global time 30.6347768307
Assertion_pressure_sensed_as_correct at trace 35: True at global time 31.2440040112
Assertion_pressure_sensed_as_correct at trace 36: True at global time 29.4108240604
Assertion_pressure_sensed_as_correct at trace 37: True at global time 29.8372380733
Assertion_pressure_sensed_as_correct at trace 38: True at global time 32.0136399269
Assertion_pressure_sensed_as_correct at trace 39: True at global time 29.5577709675
Assertion_pressure_sensed_as_correct at trace 40: True at global time 29.5632379055
Assertion_pressure_sensed_as_correct at trace 41: True at global time 31.7274289131
Assertion_pressure_sensed_as_correct at trace 42: True at global time 32.3375501633
Assertion_pressure_sensed_as_correct at trace 43: True at global time 30.569311142
Assertion_pressure_sensed_as_correct at trace 44: True at global time 31.289648056
Assertion_pressure_sensed_as_correct at trace 45: False at global time 29.8795740604
Assertion_pressure_sensed_as_correct at trace 46: True at global time 32.9536340237
Assertion_pressure_sensed_as_correct at trace 47: True at global time 31.2771089077
Assertion_pressure_sensed_as_correct at trace 48: True at global time 30.3414540291
Assertion_pressure_sensed_as_correct at trace 49: True at global time 31.0691800117
Assertion_pressure_sensed_as_correct at trace 50: True at global time 30.2869570255
Assertion_pressure_sensed_as_correct at trace 51: True at global time 31.9509489536
Assertion_pressure_sensed_as_correct at trace 52: True at global time 30.6556520462
Assertion_pressure_sensed_as_correct at trace 53: True at global time 31.2499039173
Assertion_pressure_sensed_as_correct at trace 54: True at global time 29.6731050014
Assertion_pressure_sensed_as_correct at trace 55: True at global time 33.1766159534
Assertion_pressure_sensed_as_correct at trace 56: True at global time 29.7256760597
Assertion_pressure_sensed_as_correct at trace 57: True at global time 30.4620029926
Assertion_pressure_sensed_as_correct at trace 58: True at global time 30.7160658836
Assertion_pressure_sensed_as_correct at trace 59: True at global time 32.4204981327
Assertion_pressure_sensed_as_correct at trace 60: True at global time 32.1805040836
Assertion_pressure_sensed_as_correct at trace 61: True at global time 31.3386640549
Assertion_pressure_sensed_as_correct at trace 62: True at global time 29.4175078869
Assertion_pressure_sensed_as_correct at trace 63: True at global time 30.8325068951
Assertion_pressure_sensed_as_correct at trace 64: True at global time 31.0497431755
Assertion_pressure_sensed_as_correct at trace 65: True at global time 30.5440580845
Assertion_pressure_sensed_as_correct at trace 66: True at global time 31.5716588497
Assertion_pressure_sensed_as_correct at trace 67: True at global time 31.721683979
Assertion_pressure_sensed_as_correct at trace 68: True at global time 30.2254037857
Assertion_pressure_sensed_as_correct at trace 69: True at global time 31.5359120369
Assertion_pressure_sensed_as_correct at trace 70: True at global time 31.5342650414
Assertion_pressure_sensed_as_correct at trace 71: True at global time 29.0755028725
Assertion_pressure_sensed_as_correct at trace 72: True at global time 29.9877631664
Assertion_pressure_sensed_as_correct at trace 73: False at global time 31.8346560001
Assertion_pressure_sensed_as_correct at trace 74: True at global time 31.0898330212
Assertion_pressure_sensed_as_correct at trace 75: True at global time 29.9902970791
Assertion_pressure_sensed_as_correct at trace 76: True at global time 30.3489191532
Assertion_pressure_sensed_as_correct at trace 77: True at global time 31.6048979759
Assertion_pressure_sensed_as_correct at trace 78: True at global time 32.7783432007
Assertion_pressure_sensed_as_correct at trace 79: True at global time 32.6308240891
Assertion_pressure_sensed_as_correct at trace 80: True at global time 32.9011461735
Assertion_pressure_sensed_as_correct at trace 81: True at global time 32.0233659744
Assertion_pressure_sensed_as_correct at trace 82: True at global time 33.1293749809
Assertion_pressure_sensed_as_correct at trace 83: True at global time 31.1354870796
Assertion_pressure_sensed_as_correct at trace 84: False at global time 30.7478859425
Assertion_pressure_sensed_as_correct at trace 85: True at global time 31.8622090816
Assertion_pressure_sensed_as_correct at trace 86: True at global time 31.6901209354
Assertion_pressure_sensed_as_correct at trace 87: True at global time 32.6590640545
Assertion_pressure_sensed_as_correct at trace 88: True at global time 32.5429260731
Assertion_pressure_sensed_as_correct at trace 89: True at global time 29.7616379261
Assertion_pressure_sensed_as_correct at trace 90: True at global time 31.3213970661
Assertion_pressure_sensed_as_correct at trace 91: True at global time 31.0403189659
Assertion_pressure_sensed_as_correct at trace 92: True at global time 31.1969740391
Assertion_pressure_sensed_as_correct at trace 93: True at global time 31.10729599
Assertion_pressure_sensed_as_correct at trace 94: True at global time 31.8419349194
Assertion_pressure_sensed_as_correct at trace 95: True at global time 30.9723751545
Assertion_pressure_sensed_as_correct at trace 96: True at global time 31.4158489704
Assertion_pressure_sensed_as_correct at trace 97: True at global time 31.6799619198
Assertion_pressure_sensed_as_correct at trace 98: True at global time 32.3896260262
Assertion_pressure_sensed_as_correct at trace 99: True at global time 29.7152509689
Assertion_pressure_sensed_as_correct at trace 100: True at global time 29.9100949764
Assertion_pressure_sensed_as_correct at trace 101: True at global time 33.5183959007
Assertion_pressure_sensed_as_correct at trace 102: True at global time 29.8450379372
Assertion_pressure_sensed_as_correct at trace 103: True at global time 31.0758869648
Assertion_pressure_sensed_as_correct at trace 104: True at global time 30.2494339943
Assertion_pressure_sensed_as_correct at trace 105: True at global time 32.5054838657
Assertion_pressure_sensed_as_correct at trace 106: True at global time 31.2544751167
Assertion_pressure_sensed_as_correct at trace 107: True at global time 30.4575438499
Assertion_pressure_sensed_as_correct at trace 108: True at global time 30.3331320286
Assertion_pressure_sensed_as_correct at trace 109: True at global time 30.612210989
Assertion_pressure_sensed_as_correct at trace 110: True at global time 30.2174799442
Assertion_pressure_sensed_as_correct at trace 111: True at global time 30.9932649136
Assertion_pressure_sensed_as_correct at trace 112: True at global time 31.7728891373
Assertion_pressure_sensed_as_correct at trace 113: True at global time 29.5425620079
Assertion_pressure_sensed_as_correct at trace 114: False at global time 31.010602951
Assertion_pressure_sensed_as_correct at trace 115: True at global time 30.6019070148
Assertion_pressure_sensed_as_correct at trace 116: True at global time 31.387554884
Assertion_pressure_sensed_as_correct at trace 117: True at global time 31.7072069645
Assertion_pressure_sensed_as_correct at trace 118: True at global time 31.6623649597
Assertion_pressure_sensed_as_correct at trace 119: True at global time 31.1040530205
Assertion_pressure_sensed_as_correct at trace 120: True at global time 31.2660820484
Assertion_pressure_sensed_as_correct at trace 121: True at global time 30.609539032
Assertion_pressure_sensed_as_correct at trace 122: True at global time 29.506349802
Assertion_pressure_sensed_as_correct at trace 123: True at global time 30.6302089691
Assertion_pressure_sensed_as_correct at trace 124: True at global time 30.2998530865
Assertion_pressure_sensed_as_correct at trace 125: True at global time 30.455354929
Assertion_pressure_sensed_as_correct at trace 126: True at global time 30.3791370392
Assertion_pressure_sensed_as_correct at trace 127: True at global time 30.9236819744
Assertion_pressure_sensed_as_correct at trace 128: False at global time 32.2769980431
Assertion_pressure_sensed_as_correct at trace 129: True at global time 30.1609089375
Assertion_pressure_sensed_as_correct at trace 130: True at global time 30.4790561199
Assertion_pressure_sensed_as_correct at trace 131: True at global time 30.991863966
Assertion_pressure_sensed_as_correct at trace 132: True at global time 30.43582201
Assertion_pressure_sensed_as_correct at trace 133: True at global time 31.1134688854
Assertion_pressure_sensed_as_correct at trace 134: True at global time 29.3949460983
Assertion_pressure_sensed_as_correct at trace 135: True at global time 31.5270600319
Assertion_pressure_sensed_as_correct at trace 136: True at global time 32.5376801491
Assertion_pressure_sensed_as_correct at trace 137: True at global time 31.4840049744
Assertion_pressure_sensed_as_correct at trace 138: True at global time 31.6680469513
Assertion_pressure_sensed_as_correct at trace 139: True at global time 32.618847847
Assertion_pressure_sensed_as_correct at trace 140: True at global time 31.1898930073
Assertion_pressure_sensed_as_correct at trace 141: True at global time 32.7594490051
Assertion_pressure_sensed_as_correct at trace 142: True at global time 30.3159818649
Assertion_pressure_sensed_as_correct at trace 143: True at global time 31.7642250061
Assertion_pressure_sensed_as_correct at trace 144: True at global time 31.1894071102
Assertion_pressure_sensed_as_correct at trace 145: True at global time 30.2872838974
Assertion_pressure_sensed_as_correct at trace 146: True at global time 29.4338161945
Assertion_pressure_sensed_as_correct at trace 147: True at global time 28.2683272362
Assertion_pressure_sensed_as_correct at trace 148: True at global time 29.5599658489
Assertion_pressure_sensed_as_correct at trace 149: True at global time 30.5327818394
Assertion_pressure_sensed_as_correct at trace 150: True at global time 31.2010650635
Assertion_pressure_sensed_as_correct at trace 151: True at global time 30.0791668892
Assertion_pressure_sensed_as_correct at trace 152: True at global time 31.842869997
Assertion_pressure_sensed_as_correct at trace 153: False at global time 31.0611610413
Assertion_pressure_sensed_as_correct at trace 154: True at global time 32.8206851482
Assertion_pressure_sensed_as_correct at trace 155: True at global time 32.5576322079
Assertion_pressure_sensed_as_correct at trace 156: True at global time 31.5993640423
Assertion_pressure_sensed_as_correct at trace 157: True at global time 30.6675989628
Assertion_pressure_sensed_as_correct at trace 158: True at global time 33.9560709
Assertion_pressure_sensed_as_correct at trace 159: False at global time 31.9865679741
Assertion_pressure_sensed_as_correct at trace 160: True at global time 31.6869311333
Assertion_pressure_sensed_as_correct at trace 161: True at global time 33.4593420029
Assertion_pressure_sensed_as_correct at trace 162: True at global time 31.2602369785
Assertion_pressure_sensed_as_correct at trace 163: True at global time 31.6724970341
Assertion_pressure_sensed_as_correct at trace 164: True at global time 32.6990480423
Assertion_pressure_sensed_as_correct at trace 165: True at global time 28.5297729969
Assertion_pressure_sensed_as_correct at trace 166: True at global time 31.6377270222
Assertion_pressure_sensed_as_correct at trace 167: True at global time 31.7383840084
Assertion_pressure_sensed_as_correct at trace 168: True at global time 32.3469209671
Assertion_pressure_sensed_as_correct at trace 169: True at global time 30.2081108093
Assertion_pressure_sensed_as_correct at trace 170: True at global time 31.1399590969
Assertion_pressure_sensed_as_correct at trace 171: True at global time 31.8072080612
Assertion_pressure_sensed_as_correct at trace 172: True at global time 30.4015522003
Assertion_pressure_sensed_as_correct at trace 173: True at global time 30.7024619579
Assertion_pressure_sensed_as_correct at trace 174: True at global time 30.1528670788
Assertion_pressure_sensed_as_correct at trace 175: True at global time 30.0201358795
Assertion_pressure_sensed_as_correct at trace 176: True at global time 30.5392971039
Assertion_pressure_sensed_as_correct at trace 177: True at global time 32.552366972
Assertion_pressure_sensed_as_correct at trace 178: False at global time 30.3909318447
Assertion_pressure_sensed_as_correct at trace 179: True at global time 31.5830919743
Assertion_pressure_sensed_as_correct at trace 180: True at global time 32.2252409458
Assertion_pressure_sensed_as_correct at trace 181: False at global time 29.4082520008
Assertion_pressure_sensed_as_correct at trace 182: True at global time 31.6685938835
Assertion_pressure_sensed_as_correct at trace 183: True at global time 29.5821788311
Assertion_pressure_sensed_as_correct at trace 184: True at global time 28.1161739826
Assertion_pressure_sensed_as_correct at trace 185: True at global time 29.1114959717
Assertion_pressure_sensed_as_correct at trace 186: True at global time 31.7506608963
Assertion_pressure_sensed_as_correct at trace 187: True at global time 31.3644208908
Assertion_pressure_sensed_as_correct at trace 188: True at global time 31.7385571003
Assertion_pressure_sensed_as_correct at trace 189: True at global time 30.7226119041
Assertion_pressure_sensed_as_correct at trace 190: False at global time 29.7420418262
Assertion_pressure_sensed_as_correct at trace 191: True at global time 32.6449520588
Assertion_pressure_sensed_as_correct at trace 192: True at global time 32.9947581291
Assertion_pressure_sensed_as_correct at trace 193: False at global time 31.1793031693
Assertion_pressure_sensed_as_correct at trace 194: True at global time 30.0240218639
Assertion_pressure_sensed_as_correct at trace 195: True at global time 30.4040029049
Assertion_pressure_sensed_as_correct at trace 196: True at global time 29.322799921
Assertion_pressure_sensed_as_correct at trace 197: True at global time 30.7784020901
Assertion_pressure_sensed_as_correct at trace 198: True at global time 31.4814779758
Assertion_pressure_sensed_as_correct at trace 199: True at global time 30.3962140083
Assertion_pressure_sensed_as_correct at trace 200: True at global time 30.5742189884
Assertion_pressure_sensed_as_correct at trace 201: True at global time 32.5738489628
Assertion_pressure_sensed_as_correct at trace 202: True at global time 29.557571888
Assertion_pressure_sensed_as_correct at trace 203: True at global time 31.269354105
Assertion_pressure_sensed_as_correct at trace 204: True at global time 31.1615178585
Assertion_pressure_sensed_as_correct at trace 205: True at global time 28.126390934
Assertion_pressure_sensed_as_correct at trace 206: True at global time 31.5774638653
Assertion_pressure_sensed_as_correct at trace 207: True at global time 31.0120489597
Assertion_pressure_sensed_as_correct at trace 208: True at global time 30.105599165
Assertion_pressure_sensed_as_correct at trace 209: True at global time 30.7851638794
Assertion_pressure_sensed_as_correct at trace 210: True at global time 29.9479370117
Assertion_pressure_sensed_as_correct at trace 211: True at global time 31.8695578575
Assertion_pressure_sensed_as_correct at trace 212: True at global time 31.8856379986
Assertion_pressure_sensed_as_correct at trace 213: True at global time 30.562319994
Assertion_pressure_sensed_as_correct at trace 214: True at global time 30.318696022
Assertion_pressure_sensed_as_correct at trace 215: True at global time 29.9748821259
Assertion_pressure_sensed_as_correct at trace 216: True at global time 30.0981650352
Assertion_pressure_sensed_as_correct at trace 217: True at global time 32.3447589874
Assertion_pressure_sensed_as_correct at trace 218: True at global time 30.6575040817
Assertion_pressure_sensed_as_correct at trace 219: True at global time 29.297647953
Assertion_pressure_sensed_as_correct at trace 220: True at global time 31.5577068329
Assertion_pressure_sensed_as_correct at trace 221: False at global time 30.445016861
Assertion_pressure_sensed_as_correct at trace 222: True at global time 31.9221909046
Assertion_pressure_sensed_as_correct at trace 223: True at global time 31.0490720272
Assertion_pressure_sensed_as_correct at trace 224: True at global time 30.8614280224
Assertion_pressure_sensed_as_correct at trace 225: True at global time 31.8790519238
Assertion_pressure_sensed_as_correct at trace 226: True at global time 30.6426370144
Assertion_pressure_sensed_as_correct at trace 227: True at global time 33.9605779648
Assertion_pressure_sensed_as_correct at trace 228: True at global time 29.9534041882
Assertion_pressure_sensed_as_correct at trace 229: True at global time 28.7591488361
Assertion_pressure_sensed_as_correct at trace 230: True at global time 30.0287880898
Assertion_pressure_sensed_as_correct at trace 231: True at global time 31.8125729561
Assertion_pressure_sensed_as_correct at trace 232: True at global time 31.0642769337
Assertion_pressure_sensed_as_correct at trace 233: True at global time 31.0573151112
Assertion_pressure_sensed_as_correct at trace 234: True at global time 31.0459229946
Assertion_pressure_sensed_as_correct at trace 235: True at global time 28.727353096
Assertion_pressure_sensed_as_correct at trace 236: True at global time 30.1674120426
Assertion_pressure_sensed_as_correct at trace 237: True at global time 29.2488651276
Assertion_pressure_sensed_as_correct at trace 238: True at global time 30.4721832275
Assertion_pressure_sensed_as_correct at trace 239: True at global time 31.2239079475
Assertion_pressure_sensed_as_correct at trace 240: True at global time 30.5607800484
Assertion_pressure_sensed_as_correct at trace 241: True at global time 28.7261009216
Assertion_pressure_sensed_as_correct at trace 242: True at global time 30.1839430332
Assertion_pressure_sensed_as_correct at trace 243: True at global time 31.422137022
Assertion_pressure_sensed_as_correct at trace 244: True at global time 30.8643679619
Assertion_pressure_sensed_as_correct at trace 245: True at global time 31.3059668541
Assertion_pressure_sensed_as_correct at trace 246: True at global time 30.9716989994
Assertion_pressure_sensed_as_correct at trace 247: True at global time 29.4634730816
Assertion_pressure_sensed_as_correct at trace 248: True at global time 30.6034660339
Assertion_pressure_sensed_as_correct at trace 249: True at global time 28.6621799469
Assertion_pressure_sensed_as_correct at trace 250: True at global time 32.9025700092
Assertion_pressure_sensed_as_correct at trace 251: False at global time 32.0758800507
Assertion_pressure_sensed_as_correct at trace 252: True at global time 31.9601719379
Assertion_pressure_sensed_as_correct at trace 253: True at global time 29.6547279358
Assertion_pressure_sensed_as_correct at trace 254: True at global time 29.2590901852
Assertion_pressure_sensed_as_correct at trace 255: True at global time 30.2750649452
Assertion_pressure_sensed_as_correct at trace 256: True at global time 30.6747510433
Assertion_pressure_sensed_as_correct at trace 257: True at global time 31.6025838852
Assertion_pressure_sensed_as_correct at trace 258: True at global time 31.871006012
Assertion_pressure_sensed_as_correct at trace 259: False at global time 29.4174938202
Assertion_pressure_sensed_as_correct at trace 260: True at global time 33.7985389233
Assertion_pressure_sensed_as_correct at trace 261: True at global time 30.7147889137
Assertion_pressure_sensed_as_correct at trace 262: True at global time 31.3728070259
Assertion_pressure_sensed_as_correct at trace 263: True at global time 31.5706000328
Assertion_pressure_sensed_as_correct at trace 264: True at global time 30.5135529041
Assertion_pressure_sensed_as_correct at trace 265: True at global time 31.2177250385
Assertion_pressure_sensed_as_correct at trace 266: True at global time 34.2696380615
Assertion_pressure_sensed_as_correct at trace 267: True at global time 31.0366351604
Assertion_pressure_sensed_as_correct at trace 268: True at global time 30.955630064
Assertion_pressure_sensed_as_correct at trace 269: True at global time 30.3033308983
Assertion_pressure_sensed_as_correct at trace 270: True at global time 30.0412039757
Assertion_pressure_sensed_as_correct at trace 271: True at global time 29.0205860138
Assertion_pressure_sensed_as_correct at trace 272: True at global time 31.284320116
Assertion_pressure_sensed_as_correct at trace 273: True at global time 30.1346530914
Assertion_pressure_sensed_as_correct at trace 274: True at global time 30.8141989708
Assertion_pressure_sensed_as_correct at trace 275: True at global time 30.7829930782
Assertion_pressure_sensed_as_correct at trace 276: True at global time 30.9427599907
Assertion_pressure_sensed_as_correct at trace 277: True at global time 31.5920159817
Assertion_pressure_sensed_as_correct at trace 278: True at global time 33.7759079933
Assertion_pressure_sensed_as_correct at trace 279: True at global time 30.4776399136
Assertion_pressure_sensed_as_correct at trace 280: True at global time 29.2848391533
Assertion_pressure_sensed_as_correct at trace 281: True at global time 31.8748819828
Assertion_pressure_sensed_as_correct at trace 282: True at global time 28.864784956
Assertion_pressure_sensed_as_correct at trace 283: True at global time 32.591342926
Assertion_pressure_sensed_as_correct at trace 284: True at global time 32.6415739059
Assertion_pressure_sensed_as_correct at trace 285: True at global time 27.95140481
Assertion_pressure_sensed_as_correct at trace 286: True at global time 30.8470811844
Assertion_pressure_sensed_as_correct at trace 287: True at global time 31.180243969
Assertion_pressure_sensed_as_correct at trace 288: True at global time 31.7019309998
Assertion_pressure_sensed_as_correct at trace 289: True at global time 30.1123681068
Assertion_pressure_sensed_as_correct at trace 290: True at global time 30.9572877884
Assertion_pressure_sensed_as_correct at trace 291: True at global time 30.4211680889
Assertion_pressure_sensed_as_correct at trace 292: True at global time 32.63905406
Assertion_pressure_sensed_as_correct at trace 293: True at global time 30.3985140324
Assertion_pressure_sensed_as_correct at trace 294: True at global time 30.6395959854
Assertion_pressure_sensed_as_correct at trace 295: True at global time 30.3079140186
Assertion_pressure_sensed_as_correct at trace 296: False at global time 30.4419908524
Assertion_pressure_sensed_as_correct at trace 297: True at global time 31.3785121441
Assertion_pressure_sensed_as_correct at trace 298: True at global time 33.199434042
Assertion_pressure_sensed_as_correct at trace 299: True at global time 31.8302078247
Assertion_pressure_sensed_as_correct at trace 300: True at global time 30.960862875
Assertion_pressure_sensed_as_correct at trace 301: True at global time 32.0727710724
Assertion_pressure_sensed_as_correct at trace 302: True at global time 30.7125880718
Assertion_pressure_sensed_as_correct at trace 303: False at global time 33.2641949654
Assertion_pressure_sensed_as_correct at trace 304: True at global time 30.8735909462
Assertion_pressure_sensed_as_correct at trace 305: True at global time 30.7398798466
Assertion_pressure_sensed_as_correct at trace 306: True at global time 32.3301758766
Assertion_pressure_sensed_as_correct at trace 307: True at global time 31.522824049
Assertion_pressure_sensed_as_correct at trace 308: False at global time 31.4748978615
Assertion_pressure_sensed_as_correct at trace 309: True at global time 31.9458880424
Assertion_pressure_sensed_as_correct at trace 310: True at global time 31.2047331333
Assertion_pressure_sensed_as_correct at trace 311: True at global time 28.5154438019
Assertion_pressure_sensed_as_correct at trace 312: True at global time 32.2587349415
Assertion_pressure_sensed_as_correct at trace 313: True at global time 31.8148019314
Assertion_pressure_sensed_as_correct at trace 314: False at global time 32.1966519356
Assertion_pressure_sensed_as_correct at trace 315: True at global time 31.089482069
Assertion_pressure_sensed_as_correct at trace 316: True at global time 31.680770874
Assertion_pressure_sensed_as_correct at trace 317: True at global time 30.1977880001
Assertion_pressure_sensed_as_correct at trace 318: True at global time 31.536714077
Assertion_pressure_sensed_as_correct at trace 319: True at global time 29.0071871281
Assertion_pressure_sensed_as_correct at trace 320: True at global time 31.5628380775
Assertion_pressure_sensed_as_correct at trace 321: True at global time 29.0227408409
Assertion_pressure_sensed_as_correct at trace 322: True at global time 30.5440988541
Assertion_pressure_sensed_as_correct at trace 323: True at global time 31.5618469715
Assertion_pressure_sensed_as_correct at trace 324: True at global time 30.9623360634
Assertion_pressure_sensed_as_correct at trace 325: True at global time 33.0079209805
Assertion_pressure_sensed_as_correct at trace 326: True at global time 33.2605009079
Assertion_pressure_sensed_as_correct at trace 327: True at global time 30.8623850346
Assertion_pressure_sensed_as_correct at trace 328: True at global time 30.3990719318
Assertion_pressure_sensed_as_correct at trace 329: True at global time 30.7158260345
Assertion_pressure_sensed_as_correct at trace 330: True at global time 30.4182360172
Assertion_pressure_sensed_as_correct at trace 331: True at global time 32.4526557922
Assertion_pressure_sensed_as_correct at trace 332: False at global time 30.9623670578
Assertion_pressure_sensed_as_correct at trace 333: True at global time 31.4003119469
Assertion_pressure_sensed_as_correct at trace 334: True at global time 32.2232310772
Assertion_pressure_sensed_as_correct at trace 335: True at global time 31.3547332287
Assertion_pressure_sensed_as_correct at trace 336: True at global time 31.8521549702
Assertion_pressure_sensed_as_correct at trace 337: True at global time 29.7436718941
Assertion_pressure_sensed_as_correct at trace 338: True at global time 31.9182181358
Assertion_pressure_sensed_as_correct at trace 339: True at global time 31.8823869228
Assertion_pressure_sensed_as_correct at trace 340: True at global time 31.7594678402
Assertion_pressure_sensed_as_correct at trace 341: True at global time 31.3657898903
Assertion_pressure_sensed_as_correct at trace 342: False at global time 31.9713990688
Assertion_pressure_sensed_as_correct at trace 343: True at global time 30.7502698898
Assertion_pressure_sensed_as_correct at trace 344: True at global time 31.8094470501
Assertion_pressure_sensed_as_correct at trace 345: True at global time 30.9479379654
Assertion_pressure_sensed_as_correct at trace 346: True at global time 30.4978730679
Assertion_pressure_sensed_as_correct at trace 347: True at global time 31.6240451336
Assertion_pressure_sensed_as_correct at trace 348: True at global time 30.2874441147
Assertion_pressure_sensed_as_correct at trace 349: True at global time 29.9483959675
Assertion_pressure_sensed_as_correct at trace 350: True at global time 30.3830010891
Assertion_pressure_sensed_as_correct at trace 351: True at global time 30.3766009808
Assertion_pressure_sensed_as_correct at trace 352: True at global time 31.122879982
Assertion_pressure_sensed_as_correct at trace 353: True at global time 30.1000618935
Assertion_pressure_sensed_as_correct at trace 354: True at global time 29.4003279209
Assertion_pressure_sensed_as_correct at trace 355: True at global time 31.5623109341
Assertion_pressure_sensed_as_correct at trace 356: True at global time 31.2894392014
Assertion_pressure_sensed_as_correct at trace 357: True at global time 30.4943561554
Assertion_pressure_sensed_as_correct at trace 358: True at global time 32.477907896
Assertion_pressure_sensed_as_correct at trace 359: False at global time 31.7332561016
Assertion_pressure_sensed_as_correct at trace 360: True at global time 31.3694109917
Assertion_pressure_sensed_as_correct at trace 361: True at global time 30.8034060001
Assertion_pressure_sensed_as_correct at trace 362: True at global time 31.6056630611
Assertion_pressure_sensed_as_correct at trace 363: True at global time 30.6016590595
Assertion_pressure_sensed_as_correct at trace 364: True at global time 30.8861961365
Assertion_pressure_sensed_as_correct at trace 365: True at global time 32.2130401134
Assertion_pressure_sensed_as_correct at trace 366: True at global time 30.2017650604
Assertion_pressure_sensed_as_correct at trace 367: True at global time 30.1256849766
Assertion_pressure_sensed_as_correct at trace 368: True at global time 34.5074210167
Assertion_pressure_sensed_as_correct at trace 369: True at global time 29.7919249535
Assertion_pressure_sensed_as_correct at trace 370: True at global time 31.4782350063
Assertion_pressure_sensed_as_correct at trace 371: True at global time 31.777946949
Assertion_pressure_sensed_as_correct at trace 372: True at global time 30.9234528542
Assertion_pressure_sensed_as_correct at trace 373: True at global time 32.6085159779
Assertion_pressure_sensed_as_correct at trace 374: True at global time 32.329666853
Assertion_pressure_sensed_as_correct at trace 375: True at global time 31.1109240055
Assertion_pressure_sensed_as_correct at trace 376: True at global time 30.9275779724
Assertion_pressure_sensed_as_correct at trace 377: True at global time 32.5222730637
Assertion_pressure_sensed_as_correct at trace 378: True at global time 32.9159088135
Assertion_pressure_sensed_as_correct at trace 379: True at global time 32.1606600285
Assertion_pressure_sensed_as_correct at trace 380: True at global time 31.3297920227
Assertion_pressure_sensed_as_correct at trace 381: True at global time 32.3772890568
Assertion_pressure_sensed_as_correct at trace 382: True at global time 32.4597120285
Assertion_pressure_sensed_as_correct at trace 383: True at global time 31.7111639977
Assertion_pressure_sensed_as_correct at trace 384: True at global time 31.4003708363
Assertion_pressure_sensed_as_correct at trace 385: True at global time 33.6405339241
Assertion_pressure_sensed_as_correct at trace 386: True at global time 31.3737020493
Assertion_pressure_sensed_as_correct at trace 387: True at global time 31.3806829453
Assertion_pressure_sensed_as_correct at trace 388: True at global time 29.9470570087
Assertion_pressure_sensed_as_correct at trace 389: True at global time 32.0888259411
Assertion_pressure_sensed_as_correct at trace 390: True at global time 31.0466380119
Assertion_pressure_sensed_as_correct at trace 391: True at global time 30.2898161411
Assertion_pressure_sensed_as_correct at trace 392: True at global time 31.2210009098
Assertion_pressure_sensed_as_correct at trace 393: True at global time 31.811000824
Assertion_pressure_sensed_as_correct at trace 394: True at global time 32.2298381329
Assertion_pressure_sensed_as_correct at trace 395: False at global time 33.6091821194
Assertion_pressure_sensed_as_correct at trace 396: True at global time 30.0442318916
Assertion_pressure_sensed_as_correct at trace 397: True at global time 33.2579438686
Assertion_pressure_sensed_as_correct at trace 398: True at global time 30.1773469448
Assertion_pressure_sensed_as_correct at trace 399: True at global time 30.9044001102
Assertion_pressure_sensed_as_correct at trace 400: True at global time 32.2982618809
Assertion_pressure_sensed_as_correct at trace 401: True at global time 30.4856948853
Assertion_pressure_sensed_as_correct at trace 402: False at global time 30.0431878567
Assertion_pressure_sensed_as_correct at trace 403: True at global time 31.6621410847
Assertion_pressure_sensed_as_correct at trace 404: True at global time 32.0617318153
Assertion_pressure_sensed_as_correct at trace 405: True at global time 32.1862449646
Assertion_pressure_sensed_as_correct at trace 406: True at global time 33.2900769711
Assertion_pressure_sensed_as_correct at trace 407: True at global time 32.8630001545
Assertion_pressure_sensed_as_correct at trace 408: True at global time 30.9161479473
Assertion_pressure_sensed_as_correct at trace 409: True at global time 30.3198931217
Assertion_pressure_sensed_as_correct at trace 410: True at global time 30.3461921215
Assertion_pressure_sensed_as_correct at trace 411: True at global time 29.2801790237
Assertion_pressure_sensed_as_correct at trace 412: True at global time 32.5369839668
Assertion_pressure_sensed_as_correct at trace 413: True at global time 32.6830458641
Assertion_pressure_sensed_as_correct at trace 414: True at global time 32.4847221375
Assertion_pressure_sensed_as_correct at trace 415: True at global time 32.0856449604
Assertion_pressure_sensed_as_correct at trace 416: True at global time 33.4963750839
Assertion_pressure_sensed_as_correct at trace 417: True at global time 31.0460448265
Assertion_pressure_sensed_as_correct at trace 418: True at global time 31.9132678509
Assertion_pressure_sensed_as_correct at trace 419: True at global time 31.577288866
Assertion_pressure_sensed_as_correct at trace 420: True at global time 31.8560619354
Assertion_pressure_sensed_as_correct at trace 421: True at global time 30.7773790359
Assertion_pressure_sensed_as_correct at trace 422: True at global time 32.4855830669
Assertion_pressure_sensed_as_correct at trace 423: True at global time 32.7490880489
Assertion_pressure_sensed_as_correct at trace 424: True at global time 34.4696700573
Assertion_pressure_sensed_as_correct at trace 425: True at global time 29.9153938293
Assertion_pressure_sensed_as_correct at trace 426: True at global time 31.7804350853
Assertion_pressure_sensed_as_correct at trace 427: True at global time 31.2020411491
Assertion_pressure_sensed_as_correct at trace 428: True at global time 32.1699588299
Assertion_pressure_sensed_as_correct at trace 429: True at global time 29.9857609272
Assertion_pressure_sensed_as_correct at trace 430: True at global time 30.8750269413
Assertion_pressure_sensed_as_correct at trace 431: True at global time 31.596323967
Assertion_pressure_sensed_as_correct at trace 432: True at global time 31.2521557808
Assertion_pressure_sensed_as_correct at trace 433: True at global time 32.1646220684
Assertion_pressure_sensed_as_correct at trace 434: True at global time 30.2810668945
Assertion_pressure_sensed_as_correct at trace 435: True at global time 33.1479232311
Assertion_pressure_sensed_as_correct at trace 436: True at global time 31.8868861198
Assertion_pressure_sensed_as_correct at trace 437: True at global time 32.7029371262
Assertion_pressure_sensed_as_correct at trace 438: True at global time 31.2100598812
Assertion_pressure_sensed_as_correct at trace 439: True at global time 31.0791249275
Assertion_pressure_sensed_as_correct at trace 440: True at global time 30.7809481621
Assertion_pressure_sensed_as_correct at trace 441: True at global time 31.6987769604
Assertion_pressure_sensed_as_correct at trace 442: True at global time 31.2816779613
Assertion_pressure_sensed_as_correct at trace 443: False at global time 31.750524044
Assertion_pressure_sensed_as_correct at trace 444: True at global time 30.8507809639
Assertion_pressure_sensed_as_correct at trace 445: False at global time 31.9173400402
Assertion_pressure_sensed_as_correct at trace 446: False at global time 33.1798191071
Assertion_pressure_sensed_as_correct at trace 447: True at global time 33.0615730286
Assertion_pressure_sensed_as_correct at trace 448: True at global time 29.7253911495
Assertion_pressure_sensed_as_correct at trace 449: True at global time 31.1942129135
Assertion_pressure_sensed_as_correct at trace 450: True at global time 32.9335780144
Assertion_pressure_sensed_as_correct at trace 451: True at global time 31.307505846
Assertion_pressure_sensed_as_correct at trace 452: True at global time 30.922729969
Assertion_pressure_sensed_as_correct at trace 453: True at global time 33.0052490234
Assertion_pressure_sensed_as_correct at trace 454: True at global time 32.4521288872
Assertion_pressure_sensed_as_correct at trace 455: True at global time 33.7579948902
Assertion_pressure_sensed_as_correct at trace 456: True at global time 30.2063579559
Assertion_pressure_sensed_as_correct at trace 457: True at global time 29.7434570789
Assertion_pressure_sensed_as_correct at trace 458: False at global time 33.3799557686
Assertion_pressure_sensed_as_correct at trace 459: True at global time 31.9064259529
Assertion_pressure_sensed_as_correct at trace 460: True at global time 31.5655779839
Assertion_pressure_sensed_as_correct at trace 461: True at global time 33.2649228573
Assertion_pressure_sensed_as_correct at trace 462: True at global time 33.5542449951
Assertion_pressure_sensed_as_correct at trace 463: True at global time 32.4821560383
Assertion_pressure_sensed_as_correct at trace 464: True at global time 30.9717059135
Assertion_pressure_sensed_as_correct at trace 465: True at global time 32.4009940624
Assertion_pressure_sensed_as_correct at trace 466: True at global time 31.014182806
Assertion_pressure_sensed_as_correct at trace 467: True at global time 31.8417160511
Assertion_pressure_sensed_as_correct at trace 468: True at global time 32.8370170593
Assertion_pressure_sensed_as_correct at trace 469: False at global time 33.0018191338
Assertion_pressure_sensed_as_correct at trace 470: True at global time 30.2929158211
Assertion_pressure_sensed_as_correct at trace 471: True at global time 33.9879410267
Assertion_pressure_sensed_as_correct at trace 472: True at global time 30.8015470505
Assertion_pressure_sensed_as_correct at trace 473: True at global time 31.8170819283
Assertion_pressure_sensed_as_correct at trace 474: True at global time 34.087346077
Assertion_pressure_sensed_as_correct at trace 475: True at global time 32.4766249657
Assertion_pressure_sensed_as_correct at trace 476: True at global time 33.4492549896
Assertion_pressure_sensed_as_correct at trace 477: True at global time 30.5474660397
Assertion_pressure_sensed_as_correct at trace 478: True at global time 31.5531640053
Assertion_pressure_sensed_as_correct at trace 479: True at global time 31.8597009182
Assertion_pressure_sensed_as_correct at trace 480: True at global time 33.4772770405
Assertion_pressure_sensed_as_correct at trace 481: True at global time 33.9801161289
Assertion_pressure_sensed_as_correct at trace 482: True at global time 34.837900877
Assertion_pressure_sensed_as_correct at trace 483: True at global time 33.6750710011
Assertion_pressure_sensed_as_correct at trace 484: True at global time 33.4970879555
Assertion_pressure_sensed_as_correct at trace 485: False at global time 31.6880500317
Assertion_pressure_sensed_as_correct at trace 486: True at global time 33.7770819664
Assertion_pressure_sensed_as_correct at trace 487: True at global time 31.8450820446
Assertion_pressure_sensed_as_correct at trace 488: True at global time 33.1830849648
Assertion_pressure_sensed_as_correct at trace 489: True at global time 33.8418688774
Assertion_pressure_sensed_as_correct at trace 490: True at global time 30.9448239803
Assertion_pressure_sensed_as_correct at trace 491: True at global time 32.8759119511
Assertion_pressure_sensed_as_correct at trace 492: True at global time 33.4187750816
Assertion_pressure_sensed_as_correct at trace 493: False at global time 32.0754599571
Assertion_pressure_sensed_as_correct at trace 494: True at global time 35.3960499763
Assertion_pressure_sensed_as_correct at trace 495: True at global time 32.5830199718
Assertion_pressure_sensed_as_correct at trace 496: True at global time 34.9659819603
Assertion_pressure_sensed_as_correct at trace 497: True at global time 34.33050704
Assertion_pressure_sensed_as_correct at trace 498: True at global time 32.4270260334
Assertion_pressure_sensed_as_correct at trace 499: True at global time 31.9537808895
Assertion_pressure_sensed_as_correct at trace 500: True at global time 32.9656701088