Module Definition
dashboard | hierarchy | modlist | groups | tests | asserts

Module : tlul_assert
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00

Source File(s) :
/workspaces/lowrisc/opentitan/scratch/earlgrey_1_0_0_2024_08_20_RC0/adc_ctrl-sim-vcs/default/sim-vcs/../src/lowrisc_tlul_common_0.1/rtl/tlul_assert.sv

Module self-instances :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
tb.dut.tlul_assert_device 100.00 100.00 100.00 100.00



Module Instance : tb.dut.tlul_assert_device

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : tlul_assert
Line No.TotalCoveredPercent
TOTAL1515100.00
CONT_ASSIGN6211100.00
CONT_ASSIGN6311100.00
CONT_ASSIGN6411100.00
CONT_ASSIGN6511100.00
ALWAYS731111100.00
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100

61 logic [63:0] a_data, d_data; 62 1/1 assign a_mask = 8'(h2d.a_mask); Tests: T1 T2 T3  63 1/1 assign a_data = 64'(h2d.a_data); Tests: T1 T2 T3  64 1/1 assign d_mask = 8'(pend_req[d2h.d_source].mask); Tests: T1 T2 T3  65 1/1 assign d_data = 64'(d2h.d_data); Tests: T1 T2 T3  66 67 //////////////////////////////////// 68 // keep track of pending requests // 69 //////////////////////////////////// 70 71 // use negedge clk to avoid possible race conditions 72 always_ff @(negedge clk_i or negedge rst_ni) begin 73 1/1 if (!rst_ni) begin Tests: T1 T2 T3  74 1/1 pend_req <= '0; Tests: T1 T2 T3  75 end else begin 76 1/1 if (h2d.a_valid) begin Tests: T1 T2 T3  77 // store each request in pend_req array (we use blocking statements below so 78 // that we can handle the case where request and response for the same 79 // source-ID happen in the same cycle) 80 1/1 if (d2h.a_ready) begin Tests: T1 T2 T3  81 1/1 pend_req[h2d.a_source].pend <= 1; Tests: T1 T2 T3  82 1/1 pend_req[h2d.a_source].opcode <= h2d.a_opcode; Tests: T1 T2 T3  83 1/1 pend_req[h2d.a_source].size <= h2d.a_size; Tests: T1 T2 T3  84 1/1 pend_req[h2d.a_source].mask <= h2d.a_mask; Tests: T1 T2 T3  85 end MISSING_ELSE 86 end // h2d.a_valid MISSING_ELSE 87 88 1/1 if (d2h.d_valid) begin Tests: T1 T2 T3  89 // update pend_req array 90 1/1 if (h2d.d_ready) begin Tests: T1 T2 T3  91 1/1 pend_req[d2h.d_source].pend <= 0; Tests: T1 T2 T3  92 end MISSING_ELSE 93 end //d2h.d_valid MISSING_ELSE

Branch Coverage for Module : tlul_assert
Line No.TotalCoveredPercent
Branches 7 7 100.00
IF 73 7 7 100.00


73 if (!rst_ni) begin -1- 74 pend_req <= '0; ==> 75 end else begin 76 if (h2d.a_valid) begin -2- 77 // store each request in pend_req array (we use blocking statements below so 78 // that we can handle the case where request and response for the same 79 // source-ID happen in the same cycle) 80 if (d2h.a_ready) begin -3- 81 pend_req[h2d.a_source].pend <= 1; ==> 82 pend_req[h2d.a_source].opcode <= h2d.a_opcode; 83 pend_req[h2d.a_source].size <= h2d.a_size; 84 pend_req[h2d.a_source].mask <= h2d.a_mask; 85 end MISSING_ELSE ==> 86 end // h2d.a_valid MISSING_ELSE ==> 87 88 if (d2h.d_valid) begin -4- 89 // update pend_req array 90 if (h2d.d_ready) begin -5- 91 pend_req[d2h.d_source].pend <= 0; ==> 92 end MISSING_ELSE ==> 93 end //d2h.d_valid MISSING_ELSE ==>

Branches:
-1--2--3--4--5-StatusTests
1 - - - - Covered T1,T2,T3
0 1 1 - - Covered T1,T2,T3
0 1 0 - - Covered T3,T4,T5
0 0 - - - Covered T1,T2,T3
0 - - 1 1 Covered T1,T2,T3
0 - - 1 0 Covered T12,T25,T26
0 - - 0 - Covered T1,T2,T3


Assert Coverage for Module : tlul_assert
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 276 276 100.00 276 100.00
Cover properties 0 0 0
Cover sequences 10 10 100.00 10 100.00
Total 286 286 100.00 286 100.00




Assertion Details

NameAttemptsReal SuccessesFailuresIncomplete
aKnown_A 2147483647 21877799 0 0
aKnown_AKnownEnable 2147483647 2147483647 0 0
aReadyKnown_A 2147483647 2147483647 0 0
dKnown_A 2147483647 4534368 0 0
dKnown_AKnownEnable 2147483647 2147483647 0 0
dReadyKnown_A 2147483647 2147483647 0 0
gen_assert_final[0].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[100].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[101].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[102].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[103].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[104].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[105].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[106].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[107].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[108].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[109].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[10].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[110].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[111].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[112].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[113].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[114].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[115].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[116].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[117].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[118].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[119].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[11].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[120].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[121].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[122].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[123].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[124].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[125].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[126].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[127].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[128].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[129].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[12].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[130].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[131].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[132].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[133].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[134].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[135].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[136].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[137].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[138].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[139].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[13].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[140].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[141].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[142].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[143].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[144].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[145].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[146].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[147].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[148].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[149].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[14].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[150].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[151].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[152].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[153].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[154].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[155].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[156].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[157].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[158].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[159].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[15].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[160].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[161].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[162].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[163].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[164].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[165].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[166].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[167].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[168].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[169].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[16].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[170].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[171].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[172].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[173].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[174].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[175].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[176].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[177].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[178].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[179].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[17].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[180].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[181].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[182].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[183].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[184].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[185].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[186].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[187].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[188].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[189].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[18].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[190].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[191].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[192].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[193].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[194].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[195].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[196].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[197].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[198].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[199].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[19].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[1].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[200].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[201].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[202].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[203].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[204].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[205].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[206].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[207].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[208].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[209].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[20].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[210].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[211].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[212].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[213].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[214].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[215].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[216].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[217].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[218].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[219].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[21].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[220].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[221].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[222].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[223].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[224].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[225].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[226].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[227].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[228].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[229].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[22].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[230].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[231].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[232].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[233].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[234].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[235].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[236].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[237].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[238].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[239].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[23].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[240].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[241].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[242].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[243].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[244].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[245].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[246].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[247].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[248].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[249].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[24].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[250].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[251].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[252].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[253].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[254].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[255].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[25].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[26].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[27].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[28].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[29].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[2].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[30].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[31].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[32].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[33].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[34].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[35].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[36].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[37].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[38].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[39].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[3].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[40].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[41].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[42].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[43].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[44].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[45].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[46].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[47].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[48].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[49].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[4].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[50].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[51].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[52].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[53].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[54].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[55].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[56].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[57].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[58].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[59].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[5].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[60].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[61].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[62].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[63].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[64].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[65].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[66].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[67].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[68].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[69].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[6].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[70].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[71].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[72].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[73].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[74].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[75].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[76].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[77].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[78].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[79].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[7].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[80].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[81].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[82].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[83].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[84].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[85].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[86].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[87].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[88].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[89].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[8].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[90].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[91].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[92].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[93].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[94].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[95].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[96].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[97].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[98].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[99].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_assert_final[9].noOutstandingReqsAtEndOfSim_A 920 920 0 0
gen_device.aDataKnown_M 2147483647 12174425 0 0
gen_device.addrSizeAlignedErr_A 2147483647 3039 0 0
gen_device.contigMask_M 2147483647 15342130 0 0
gen_device.dDataKnown_A 2147483647 3923175 0 0
gen_device.legalAOpcodeErr_A 2147483647 2859 0 0
gen_device.legalAParam_M 2147483647 21877899 0 0
gen_device.legalDParam_A 2147483647 4534429 0 0
gen_device.pendingReqPerSrc_M 2147483647 21877899 0 0
gen_device.respMustHaveReq_A 2147483647 4534429 0 0
gen_device.respOpcode_A 2147483647 4534429 0 0
gen_device.respSzEqReqSz_A 2147483647 4534429 0 0
gen_device.sizeGTEMaskErr_A 2147483647 2644 0 0
gen_device.sizeMatchesMaskErr_A 2147483647 3028 0 0
p_dbw.TlDbw_A 920 920 0 0


aKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 21877799 0 0
T1 41578 18 0 0
T2 92499 3 0 0
T3 61034 3609 0 0
T4 389037 21613 0 0
T5 245637 3212 0 0
T6 253748 14854 0 0
T7 81228 2246 0 0
T8 525935 32256 0 0
T22 3211 20 0 0
T23 30985 13 0 0

aKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 41578 41522 0 0
T2 92499 91613 0 0
T3 61034 60968 0 0
T4 389037 388945 0 0
T5 245637 242806 0 0
T6 253748 253698 0 0
T7 81228 81133 0 0
T8 525935 525846 0 0
T22 3211 3120 0 0
T23 30985 30919 0 0

aReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 41578 41522 0 0
T2 92499 91613 0 0
T3 61034 60968 0 0
T4 389037 388945 0 0
T5 245637 242806 0 0
T6 253748 253698 0 0
T7 81228 81133 0 0
T8 525935 525846 0 0
T22 3211 3120 0 0
T23 30985 30919 0 0

dKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 4534368 0 0
T1 41578 18 0 0
T2 92499 3 0 0
T3 61034 144 0 0
T4 389037 43 0 0
T5 245637 213 0 0
T6 253748 61 0 0
T7 81228 37 0 0
T8 525935 144 0 0
T22 3211 20 0 0
T23 30985 13 0 0

dKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 41578 41522 0 0
T2 92499 91613 0 0
T3 61034 60968 0 0
T4 389037 388945 0 0
T5 245637 242806 0 0
T6 253748 253698 0 0
T7 81228 81133 0 0
T8 525935 525846 0 0
T22 3211 3120 0 0
T23 30985 30919 0 0

dReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2147483647 0 0
T1 41578 41522 0 0
T2 92499 91613 0 0
T3 61034 60968 0 0
T4 389037 388945 0 0
T5 245637 242806 0 0
T6 253748 253698 0 0
T7 81228 81133 0 0
T8 525935 525846 0 0
T22 3211 3120 0 0
T23 30985 30919 0 0

gen_assert_final[0].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[100].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[101].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[102].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[103].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[104].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[105].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[106].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[107].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[108].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[109].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[10].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[110].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[111].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[112].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[113].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[114].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[115].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[116].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[117].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[118].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[119].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[11].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[120].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[121].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[122].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[123].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[124].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[125].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[126].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[127].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[128].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[129].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[12].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[130].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[131].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[132].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[133].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[134].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[135].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[136].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[137].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[138].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[139].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[13].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[140].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[141].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[142].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[143].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[144].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[145].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[146].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[147].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[148].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[149].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[14].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[150].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[151].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[152].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[153].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[154].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[155].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[156].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[157].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[158].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[159].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[15].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[160].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[161].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[162].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[163].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[164].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[165].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[166].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[167].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[168].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[169].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[16].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[170].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[171].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[172].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[173].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[174].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[175].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[176].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[177].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[178].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[179].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[17].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[180].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[181].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[182].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[183].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[184].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[185].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[186].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[187].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[188].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[189].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[18].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[190].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[191].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[192].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[193].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[194].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[195].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[196].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[197].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[198].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[199].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[19].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[1].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[200].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[201].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[202].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[203].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[204].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[205].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[206].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[207].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[208].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[209].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[20].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[210].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[211].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[212].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[213].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[214].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[215].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[216].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[217].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[218].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[219].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[21].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[220].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[221].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[222].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[223].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[224].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[225].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[226].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[227].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[228].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[229].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[22].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[230].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[231].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[232].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[233].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[234].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[235].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[236].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[237].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[238].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[239].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[23].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[240].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[241].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[242].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[243].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[244].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[245].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[246].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[247].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[248].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[249].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[24].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[250].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[251].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[252].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[253].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[254].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[255].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[25].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[26].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[27].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[28].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[29].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[2].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[30].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[31].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[32].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[33].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[34].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[35].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[36].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[37].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[38].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[39].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[3].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[40].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[41].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[42].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[43].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[44].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[45].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[46].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[47].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[48].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[49].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[4].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[50].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[51].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[52].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[53].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[54].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[55].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[56].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[57].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[58].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[59].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[5].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[60].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[61].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[62].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[63].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[64].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[65].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[66].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[67].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[68].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[69].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[6].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[70].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[71].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[72].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[73].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[74].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[75].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[76].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[77].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[78].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[79].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[7].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[80].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[81].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[82].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[83].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[84].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[85].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[86].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[87].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[88].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[89].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[8].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[90].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[91].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[92].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[93].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[94].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[95].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[96].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[97].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[98].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[99].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_assert_final[9].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0

gen_device.aDataKnown_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 12174425 0 0
T1 41579 17 0 0
T2 92500 2 0 0
T3 61035 3528 0 0
T4 389037 21613 0 0
T5 245638 2894 0 0
T6 253748 14854 0 0
T7 81229 2246 0 0
T8 525935 32175 0 0
T22 3212 19 0 0
T23 30986 12 0 0

gen_device.addrSizeAlignedErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 3039 0 0
T73 0 1 0 0
T74 0 203 0 0
T75 0 1 0 0
T80 0 122 0 0
T81 0 79 0 0
T82 0 73 0 0
T91 256644 1 0 0
T92 0 2 0 0
T93 0 1 0 0
T94 0 1 0 0
T95 323980 0 0 0
T96 151919 0 0 0
T97 590247 0 0 0
T98 106833 0 0 0
T99 878990 0 0 0
T100 587138 0 0 0
T101 934595 0 0 0
T102 789310 0 0 0
T103 159030 0 0 0

gen_device.contigMask_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 15342130 0 0
T1 41579 8 0 0
T2 92500 2 0 0
T3 61035 1819 0 0
T4 389037 11042 0 0
T5 245638 0 0 0
T6 253748 9940 0 0
T7 81229 1678 0 0
T8 525935 22781 0 0
T9 0 6681 0 0
T22 3212 11 0 0
T23 30986 7 0 0

gen_device.dDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 3923175 0 0
T1 41579 1 0 0
T2 92500 1 0 0
T3 61035 81 0 0
T4 389037 0 0 0
T5 245638 0 0 0
T6 253748 0 0 0
T7 81229 0 0 0
T8 525935 81 0 0
T9 0 81 0 0
T22 3212 1 0 0
T23 30986 1 0 0
T42 0 1 0 0
T43 0 1 0 0
T53 0 1 0 0

gen_device.legalAOpcodeErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2859 0 0
T71 0 1 0 0
T73 0 1 0 0
T74 0 226 0 0
T80 0 111 0 0
T81 0 78 0 0
T82 0 43 0 0
T84 0 1 0 0
T94 355410 1 0 0
T104 0 4 0 0
T105 0 3 0 0
T106 134167 0 0 0
T107 317387 0 0 0
T108 102424 0 0 0
T109 728033 0 0 0
T110 903709 0 0 0
T111 533020 0 0 0
T112 201011 0 0 0
T113 483213 0 0 0
T114 257826 0 0 0

gen_device.legalAParam_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 21877899 0 0
T1 41579 18 0 0
T2 92500 3 0 0
T3 61035 3609 0 0
T4 389037 21613 0 0
T5 245638 3216 0 0
T6 253748 14854 0 0
T7 81229 2246 0 0
T8 525935 32256 0 0
T22 3212 20 0 0
T23 30986 13 0 0

gen_device.legalDParam_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 4534429 0 0
T1 41579 18 0 0
T2 92500 3 0 0
T3 61035 144 0 0
T4 389037 43 0 0
T5 245638 214 0 0
T6 253748 61 0 0
T7 81229 37 0 0
T8 525935 144 0 0
T22 3212 20 0 0
T23 30986 13 0 0

gen_device.pendingReqPerSrc_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 21877899 0 0
T1 41579 18 0 0
T2 92500 3 0 0
T3 61035 3609 0 0
T4 389037 21613 0 0
T5 245638 3216 0 0
T6 253748 14854 0 0
T7 81229 2246 0 0
T8 525935 32256 0 0
T22 3212 20 0 0
T23 30986 13 0 0

gen_device.respMustHaveReq_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 4534429 0 0
T1 41579 18 0 0
T2 92500 3 0 0
T3 61035 144 0 0
T4 389037 43 0 0
T5 245638 214 0 0
T6 253748 61 0 0
T7 81229 37 0 0
T8 525935 144 0 0
T22 3212 20 0 0
T23 30986 13 0 0

gen_device.respOpcode_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 4534429 0 0
T1 41579 18 0 0
T2 92500 3 0 0
T3 61035 144 0 0
T4 389037 43 0 0
T5 245638 214 0 0
T6 253748 61 0 0
T7 81229 37 0 0
T8 525935 144 0 0
T22 3212 20 0 0
T23 30986 13 0 0

gen_device.respSzEqReqSz_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 4534429 0 0
T1 41579 18 0 0
T2 92500 3 0 0
T3 61035 144 0 0
T4 389037 43 0 0
T5 245638 214 0 0
T6 253748 61 0 0
T7 81229 37 0 0
T8 525935 144 0 0
T22 3212 20 0 0
T23 30986 13 0 0

gen_device.sizeGTEMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 2644 0 0
T70 194297 1 0 0
T74 17619 176 0 0
T75 8511 1 0 0
T80 26184 126 0 0
T81 42248 73 0 0
T82 11544 74 0 0
T83 13119 112 0 0
T84 12052 2 0 0
T104 51905 5 0 0
T105 8098 4 0 0

gen_device.sizeMatchesMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 2147483647 3028 0 0
T70 0 1 0 0
T74 0 215 0 0
T75 0 3 0 0
T80 0 178 0 0
T81 0 105 0 0
T84 0 2 0 0
T91 256644 1 0 0
T92 0 1 0 0
T93 0 1 0 0
T94 0 2 0 0
T95 323980 0 0 0
T96 151919 0 0 0
T97 590247 0 0 0
T98 106833 0 0 0
T99 878990 0 0 0
T100 587138 0 0 0
T101 934595 0 0 0
T102 789310 0 0 0
T103 159030 0 0 0

p_dbw.TlDbw_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 920 920 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T22 1 1 0 0
T23 1 1 0 0



Cover Directives for Sequences: Details

NameAttemptsAll MatchesFirst MatchesIncomplete
gen_device_cov.aValidNotAccepted_C 2147483647 1392907 1392907 0
gen_device_cov.a_addressChangedNotAccepted_C 2147483647 1335 1335 0
gen_device_cov.a_dataChangedNotAccepted_C 2147483647 3155 3155 0
gen_device_cov.a_maskChangedNotAccepted_C 2147483647 1952 1952 0
gen_device_cov.a_opcodeChangedNotAccepted_C 2147483647 2951 2951 0
gen_device_cov.a_sizeChangedNotAccepted_C 2147483647 1586 1586 0
gen_device_cov.a_sourceChangedNotAccepted_C 2147483647 2483 2483 0
gen_device_cov.b2bReqWithSameAddr_C 2147483647 5263 5263 0
gen_device_cov.b2bReq_C 2147483647 7012 7012 0
gen_device_cov.b2bSameSource_C 2147483647 1307778 1307778 850


gen_device_cov.aValidNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 1392907 1392907 0
T6 253748 2703 2703 0
T7 81229 423 423 0
T8 525935 0 0 0
T9 290759 2595 2595 0
T10 80358 0 0 0
T11 700026 0 0 0
T18 0 17 17 0
T19 0 37 37 0
T20 0 25 25 0
T23 30986 0 0 0
T24 0 1355 1355 0
T42 424329 0 0 0
T43 41570 0 0 0
T46 0 949 949 0
T53 380103 0 0 0
T89 0 1202 1202 0
T90 0 1996 1996 0

gen_device_cov.a_addressChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 1335 1335 0
T66 21625 23 23 0
T115 17609 13 13 0
T116 67278 2 2 0
T117 42935 1 1 0
T118 124021 4 4 0
T119 34150 2 2 0
T120 20659 37 37 0
T121 20822 6 6 0
T122 7399 1 1 0
T123 455601 1096 1096 0

gen_device_cov.a_dataChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 3155 3155 0
T66 21625 24 24 0
T115 17609 15 15 0
T116 67278 2 2 0
T117 42935 1 1 0
T118 124021 4 4 0
T119 34150 2 2 0
T120 20659 37 37 0
T121 20822 6 6 0
T122 7399 1 1 0
T123 455601 2898 2898 0

gen_device_cov.a_maskChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 1952 1952 0
T66 21625 16 16 0
T115 17609 12 12 0
T116 67278 1 1 0
T117 42935 1 1 0
T118 124021 3 3 0
T119 34150 2 2 0
T120 20659 23 23 0
T121 20822 5 5 0
T122 7399 1 1 0
T123 455601 1752 1752 0

gen_device_cov.a_opcodeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 2951 2951 0
T66 21625 16 16 0
T115 17609 1 1 0
T118 124021 2 2 0
T120 20659 24 24 0
T121 20822 1 1 0
T122 7399 1 1 0
T123 455601 2898 2898 0
T124 36623 2 2 0
T125 33781 1 1 0
T126 8050 2 2 0

gen_device_cov.a_sizeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 1586 1586 0
T66 21625 10 10 0
T115 17609 7 7 0
T116 67278 1 1 0
T117 42935 1 1 0
T118 124021 3 3 0
T119 34150 1 1 0
T120 20659 18 18 0
T121 20822 3 3 0
T122 7399 1 1 0
T123 455601 1441 1441 0

gen_device_cov.a_sourceChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 2483 2483 0
T66 21625 7 7 0
T115 17609 6 6 0
T117 42935 1 1 0
T118 124021 4 4 0
T119 34150 1 1 0
T120 20659 36 36 0
T123 455601 2380 2380 0
T125 33781 14 14 0
T126 8050 8 8 0
T127 12684 18 18 0

gen_device_cov.b2bReqWithSameAddr_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 5263 5263 0
T64 97365 47 47 0
T65 46137 260 260 0
T67 524198 640 640 0
T117 42935 1 1 0
T119 34150 1 1 0
T122 7399 1 1 0
T128 42284 1 1 0
T129 16258 6 6 0
T130 56358 299 299 0
T131 103595 566 566 0

gen_device_cov.b2bReq_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 7012 7012 0
T64 97365 47 47 0
T115 17609 10 10 0
T116 67278 9 9 0
T117 42935 5 5 0
T118 124021 8 8 0
T119 34150 10 10 0
T120 20659 174 174 0
T132 67852 7 7 0
T133 20066 86 86 0
T134 120920 153 153 0

gen_device_cov.b2bSameSource_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 2147483647 1307778 1307778 850
T1 41579 17 17 1
T2 92500 2 2 1
T3 61035 109 109 1
T4 389037 18 18 1
T5 245638 0 0 0
T6 253748 60 60 1
T7 81229 18 18 1
T8 525935 85 85 1
T9 0 143 143 1
T22 3212 9 9 1
T23 30986 12 12 1

0% 10% 20% 30% 40% 50% 60% 70% 80% 90% 100%