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

Module : tlul_assert
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00

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


aKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 1108622 0 0
T1 1464 7 0 0
T2 4338 1 0 0
T3 2960 205 0 0
T4 3865 1 0 0
T5 4543 379 0 0
T6 3401 1048 0 0
T7 3369 1000 0 0
T8 28511 2588 0 0
T9 27041 3328 0 0
T10 2616 379 0 0

aKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 7247292 0 0
T1 1464 816 0 0
T2 4338 598 0 0
T3 2960 2146 0 0
T4 3865 865 0 0
T5 4543 3566 0 0
T6 3401 2823 0 0
T7 3369 2728 0 0
T8 28511 18999 0 0
T9 27041 8934 0 0
T10 2616 1618 0 0

aReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 7247292 0 0
T1 1464 816 0 0
T2 4338 598 0 0
T3 2960 2146 0 0
T4 3865 865 0 0
T5 4543 3566 0 0
T6 3401 2823 0 0
T7 3369 2728 0 0
T8 28511 18999 0 0
T9 27041 8934 0 0
T10 2616 1618 0 0

dKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 1918498 0 0
T1 1464 7 0 0
T2 4338 1 0 0
T3 2960 203 0 0
T4 3865 1 0 0
T5 4543 379 0 0
T6 3401 1048 0 0
T7 3369 1000 0 0
T8 28511 2528 0 0
T9 27041 3328 0 0
T10 2616 379 0 0

dKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 7247292 0 0
T1 1464 816 0 0
T2 4338 598 0 0
T3 2960 2146 0 0
T4 3865 865 0 0
T5 4543 3566 0 0
T6 3401 2823 0 0
T7 3369 2728 0 0
T8 28511 18999 0 0
T9 27041 8934 0 0
T10 2616 1618 0 0

dReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 7247292 0 0
T1 1464 816 0 0
T2 4338 598 0 0
T3 2960 2146 0 0
T4 3865 865 0 0
T5 4543 3566 0 0
T6 3401 2823 0 0
T7 3369 2728 0 0
T8 28511 18999 0 0
T9 27041 8934 0 0
T10 2616 1618 0 0

gen_assert_final[0].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[100].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[101].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[102].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[103].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[104].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[105].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[106].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[107].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[108].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[109].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[10].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[110].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[111].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[112].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[113].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[114].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[115].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[116].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[117].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[118].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[119].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[11].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[120].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[121].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[122].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[123].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[124].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[125].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[126].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[127].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[128].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[129].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[12].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[130].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[131].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[132].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[133].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[134].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[135].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[136].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[137].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[138].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[139].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[13].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[140].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[141].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[142].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[143].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[144].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[145].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[146].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[147].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[148].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[149].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[14].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[150].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[151].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[152].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[153].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[154].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[155].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[156].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[157].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[158].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[159].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[15].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[160].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[161].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[162].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[163].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[164].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[165].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[166].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[167].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[168].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[169].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[16].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[170].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[171].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[172].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[173].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[174].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[175].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[176].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[177].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[178].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[179].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[17].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[180].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[181].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[182].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[183].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[184].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[185].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[186].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[187].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[188].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[189].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[18].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[190].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[191].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[192].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[193].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[194].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[195].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[196].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[197].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[198].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[199].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[19].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[1].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[200].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[201].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[202].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[203].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[204].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[205].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[206].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[207].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[208].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[209].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[20].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[210].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[211].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[212].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[213].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[214].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[215].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[216].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[217].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[218].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[219].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[21].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[220].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[221].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[222].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[223].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[224].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[225].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[226].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[227].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[228].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[229].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[22].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[230].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[231].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[232].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[233].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[234].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[235].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[236].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[237].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[238].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[239].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[23].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[240].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[241].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[242].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[243].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[244].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[245].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[246].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[247].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[248].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[249].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[24].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[250].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[251].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[252].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[253].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[254].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[255].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[25].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[26].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[27].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[28].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[29].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[2].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[30].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[31].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[32].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[33].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[34].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[35].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[36].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[37].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[38].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[39].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[3].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[40].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[41].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[42].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[43].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[44].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[45].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[46].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[47].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[48].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[49].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[4].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[50].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[51].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[52].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[53].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[54].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[55].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[56].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[57].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[58].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[59].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[5].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[60].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[61].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[62].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[63].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[64].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[65].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[66].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[67].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[68].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[69].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[6].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[70].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[71].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[72].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[73].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[74].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[75].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[76].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[77].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[78].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[79].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[7].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[80].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[81].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[82].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[83].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[84].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[85].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[86].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[87].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[88].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[89].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[8].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[90].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[91].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[92].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[93].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[94].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[95].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[96].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[97].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[98].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[99].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_assert_final[9].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0

gen_device.aDataKnown_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 492539 0 0
T1 1465 7 0 0
T2 4339 0 0 0
T3 2961 106 0 0
T4 3866 0 0 0
T5 4544 193 0 0
T6 3402 501 0 0
T7 3370 477 0 0
T8 28512 1067 0 0
T9 27042 1768 0 0
T10 2617 193 0 0
T11 0 193 0 0
T25 0 35 0 0

gen_device.addrSizeAlignedErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 5996 0 0
T55 3044 55 0 0
T63 9505 1 0 0
T64 4015 6 0 0
T65 2970 108 0 0
T69 19716 1 0 0
T71 4291 304 0 0
T72 4476 341 0 0
T73 14617 1 0 0
T74 7342 177 0 0
T81 18009 3 0 0

gen_device.contigMask_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 809886 0 0
T1 1465 2 0 0
T2 4339 1 0 0
T3 2961 152 0 0
T4 3866 1 0 0
T5 4544 287 0 0
T6 3402 795 0 0
T7 3370 765 0 0
T8 28512 2080 0 0
T9 27042 2425 0 0
T10 2617 280 0 0

gen_device.dDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 988195 0 0
T2 4339 1 0 0
T3 2961 100 0 0
T4 3866 1 0 0
T5 4544 186 0 0
T6 3402 547 0 0
T7 3370 523 0 0
T8 28512 1461 0 0
T9 27042 1560 0 0
T10 2617 186 0 0
T11 5894 822 0 0

gen_device.legalAOpcodeErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 6502 0 0
T55 3044 54 0 0
T62 10519 2 0 0
T64 4015 5 0 0
T65 2970 114 0 0
T69 19716 2 0 0
T71 4291 299 0 0
T72 4476 372 0 0
T74 7342 210 0 0
T75 21625 1 0 0
T81 18009 1 0 0

gen_device.legalAParam_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 1108740 0 0
T1 1465 7 0 0
T2 4339 1 0 0
T3 2961 206 0 0
T4 3866 1 0 0
T5 4544 379 0 0
T6 3402 1048 0 0
T7 3370 1000 0 0
T8 28512 2588 0 0
T9 27042 3328 0 0
T10 2617 379 0 0

gen_device.legalDParam_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 1918665 0 0
T1 1465 7 0 0
T2 4339 1 0 0
T3 2961 205 0 0
T4 3866 1 0 0
T5 4544 379 0 0
T6 3402 1048 0 0
T7 3370 1000 0 0
T8 28512 2528 0 0
T9 27042 3328 0 0
T10 2617 379 0 0

gen_device.pendingReqPerSrc_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 1108740 0 0
T1 1465 7 0 0
T2 4339 1 0 0
T3 2961 206 0 0
T4 3866 1 0 0
T5 4544 379 0 0
T6 3402 1048 0 0
T7 3370 1000 0 0
T8 28512 2588 0 0
T9 27042 3328 0 0
T10 2617 379 0 0

gen_device.respMustHaveReq_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 1918665 0 0
T1 1465 7 0 0
T2 4339 1 0 0
T3 2961 205 0 0
T4 3866 1 0 0
T5 4544 379 0 0
T6 3402 1048 0 0
T7 3370 1000 0 0
T8 28512 2528 0 0
T9 27042 3328 0 0
T10 2617 379 0 0

gen_device.respOpcode_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 1918665 0 0
T1 1465 7 0 0
T2 4339 1 0 0
T3 2961 205 0 0
T4 3866 1 0 0
T5 4544 379 0 0
T6 3402 1048 0 0
T7 3370 1000 0 0
T8 28512 2528 0 0
T9 27042 3328 0 0
T10 2617 379 0 0

gen_device.respSzEqReqSz_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12575136 1918665 0 0
T1 1465 7 0 0
T2 4339 1 0 0
T3 2961 205 0 0
T4 3866 1 0 0
T5 4544 379 0 0
T6 3402 1048 0 0
T7 3370 1000 0 0
T8 28512 2528 0 0
T9 27042 3328 0 0
T10 2617 379 0 0

gen_device.sizeGTEMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 3747 0 0
T55 3044 62 0 0
T64 4015 4 0 0
T65 2970 77 0 0
T69 19716 1 0 0
T71 4291 206 0 0
T72 4476 218 0 0
T73 14617 1 0 0
T74 7342 122 0 0
T80 12980 290 0 0
T81 18009 1 0 0

gen_device.sizeMatchesMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 12574523 3076 0 0
T55 3044 83 0 0
T62 10519 2 0 0
T64 4015 5 0 0
T65 2970 50 0 0
T69 19716 2 0 0
T71 4291 230 0 0
T72 4476 195 0 0
T74 7342 106 0 0
T75 21625 2 0 0
T81 18009 2 0 0

p_dbw.TlDbw_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 613 613 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T7 1 1 0 0
T8 1 1 0 0
T9 1 1 0 0
T10 1 1 0 0



Cover Directives for Sequences: Details

NameAttemptsAll MatchesFirst MatchesIncomplete
gen_device_cov.aValidNotAccepted_C 12575136 6223 6223 0
gen_device_cov.a_addressChangedNotAccepted_C 12575136 2385 2385 1
gen_device_cov.a_dataChangedNotAccepted_C 12575136 2388 2388 1
gen_device_cov.a_maskChangedNotAccepted_C 12575136 1742 1742 1
gen_device_cov.a_opcodeChangedNotAccepted_C 12575136 93 93 1
gen_device_cov.a_sizeChangedNotAccepted_C 12575136 1368 1368 1
gen_device_cov.a_sourceChangedNotAccepted_C 12575136 1211 1211 1
gen_device_cov.b2bReqWithSameAddr_C 12575136 2921 2921 0
gen_device_cov.b2bReq_C 12575136 46875 46875 0
gen_device_cov.b2bSameSource_C 12575136 444572 444572 447


gen_device_cov.aValidNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 6223 6223 0
T8 28512 2 2 0
T9 27042 0 0 0
T10 2617 0 0 0
T11 5894 0 0 0
T12 2225 0 0 0
T13 4353 0 0 0
T14 6517 0 0 0
T23 5817 0 0 0
T25 2043 0 0 0
T35 191777 0 0 0
T44 0 9 9 0
T49 0 137 137 0
T94 0 6 6 0
T95 0 6 6 0
T96 0 3 3 0
T97 0 21 21 0
T98 0 14 14 0
T99 0 56 56 0
T100 0 78 78 0

gen_device_cov.a_addressChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 2385 2385 1
T8 28512 2 2 0
T9 27042 0 0 0
T10 2617 0 0 0
T11 5894 0 0 0
T12 2225 0 0 0
T13 4353 0 0 0
T14 6517 0 0 0
T23 5817 0 0 0
T25 2043 0 0 0
T35 191777 0 0 0
T44 0 9 9 0
T49 0 38 38 0
T94 0 6 6 0
T95 0 2 2 0
T96 0 1 1 0
T97 0 21 21 0
T98 0 7 7 0
T99 0 24 24 0
T100 0 16 16 0
T101 0 0 0 1

gen_device_cov.a_dataChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 2388 2388 1
T8 28512 2 2 0
T9 27042 0 0 0
T10 2617 0 0 0
T11 5894 0 0 0
T12 2225 0 0 0
T13 4353 0 0 0
T14 6517 0 0 0
T23 5817 0 0 0
T25 2043 0 0 0
T35 191777 0 0 0
T44 0 9 9 0
T49 0 38 38 0
T94 0 6 6 0
T95 0 2 2 0
T96 0 1 1 0
T97 0 21 21 0
T98 0 7 7 0
T99 0 24 24 0
T100 0 16 16 0
T101 0 0 0 1

gen_device_cov.a_maskChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 1742 1742 1
T8 28512 2 2 0
T9 27042 0 0 0
T10 2617 0 0 0
T11 5894 0 0 0
T12 2225 0 0 0
T13 4353 0 0 0
T14 6517 0 0 0
T23 5817 0 0 0
T25 2043 0 0 0
T35 191777 0 0 0
T44 0 5 5 0
T49 0 24 24 0
T94 0 5 5 0
T95 0 2 2 0
T97 0 18 18 0
T98 0 5 5 0
T99 0 16 16 0
T100 0 12 12 0
T101 0 0 0 1
T102 0 1 1 0

gen_device_cov.a_opcodeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 93 93 1
T15 1808 0 0 0
T16 3700 0 0 0
T17 2811 0 0 0
T49 59682 3 3 0
T50 3930 0 0 0
T51 7025 0 0 0
T59 7057 0 0 0
T66 1419 0 0 0
T83 4287 0 0 0
T96 0 1 1 0
T99 0 1 1 0
T100 0 2 2 0
T101 0 0 0 1
T103 1984 0 0 0
T104 0 1 1 0
T105 0 3 3 0
T106 0 2 2 0
T107 0 4 4 0
T108 0 5 5 0
T109 0 1 1 0

gen_device_cov.a_sizeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 1368 1368 1
T8 28512 1 1 0
T9 27042 0 0 0
T10 2617 0 0 0
T11 5894 0 0 0
T12 2225 0 0 0
T13 4353 0 0 0
T14 6517 0 0 0
T23 5817 0 0 0
T25 2043 0 0 0
T35 191777 0 0 0
T44 0 5 5 0
T49 0 19 19 0
T94 0 3 3 0
T97 0 16 16 0
T98 0 1 1 0
T99 0 13 13 0
T100 0 9 9 0
T101 0 0 0 1
T102 0 1 1 0
T110 0 1 1 0

gen_device_cov.a_sourceChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 1211 1211 1
T8 28512 2 2 0
T9 27042 0 0 0
T10 2617 0 0 0
T11 5894 0 0 0
T12 2225 0 0 0
T13 4353 0 0 0
T14 6517 0 0 0
T23 5817 0 0 0
T25 2043 0 0 0
T35 191777 0 0 0
T95 0 2 2 0
T97 0 11 11 0
T98 0 4 4 0
T100 0 3 3 0
T101 0 0 0 1
T102 0 1 1 0
T104 0 11 11 0
T105 0 63 63 0
T111 0 15 15 0
T112 0 1 1 0

gen_device_cov.b2bReqWithSameAddr_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 2921 2921 0
T56 5432 48 48 0
T70 3516 23 23 0
T113 1612 1 1 0
T114 2844 489 489 0
T115 1682 8 8 0
T116 4720 36 36 0
T117 1795 1 1 0
T118 1372 6 6 0
T119 1912 243 243 0
T120 1262 2 2 0

gen_device_cov.b2bReq_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 46875 46875 0
T8 28512 60 60 0
T9 27042 0 0 0
T10 2617 0 0 0
T11 5894 0 0 0
T12 2225 0 0 0
T13 4353 0 0 0
T14 6517 0 0 0
T23 5817 0 0 0
T25 2043 0 0 0
T35 191777 0 0 0
T44 0 396 396 0
T49 0 1342 1342 0
T94 0 372 372 0
T95 0 58 58 0
T96 0 66 66 0
T97 0 44 44 0
T98 0 182 182 0
T99 0 625 625 0
T100 0 661 661 0

gen_device_cov.b2bSameSource_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 12575136 444572 444572 447
T1 1465 4 4 1
T2 4339 0 0 1
T3 2961 11 11 1
T4 3866 0 0 1
T5 4544 174 174 1
T6 3402 124 124 1
T7 3370 278 278 1
T8 28512 1411 1411 1
T9 27042 3133 3133 0
T10 2617 264 264 1
T11 0 373 373 1
T25 0 33 33 0

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