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


aKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 105047906 0 0
T1 68449 6488 0 0
T2 57396 7148 0 0
T3 3518 590 0 0
T7 102771 1482 0 0
T9 3428 56 0 0
T11 6114 256 0 0
T21 651022 75858 0 0
T28 7017 529 0 0
T41 1979 206 0 0
T42 967 41 0 0

aKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 545403072 0 0
T1 68449 68366 0 0
T2 57396 57318 0 0
T3 3518 3445 0 0
T7 102771 102671 0 0
T9 3428 3336 0 0
T11 6114 5951 0 0
T21 651022 650956 0 0
T28 7017 6918 0 0
T41 1979 1927 0 0
T42 967 899 0 0

aReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 545403072 0 0
T1 68449 68366 0 0
T2 57396 57318 0 0
T3 3518 3445 0 0
T7 102771 102671 0 0
T9 3428 3336 0 0
T11 6114 5951 0 0
T21 651022 650956 0 0
T28 7017 6918 0 0
T41 1979 1927 0 0
T42 967 899 0 0

dKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 171241538 0 0
T1 68449 6474 0 0
T2 57396 7148 0 0
T3 3518 590 0 0
T7 102771 1482 0 0
T9 3428 56 0 0
T11 6114 1061 0 0
T21 651022 74978 0 0
T28 7017 529 0 0
T41 1979 206 0 0
T42 967 41 0 0

dKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 545403072 0 0
T1 68449 68366 0 0
T2 57396 57318 0 0
T3 3518 3445 0 0
T7 102771 102671 0 0
T9 3428 3336 0 0
T11 6114 5951 0 0
T21 651022 650956 0 0
T28 7017 6918 0 0
T41 1979 1927 0 0
T42 967 899 0 0

dReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 545403072 0 0
T1 68449 68366 0 0
T2 57396 57318 0 0
T3 3518 3445 0 0
T7 102771 102671 0 0
T9 3428 3336 0 0
T11 6114 5951 0 0
T21 651022 650956 0 0
T28 7017 6918 0 0
T41 1979 1927 0 0
T42 967 899 0 0

gen_assert_final[0].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[100].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[101].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[102].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[103].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[104].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[105].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[106].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[107].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[108].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[109].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[10].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[110].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[111].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[112].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[113].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[114].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[115].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[116].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[117].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[118].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[119].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[11].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[120].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[121].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[122].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[123].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[124].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[125].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[126].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[127].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[128].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[129].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[12].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[130].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[131].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[132].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[133].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[134].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[135].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[136].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[137].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[138].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[139].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[13].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[140].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[141].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[142].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[143].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[144].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[145].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[146].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[147].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[148].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[149].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[14].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[150].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[151].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[152].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[153].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[154].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[155].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[156].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[157].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[158].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[159].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[15].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[160].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[161].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[162].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[163].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[164].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[165].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[166].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[167].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[168].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[169].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[16].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[170].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[171].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[172].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[173].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[174].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[175].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[176].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[177].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[178].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[179].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[17].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[180].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[181].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[182].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[183].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[184].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[185].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[186].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[187].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[188].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[189].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[18].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[190].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[191].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[192].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[193].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[194].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[195].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[196].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[197].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[198].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[199].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[19].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[1].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[200].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[201].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[202].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[203].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[204].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[205].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[206].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[207].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[208].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[209].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[20].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[210].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[211].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[212].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[213].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[214].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[215].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[216].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[217].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[218].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[219].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[21].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[220].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[221].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[222].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[223].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[224].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[225].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[226].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[227].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[228].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[229].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[22].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[230].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[231].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[232].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[233].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[234].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[235].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[236].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[237].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[238].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[239].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[23].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[240].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[241].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[242].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[243].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[244].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[245].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[246].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[247].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[248].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[249].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[24].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[250].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[251].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[252].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[253].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[254].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[255].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[25].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[26].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[27].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[28].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[29].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[2].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[30].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[31].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[32].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[33].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[34].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[35].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[36].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[37].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[38].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[39].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[3].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[40].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[41].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[42].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[43].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[44].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[45].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[46].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[47].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[48].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[49].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[4].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[50].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[51].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[52].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[53].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[54].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[55].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[56].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[57].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[58].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[59].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[5].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[60].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[61].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[62].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[63].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[64].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[65].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[66].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[67].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[68].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[69].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[6].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[70].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[71].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[72].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[73].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[74].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[75].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[76].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[77].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[78].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[79].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[7].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[80].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[81].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[82].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[83].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[84].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[85].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[86].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[87].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[88].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[89].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[8].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[90].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[91].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[92].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[93].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[94].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[95].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[96].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[97].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[98].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[99].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_assert_final[9].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0

gen_device.aDataKnown_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 54837570 0 0
T1 68449 2661 0 0
T2 57396 2941 0 0
T3 3519 349 0 0
T7 102771 701 0 0
T9 3429 27 0 0
T11 6114 179 0 0
T21 651022 25619 0 0
T28 7017 326 0 0
T41 1980 141 0 0
T42 968 28 0 0

gen_device.addrSizeAlignedErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 27183 0 0
T4 533049 0 0 0
T12 802582 0 0 0
T13 87865 1614 0 0
T18 187476 0 0 0
T58 91068 0 0 0
T63 0 3233 0 0
T64 0 10655 0 0
T65 209142 0 0 0
T88 0 2667 0 0
T97 9200 0 0 0
T98 102641 0 0 0
T112 8393 0 0 0
T113 703746 0 0 0
T135 0 1 0 0
T136 0 1 0 0
T141 0 547 0 0
T142 0 7 0 0
T143 0 317 0 0
T144 0 4 0 0

gen_device.contigMask_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 76533340 0 0
T1 68449 5134 0 0
T2 57396 5580 0 0
T3 3519 422 0 0
T7 102771 1119 0 0
T9 3429 43 0 0
T11 6114 176 0 0
T21 651022 62641 0 0
T28 7017 353 0 0
T41 1980 135 0 0
T42 968 28 0 0

gen_device.dDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 91154448 0 0
T1 68449 3827 0 0
T2 57396 4207 0 0
T3 3519 241 0 0
T7 102771 781 0 0
T9 3429 29 0 0
T11 6114 386 0 0
T21 651022 50239 0 0
T28 7017 203 0 0
T41 1980 65 0 0
T42 968 13 0 0

gen_device.legalAOpcodeErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 20049 0 0
T4 533049 0 0 0
T12 802582 0 0 0
T13 87865 1229 0 0
T18 187476 0 0 0
T58 91068 0 0 0
T63 0 2404 0 0
T64 0 8075 0 0
T65 209142 0 0 0
T88 0 1865 0 0
T97 9200 0 0 0
T98 102641 0 0 0
T112 8393 0 0 0
T113 703746 0 0 0
T135 0 1 0 0
T136 0 2 0 0
T141 0 409 0 0
T142 0 1 0 0
T143 0 241 0 0
T144 0 4 0 0

gen_device.legalAParam_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 105047906 0 0
T1 68449 6488 0 0
T2 57396 7148 0 0
T3 3519 590 0 0
T7 102771 1482 0 0
T9 3429 56 0 0
T11 6114 256 0 0
T21 651022 75858 0 0
T28 7017 529 0 0
T41 1980 206 0 0
T42 968 41 0 0

gen_device.legalDParam_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 171241538 0 0
T1 68449 6474 0 0
T2 57396 7148 0 0
T3 3519 590 0 0
T7 102771 1482 0 0
T9 3429 56 0 0
T11 6114 1061 0 0
T21 651022 74978 0 0
T28 7017 529 0 0
T41 1980 206 0 0
T42 968 41 0 0

gen_device.pendingReqPerSrc_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 105047906 0 0
T1 68449 6488 0 0
T2 57396 7148 0 0
T3 3519 590 0 0
T7 102771 1482 0 0
T9 3429 56 0 0
T11 6114 256 0 0
T21 651022 75858 0 0
T28 7017 529 0 0
T41 1980 206 0 0
T42 968 41 0 0

gen_device.respMustHaveReq_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 171241538 0 0
T1 68449 6474 0 0
T2 57396 7148 0 0
T3 3519 590 0 0
T7 102771 1482 0 0
T9 3429 56 0 0
T11 6114 1061 0 0
T21 651022 74978 0 0
T28 7017 529 0 0
T41 1980 206 0 0
T42 968 41 0 0

gen_device.respOpcode_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 171241538 0 0
T1 68449 6474 0 0
T2 57396 7148 0 0
T3 3519 590 0 0
T7 102771 1482 0 0
T9 3429 56 0 0
T11 6114 1061 0 0
T21 651022 74978 0 0
T28 7017 529 0 0
T41 1980 206 0 0
T42 968 41 0 0

gen_device.respSzEqReqSz_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624999 171241538 0 0
T1 68449 6474 0 0
T2 57396 7148 0 0
T3 3519 590 0 0
T7 102771 1482 0 0
T9 3429 56 0 0
T11 6114 1061 0 0
T21 651022 74978 0 0
T28 7017 529 0 0
T41 1980 206 0 0
T42 968 41 0 0

gen_device.sizeGTEMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 17928 0 0
T4 533049 0 0 0
T12 802582 0 0 0
T13 87865 1016 0 0
T18 187476 0 0 0
T58 91068 0 0 0
T63 0 1974 0 0
T64 0 7084 0 0
T65 209142 0 0 0
T88 0 1775 0 0
T97 9200 0 0 0
T98 102641 0 0 0
T112 8393 0 0 0
T113 703746 0 0 0
T137 0 1 0 0
T141 0 343 0 0
T142 0 3 0 0
T143 0 216 0 0
T144 0 2 0 0
T145 0 342 0 0

gen_device.sizeMatchesMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 545624455 14229 0 0
T4 533049 0 0 0
T12 802582 0 0 0
T13 87865 760 0 0
T18 187476 0 0 0
T58 91068 0 0 0
T63 0 1383 0 0
T64 0 5959 0 0
T65 209142 0 0 0
T88 0 1404 0 0
T97 9200 0 0 0
T98 102641 0 0 0
T112 8393 0 0 0
T113 703746 0 0 0
T137 0 3 0 0
T141 0 299 0 0
T142 0 3 0 0
T143 0 181 0 0
T144 0 3 0 0
T145 0 230 0 0

p_dbw.TlDbw_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 878 878 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T7 1 1 0 0
T9 1 1 0 0
T11 1 1 0 0
T21 1 1 0 0
T28 1 1 0 0
T41 1 1 0 0
T42 1 1 0 0



Cover Directives for Sequences: Details

NameAttemptsAll MatchesFirst MatchesIncomplete
gen_device_cov.aValidNotAccepted_C 545624999 650406 650406 0
gen_device_cov.a_addressChangedNotAccepted_C 545624999 95 95 0
gen_device_cov.a_dataChangedNotAccepted_C 545624999 95 95 0
gen_device_cov.a_maskChangedNotAccepted_C 545624999 88 88 0
gen_device_cov.a_opcodeChangedNotAccepted_C 545624999 45 45 0
gen_device_cov.a_sizeChangedNotAccepted_C 545624999 63 63 0
gen_device_cov.a_sourceChangedNotAccepted_C 545624999 39 39 0
gen_device_cov.b2bReqWithSameAddr_C 545624999 12249 12249 0
gen_device_cov.b2bReq_C 545624999 8874067 8874067 0
gen_device_cov.b2bSameSource_C 545624999 39394890 39394890 854


gen_device_cov.aValidNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 650406 650406 0
T1 68449 2 2 0
T2 57396 0 0 0
T3 3519 0 0 0
T7 102771 0 0 0
T9 3429 0 0 0
T10 0 927 927 0
T11 6114 0 0 0
T17 0 2 2 0
T21 651022 84 84 0
T28 7017 0 0 0
T29 0 83 83 0
T32 0 422 422 0
T38 0 133 133 0
T41 1980 0 0 0
T42 968 0 0 0
T47 0 782 782 0
T56 0 211 211 0
T146 0 18 18 0

gen_device_cov.a_addressChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 95 95 0
T147 3191 3 3 0
T148 1978 22 22 0
T149 1304 8 8 0
T150 3161 23 23 0
T151 3756 39 39 0

gen_device_cov.a_dataChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 95 95 0
T147 3191 3 3 0
T148 1978 22 22 0
T149 1304 8 8 0
T150 3161 23 23 0
T151 3756 39 39 0

gen_device_cov.a_maskChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 88 88 0
T147 3191 3 3 0
T148 1978 21 21 0
T149 1304 8 8 0
T150 3161 21 21 0
T151 3756 35 35 0

gen_device_cov.a_opcodeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 45 45 0
T147 3191 2 2 0
T148 1978 10 10 0
T149 1304 4 4 0
T150 3161 11 11 0
T151 3756 18 18 0

gen_device_cov.a_sizeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 63 63 0
T147 3191 2 2 0
T148 1978 15 15 0
T149 1304 3 3 0
T150 3161 16 16 0
T151 3756 27 27 0

gen_device_cov.a_sourceChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 39 39 0
T147 3191 1 1 0
T148 1978 11 11 0
T149 1304 4 4 0
T150 3161 1 1 0
T151 3756 22 22 0

gen_device_cov.b2bReqWithSameAddr_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 12249 12249 0
T14 464250 0 0 0
T31 580335 0 0 0
T38 224925 2 2 0
T47 131531 0 0 0
T87 0 1 1 0
T90 170299 0 0 0
T91 709465 0 0 0
T92 119812 0 0 0
T93 295567 0 0 0
T94 3184 0 0 0
T95 7533 0 0 0
T99 0 2 2 0
T134 0 2 2 0
T152 0 2 2 0
T153 0 12 12 0
T154 0 48 48 0
T155 0 22 22 0
T156 0 20 20 0
T157 0 20 20 0

gen_device_cov.b2bReq_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 8874067 8874067 0
T1 68449 14 14 0
T2 57396 0 0 0
T3 3519 0 0 0
T7 102771 0 0 0
T9 3429 0 0 0
T10 0 538 538 0
T11 6114 2 2 0
T12 0 836 836 0
T16 0 238 238 0
T17 0 3 3 0
T18 0 8532 8532 0
T21 651022 880 880 0
T28 7017 0 0 0
T38 0 1325 1325 0
T41 1980 0 0 0
T42 968 0 0 0
T58 0 390 390 0

gen_device_cov.b2bSameSource_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 545624999 39394890 39394890 854
T1 68449 5783 5783 1
T2 57396 7147 7147 1
T3 3519 589 589 1
T7 102771 154 154 1
T9 3429 2 2 1
T11 6114 190 190 1
T21 651022 59696 59696 1
T28 7017 338 338 1
T41 1980 205 205 1
T42 968 40 40 1

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