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

Module : tlul_assert
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.30 100.00 100.00 97.90

Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_tlul_common_0.1/rtl/tlul_assert.sv

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



Module Instance : tb.dut.tlul_assert_device

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.30 100.00 100.00 97.90


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
99.30 100.00 100.00 97.90


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 100.00 100.00 dut


Subtrees :
NAMESCORELINECONDTOGGLEFSMBRANCHASSERT
no children


Since this is the module's only instance, the coverage report is the same as for the module.
Line Coverage for Module : tlul_assert
Line No.TotalCoveredPercent
TOTAL1515100.00
CONT_ASSIGN6211100.00
CONT_ASSIGN6311100.00
CONT_ASSIGN6411100.00
CONT_ASSIGN6511100.00
ALWAYS731111100.00
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
INITIAL30100
WARNING: The source file '/workspace/default/sim-vcs/../src/lowrisc_tlul_common_0.1/rtl/tlul_assert.sv' or '../src/lowrisc_tlul_common_0.1/rtl/tlul_assert.sv' was not found, so annotated line coverage report could not be generated.
Line No.CoveredStatements
62 1 1
63 1 1
64 1 1
65 1 1
73 1 1
74 1 1
76 1 1
80 1 1
81 1 1
82 1 1
83 1 1
84 1 1
MISSING_ELSE
MISSING_ELSE
88 1 1
90 1 1
91 1 1
MISSING_ELSE
MISSING_ELSE


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

WARNING: The source file /workspace/default/sim-vcs/../src/lowrisc_tlul_common_0.1/rtl/tlul_assert.sv' or '../src/lowrisc_tlul_common_0.1/rtl/tlul_assert.sv was not found/opened, so annotated branch coverage report could not be generated.

LineNo. Expression -1-: 73 if ((!rst_ni)) -2-: 76 if (h2d.a_valid) -3-: 80 if (d2h.a_ready) -4-: 88 if (d2h.d_valid) -5-: 90 if (h2d.d_ready)

Branches:
-1--2--3--4--5-StatusTests
1 - - - - Covered T1,T2,T3
0 1 1 - - Covered T1,T2,T3
0 1 0 - - Covered T5,T29,T75
0 0 - - - Covered T1,T2,T3
0 - - 1 1 Covered T1,T2,T3
0 - - 1 0 Covered T3,T10,T27
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 4 40.00
Total 286 286 100.00 280 97.90




Assertion Details

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


aKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 134753619 0 0
T1 297961 327867 0 0
T2 263990 333669 0 0
T3 283026 252868 0 0
T10 409463 364293 0 0
T11 196448 203964 0 0
T12 254526 3692 0 0
T16 107519 266607 0 0
T18 5014 1475 0 0
T19 3144 370 0 0
T20 61614 6466 0 0

aKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 727070402 0 0
T1 297961 297952 0 0
T2 263990 263983 0 0
T3 283026 283019 0 0
T10 409463 409455 0 0
T11 196448 196440 0 0
T12 254526 254433 0 0
T16 107519 107514 0 0
T18 5014 4949 0 0
T19 3144 3085 0 0
T20 61614 61517 0 0

aReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 727070402 0 0
T1 297961 297952 0 0
T2 263990 263983 0 0
T3 283026 283019 0 0
T10 409463 409455 0 0
T11 196448 196440 0 0
T12 254526 254433 0 0
T16 107519 107514 0 0
T18 5014 4949 0 0
T19 3144 3085 0 0
T20 61614 61517 0 0

dKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 189403224 0 0
T1 297961 327867 0 0
T2 263990 333669 0 0
T3 283026 113974 0 0
T10 409463 163810 0 0
T11 196448 203964 0 0
T12 254526 3692 0 0
T16 107519 266607 0 0
T18 5014 1475 0 0
T19 3144 370 0 0
T20 61614 6466 0 0

dKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 727070402 0 0
T1 297961 297952 0 0
T2 263990 263983 0 0
T3 283026 283019 0 0
T10 409463 409455 0 0
T11 196448 196440 0 0
T12 254526 254433 0 0
T16 107519 107514 0 0
T18 5014 4949 0 0
T19 3144 3085 0 0
T20 61614 61517 0 0

dReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 727070402 0 0
T1 297961 297952 0 0
T2 263990 263983 0 0
T3 283026 283019 0 0
T10 409463 409455 0 0
T11 196448 196440 0 0
T12 254526 254433 0 0
T16 107519 107514 0 0
T18 5014 4949 0 0
T19 3144 3085 0 0
T20 61614 61517 0 0

gen_assert_final[0].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[100].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[101].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[102].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[103].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[104].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[105].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[106].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[107].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[108].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[109].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[10].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[110].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[111].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[112].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[113].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[114].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[115].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[116].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[117].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[118].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[119].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[11].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[120].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[121].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[122].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[123].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[124].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[125].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[126].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[127].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[128].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[129].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[12].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[130].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[131].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[132].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[133].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[134].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[135].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[136].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[137].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[138].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[139].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[13].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[140].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[141].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[142].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[143].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[144].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[145].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[146].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[147].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[148].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[149].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[14].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[150].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[151].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[152].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[153].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[154].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[155].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[156].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[157].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[158].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[159].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[15].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[160].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[161].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[162].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[163].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[164].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[165].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[166].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[167].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[168].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[169].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[16].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[170].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[171].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[172].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[173].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[174].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[175].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[176].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[177].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[178].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[179].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[17].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[180].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[181].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[182].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[183].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[184].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[185].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[186].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[187].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[188].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[189].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[18].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[190].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[191].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[192].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[193].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[194].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[195].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[196].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[197].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[198].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[199].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[19].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[1].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[200].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[201].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[202].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[203].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[204].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[205].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[206].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[207].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[208].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[209].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[20].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[210].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[211].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[212].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[213].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[214].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[215].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[216].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[217].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[218].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[219].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[21].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[220].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[221].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[222].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[223].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[224].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[225].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[226].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[227].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[228].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[229].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[22].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[230].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[231].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[232].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[233].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[234].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[235].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[236].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[237].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[238].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[239].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[23].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[240].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[241].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[242].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[243].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[244].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[245].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[246].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[247].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[248].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[249].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[24].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[250].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[251].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[252].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[253].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[254].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[255].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[25].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[26].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[27].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[28].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[29].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[2].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[30].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[31].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[32].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[33].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[34].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[35].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[36].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[37].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[38].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[39].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[3].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[40].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[41].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[42].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[43].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[44].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[45].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[46].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[47].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[48].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[49].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[4].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[50].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[51].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[52].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[53].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[54].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[55].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[56].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[57].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[58].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[59].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[5].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[60].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[61].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[62].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[63].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[64].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[65].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[66].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[67].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[68].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[69].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[6].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[70].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[71].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[72].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[73].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[74].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[75].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[76].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[77].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[78].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[79].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[7].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[80].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[81].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[82].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[83].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[84].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[85].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[86].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[87].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[88].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[89].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[8].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[90].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[91].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[92].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[93].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[94].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[95].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[96].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[97].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[98].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[99].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_assert_final[9].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0

gen_device.aDataKnown_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 115515210 0 0
T1 297961 287228 0 0
T2 263990 292496 0 0
T3 283026 221744 0 0
T10 409463 319690 0 0
T11 196448 179008 0 0
T12 254526 2104 0 0
T16 107519 233860 0 0
T18 5015 1280 0 0
T19 3145 329 0 0
T20 61614 5610 0 0

gen_device.addrSizeAlignedErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 2924112 0 0
T5 318173 88383 0 0
T6 199534 0 0 0
T14 906857 0 0 0
T15 162757 0 0 0
T29 0 71082 0 0
T60 0 79506 0 0
T68 2851 0 0 0
T69 25687 0 0 0
T70 41918 0 0 0
T71 28587 0 0 0
T72 35386 0 0 0
T73 10095 0 0 0
T75 0 17780 0 0
T102 0 114604 0 0
T118 0 234694 0 0
T141 0 45409 0 0
T203 0 65933 0 0
T204 0 137250 0 0
T205 0 93937 0 0

gen_device.contigMask_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 46803619 0 0
T1 297961 183843 0 0
T2 263990 187271 0 0
T3 283026 141977 0 0
T10 409463 204409 0 0
T11 196448 114512 0 0
T12 254526 2670 0 0
T16 107519 149998 0 0
T18 5015 848 0 0
T19 3145 204 0 0
T20 61614 3664 0 0

gen_device.dDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 22831949 0 0
T1 297961 40639 0 0
T2 263990 41173 0 0
T3 283026 140333 0 0
T10 409463 200016 0 0
T11 196448 24956 0 0
T12 254526 1588 0 0
T16 107519 32747 0 0
T18 5015 195 0 0
T19 3145 41 0 0
T20 61614 856 0 0

gen_device.legalAOpcodeErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 1771065 0 0
T5 318173 54546 0 0
T6 199534 0 0 0
T14 906857 0 0 0
T15 162757 0 0 0
T29 0 43321 0 0
T60 0 47950 0 0
T68 2851 0 0 0
T69 25687 0 0 0
T70 41918 0 0 0
T71 28587 0 0 0
T72 35386 0 0 0
T73 10095 0 0 0
T75 0 11750 0 0
T102 0 70227 0 0
T118 0 141658 0 0
T141 0 28247 0 0
T203 0 41545 0 0
T204 0 83172 0 0
T205 0 55672 0 0

gen_device.legalAParam_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 134753619 0 0
T1 297961 327867 0 0
T2 263990 333669 0 0
T3 283026 252868 0 0
T10 409463 364293 0 0
T11 196448 203964 0 0
T12 254526 3692 0 0
T16 107519 266607 0 0
T18 5015 1475 0 0
T19 3145 370 0 0
T20 61614 6466 0 0

gen_device.legalDParam_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 189403224 0 0
T1 297961 327867 0 0
T2 263990 333669 0 0
T3 283026 113974 0 0
T10 409463 163810 0 0
T11 196448 203964 0 0
T12 254526 3692 0 0
T16 107519 266607 0 0
T18 5015 1475 0 0
T19 3145 370 0 0
T20 61614 6466 0 0

gen_device.pendingReqPerSrc_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 134753619 0 0
T1 297961 327867 0 0
T2 263990 333669 0 0
T3 283026 252868 0 0
T10 409463 364293 0 0
T11 196448 203964 0 0
T12 254526 3692 0 0
T16 107519 266607 0 0
T18 5015 1475 0 0
T19 3145 370 0 0
T20 61614 6466 0 0

gen_device.respMustHaveReq_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 189403224 0 0
T1 297961 327867 0 0
T2 263990 333669 0 0
T3 283026 113974 0 0
T10 409463 163810 0 0
T11 196448 203964 0 0
T12 254526 3692 0 0
T16 107519 266607 0 0
T18 5015 1475 0 0
T19 3145 370 0 0
T20 61614 6466 0 0

gen_device.respOpcode_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 189403224 0 0
T1 297961 327867 0 0
T2 263990 333669 0 0
T3 283026 113974 0 0
T10 409463 163810 0 0
T11 196448 203964 0 0
T12 254526 3692 0 0
T16 107519 266607 0 0
T18 5015 1475 0 0
T19 3145 370 0 0
T20 61614 6466 0 0

gen_device.respSzEqReqSz_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727680152 189403224 0 0
T1 297961 327867 0 0
T2 263990 333669 0 0
T3 283026 113974 0 0
T10 409463 163810 0 0
T11 196448 203964 0 0
T12 254526 3692 0 0
T16 107519 266607 0 0
T18 5015 1475 0 0
T19 3145 370 0 0
T20 61614 6466 0 0

gen_device.sizeGTEMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 2679944 0 0
T5 318173 79916 0 0
T6 199534 0 0 0
T14 906857 0 0 0
T15 162757 0 0 0
T29 0 64918 0 0
T60 0 72528 0 0
T68 2851 0 0 0
T69 25687 0 0 0
T70 41918 0 0 0
T71 28587 0 0 0
T72 35386 0 0 0
T73 10095 0 0 0
T75 0 15512 0 0
T102 0 104609 0 0
T118 0 215330 0 0
T141 0 41042 0 0
T203 0 60337 0 0
T204 0 126153 0 0
T205 0 86929 0 0

gen_device.sizeMatchesMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 727679643 5046636 0 0
T5 318173 148536 0 0
T6 199534 0 0 0
T14 906857 0 0 0
T15 162757 0 0 0
T29 0 121926 0 0
T60 0 137099 0 0
T68 2851 0 0 0
T69 25687 0 0 0
T70 41918 0 0 0
T71 28587 0 0 0
T72 35386 0 0 0
T73 10095 0 0 0
T75 0 27799 0 0
T102 0 196115 0 0
T118 0 404044 0 0
T141 0 76902 0 0
T203 0 110907 0 0
T204 0 238632 0 0
T205 0 164638 0 0

p_dbw.TlDbw_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 829 829 0 0
T1 1 1 0 0
T2 1 1 0 0
T3 1 1 0 0
T10 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T16 1 1 0 0
T18 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0



Cover Directives for Sequences: Details

NameAttemptsAll MatchesFirst MatchesIncomplete
gen_device_cov.aValidNotAccepted_C 727680152 138590 138590 0
gen_device_cov.a_addressChangedNotAccepted_C 727680152 0 0 0
gen_device_cov.a_dataChangedNotAccepted_C 727680152 0 0 0
gen_device_cov.a_maskChangedNotAccepted_C 727680152 0 0 0
gen_device_cov.a_opcodeChangedNotAccepted_C 727680152 0 0 0
gen_device_cov.a_sizeChangedNotAccepted_C 727680152 0 0 0
gen_device_cov.a_sourceChangedNotAccepted_C 727680152 0 0 0
gen_device_cov.b2bReqWithSameAddr_C 727680152 60333 60333 0
gen_device_cov.b2bReq_C 727680152 2107586 2107586 0
gen_device_cov.b2bSameSource_C 727680152 38694780 38694780 778


gen_device_cov.aValidNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 138590 138590 0
T147 85688 2810 2810 0
T149 649815 5351 5351 0
T153 82207 2644 2644 0
T163 377062 482 482 0
T184 4898 9 9 0
T201 57182 662 662 0
T206 13415 254 254 0
T207 4510 6 6 0
T208 48066 62 62 0
T209 10915 97 97 0

gen_device_cov.a_addressChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 0 0 0

gen_device_cov.a_dataChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 0 0 0

gen_device_cov.a_maskChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 0 0 0

gen_device_cov.a_opcodeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 0 0 0

gen_device_cov.a_sizeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 0 0 0

gen_device_cov.a_sourceChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 0 0 0

gen_device_cov.b2bReqWithSameAddr_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 60333 60333 0
T144 425841 505 505 0
T145 140164 46 46 0
T148 593489 25 25 0
T150 153751 47 47 0
T162 122819 39 39 0
T198 32475 361 361 0
T201 57182 624 624 0
T208 48066 629 629 0
T210 2976 2 2 0
T211 163007 5 5 0

gen_device_cov.b2bReq_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 2107586 2107586 0
T143 0 348 348 0
T144 0 191088 191088 0
T145 0 17820 17820 0
T146 0 27840 27840 0
T147 0 27840 27840 0
T148 0 8417 8417 0
T184 0 71 71 0
T198 0 361 361 0
T201 0 624 624 0
T212 201704 348 348 0
T213 415577 0 0 0
T214 889695 0 0 0
T215 1096 0 0 0
T216 473676 0 0 0
T217 18150 0 0 0
T218 9361 0 0 0
T219 222201 0 0 0
T220 13980 0 0 0
T221 114231 0 0 0

gen_device_cov.b2bSameSource_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 727680152 38694780 38694780 778
T1 297961 56544 56544 1
T2 263990 143896 143896 1
T3 283026 227551 227551 1
T10 409463 364292 364292 1
T11 196448 100261 100261 1
T12 254526 750 750 1
T16 107519 109655 109655 1
T18 5015 809 809 1
T19 3145 334 334 1
T20 61614 461 461 1

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