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,T26,T27
0 0 - - - Covered T1,T2,T3
0 - - 1 1 Covered T1,T2,T3
0 - - 1 0 Covered T2,T13,T42
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 678819125 125528993 0 0
aKnown_AKnownEnable 678819125 678150126 0 0
aReadyKnown_A 678819125 678150126 0 0
dKnown_A 678819125 174876715 0 0
dKnown_AKnownEnable 678819125 678150126 0 0
dReadyKnown_A 678819125 678150126 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 678819613 107325854 0 0
gen_device.addrSizeAlignedErr_A 678819125 2394062 0 0
gen_device.contigMask_M 678819613 48130107 0 0
gen_device.dDataKnown_A 678819613 21961891 0 0
gen_device.legalAOpcodeErr_A 678819125 1439497 0 0
gen_device.legalAParam_M 678819613 125528993 0 0
gen_device.legalDParam_A 678819613 174876715 0 0
gen_device.pendingReqPerSrc_M 678819613 125528993 0 0
gen_device.respMustHaveReq_A 678819613 174876715 0 0
gen_device.respOpcode_A 678819613 174876715 0 0
gen_device.respSzEqReqSz_A 678819613 174876715 0 0
gen_device.sizeGTEMaskErr_A 678819125 2194022 0 0
gen_device.sizeMatchesMaskErr_A 678819125 4143649 0 0
p_dbw.TlDbw_A 829 829 0 0


aKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 125528993 0 0
T1 400212 452815 0 0
T2 93154 7523 0 0
T3 18525 6774 0 0
T4 391279 411417 0 0
T5 438951 645394 0 0
T6 117430 423497 0 0
T13 766579 635476 0 0
T19 36992 10967 0 0
T20 102556 10224 0 0
T21 2026 426 0 0

aKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 678150126 0 0
T1 400212 400204 0 0
T2 93154 93078 0 0
T3 18525 18466 0 0
T4 391279 391271 0 0
T5 438951 438942 0 0
T6 117430 117421 0 0
T13 766579 766502 0 0
T19 36992 36899 0 0
T20 102556 102499 0 0
T21 2026 1929 0 0

aReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 678150126 0 0
T1 400212 400204 0 0
T2 93154 93078 0 0
T3 18525 18466 0 0
T4 391279 391271 0 0
T5 438951 438942 0 0
T6 117430 117421 0 0
T13 766579 766502 0 0
T19 36992 36899 0 0
T20 102556 102499 0 0
T21 2026 1929 0 0

dKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 174876715 0 0
T1 400212 452815 0 0
T2 93154 33831 0 0
T3 18525 6774 0 0
T4 391279 411417 0 0
T5 438951 600488 0 0
T6 117430 423497 0 0
T13 766579 285938 0 0
T19 36992 10967 0 0
T20 102556 10224 0 0
T21 2026 426 0 0

dKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 678150126 0 0
T1 400212 400204 0 0
T2 93154 93078 0 0
T3 18525 18466 0 0
T4 391279 391271 0 0
T5 438951 438942 0 0
T6 117430 117421 0 0
T13 766579 766502 0 0
T19 36992 36899 0 0
T20 102556 102499 0 0
T21 2026 1929 0 0

dReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 678150126 0 0
T1 400212 400204 0 0
T2 93154 93078 0 0
T3 18525 18466 0 0
T4 391279 391271 0 0
T5 438951 438942 0 0
T6 117430 117421 0 0
T13 766579 766502 0 0
T19 36992 36899 0 0
T20 102556 102499 0 0
T21 2026 1929 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0

gen_device.aDataKnown_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 107325854 0 0
T1 400212 397026 0 0
T2 93155 6380 0 0
T3 18526 5956 0 0
T4 391280 360862 0 0
T5 438951 585091 0 0
T6 117430 368612 0 0
T13 766579 557214 0 0
T19 36992 8438 0 0
T20 102556 8686 0 0
T21 2027 355 0 0

gen_device.addrSizeAlignedErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 2394062 0 0
T5 438951 60948 0 0
T6 117430 0 0 0
T13 766579 0 0 0
T14 142699 0 0 0
T15 126617 0 0 0
T16 138863 0 0 0
T23 63440 0 0 0
T26 0 100201 0 0
T27 0 153865 0 0
T41 1223 0 0 0
T42 3205 0 0 0
T43 32273 0 0 0
T46 0 52717 0 0
T49 0 140532 0 0
T81 0 21736 0 0
T85 0 56347 0 0
T86 0 93579 0 0
T93 0 58945 0 0
T181 0 81112 0 0

gen_device.contigMask_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 48130107 0 0
T1 400212 254557 0 0
T2 93155 4326 0 0
T3 18526 3790 0 0
T4 391280 230895 0 0
T5 438951 22186 0 0
T6 117430 239209 0 0
T13 766579 357067 0 0
T19 36992 6802 0 0
T20 102556 5963 0 0
T21 2027 249 0 0

gen_device.dDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 21961891 0 0
T1 400212 55789 0 0
T2 93155 5103 0 0
T3 18526 818 0 0
T4 391280 50555 0 0
T5 438951 5090 0 0
T6 117430 54885 0 0
T13 766579 352119 0 0
T19 36992 2529 0 0
T20 102556 1538 0 0
T21 2027 71 0 0

gen_device.legalAOpcodeErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 1439497 0 0
T5 438951 38019 0 0
T6 117430 0 0 0
T13 766579 0 0 0
T14 142699 0 0 0
T15 126617 0 0 0
T16 138863 0 0 0
T23 63440 0 0 0
T26 0 62819 0 0
T27 0 92225 0 0
T41 1223 0 0 0
T42 3205 0 0 0
T43 32273 0 0 0
T46 0 29823 0 0
T49 0 86874 0 0
T81 0 12831 0 0
T85 0 33241 0 0
T86 0 57945 0 0
T93 0 38089 0 0
T181 0 49098 0 0

gen_device.legalAParam_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 125528993 0 0
T1 400212 452815 0 0
T2 93155 7523 0 0
T3 18526 6774 0 0
T4 391280 411417 0 0
T5 438951 645394 0 0
T6 117430 423497 0 0
T13 766579 635476 0 0
T19 36992 10967 0 0
T20 102556 10224 0 0
T21 2027 426 0 0

gen_device.legalDParam_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 174876715 0 0
T1 400212 452815 0 0
T2 93155 33831 0 0
T3 18526 6774 0 0
T4 391280 411417 0 0
T5 438951 600488 0 0
T6 117430 423497 0 0
T13 766579 285938 0 0
T19 36992 10967 0 0
T20 102556 10224 0 0
T21 2027 426 0 0

gen_device.pendingReqPerSrc_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 125528993 0 0
T1 400212 452815 0 0
T2 93155 7523 0 0
T3 18526 6774 0 0
T4 391280 411417 0 0
T5 438951 645394 0 0
T6 117430 423497 0 0
T13 766579 635476 0 0
T19 36992 10967 0 0
T20 102556 10224 0 0
T21 2027 426 0 0

gen_device.respMustHaveReq_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 174876715 0 0
T1 400212 452815 0 0
T2 93155 33831 0 0
T3 18526 6774 0 0
T4 391280 411417 0 0
T5 438951 600488 0 0
T6 117430 423497 0 0
T13 766579 285938 0 0
T19 36992 10967 0 0
T20 102556 10224 0 0
T21 2027 426 0 0

gen_device.respOpcode_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 174876715 0 0
T1 400212 452815 0 0
T2 93155 33831 0 0
T3 18526 6774 0 0
T4 391280 411417 0 0
T5 438951 600488 0 0
T6 117430 423497 0 0
T13 766579 285938 0 0
T19 36992 10967 0 0
T20 102556 10224 0 0
T21 2027 426 0 0

gen_device.respSzEqReqSz_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819613 174876715 0 0
T1 400212 452815 0 0
T2 93155 33831 0 0
T3 18526 6774 0 0
T4 391280 411417 0 0
T5 438951 600488 0 0
T6 117430 423497 0 0
T13 766579 285938 0 0
T19 36992 10967 0 0
T20 102556 10224 0 0
T21 2027 426 0 0

gen_device.sizeGTEMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 2194022 0 0
T5 438951 54542 0 0
T6 117430 0 0 0
T13 766579 0 0 0
T14 142699 0 0 0
T15 126617 0 0 0
T16 138863 0 0 0
T23 63440 0 0 0
T26 0 90388 0 0
T27 0 140694 0 0
T41 1223 0 0 0
T42 3205 0 0 0
T43 32273 0 0 0
T46 0 49712 0 0
T49 0 127572 0 0
T81 0 20025 0 0
T85 0 52255 0 0
T86 0 85526 0 0
T93 0 52380 0 0
T181 0 73491 0 0

gen_device.sizeMatchesMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 678819125 4143649 0 0
T5 438951 101575 0 0
T6 117430 0 0 0
T13 766579 0 0 0
T14 142699 0 0 0
T15 126617 0 0 0
T16 138863 0 0 0
T23 63440 0 0 0
T26 0 167245 0 0
T27 0 265990 0 0
T41 1223 0 0 0
T42 3205 0 0 0
T43 32273 0 0 0
T46 0 96350 0 0
T49 0 238868 0 0
T81 0 38822 0 0
T85 0 99194 0 0
T86 0 159056 0 0
T93 0 94858 0 0
T181 0 138745 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
T4 1 1 0 0
T5 1 1 0 0
T6 1 1 0 0
T13 1 1 0 0
T19 1 1 0 0
T20 1 1 0 0
T21 1 1 0 0



Cover Directives for Sequences: Details

NameAttemptsAll MatchesFirst MatchesIncomplete
gen_device_cov.aValidNotAccepted_C 678819613 197129 197129 0
gen_device_cov.a_addressChangedNotAccepted_C 678819613 0 0 0
gen_device_cov.a_dataChangedNotAccepted_C 678819613 0 0 0
gen_device_cov.a_maskChangedNotAccepted_C 678819613 0 0 0
gen_device_cov.a_opcodeChangedNotAccepted_C 678819613 0 0 0
gen_device_cov.a_sizeChangedNotAccepted_C 678819613 0 0 0
gen_device_cov.a_sourceChangedNotAccepted_C 678819613 0 0 0
gen_device_cov.b2bReqWithSameAddr_C 678819613 47205 47205 0
gen_device_cov.b2bReq_C 678819613 1752989 1752989 0
gen_device_cov.b2bSameSource_C 678819613 42172899 42172899 781


gen_device_cov.aValidNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 197129 197129 0
T5 438951 2 2 0
T6 117430 0 0 0
T13 766579 0 0 0
T14 142699 0 0 0
T15 126617 0 0 0
T16 138863 0 0 0
T23 63441 0 0 0
T41 1223 0 0 0
T42 3206 0 0 0
T43 32273 0 0 0
T119 0 512 512 0
T175 0 5 5 0
T176 0 12 12 0
T177 0 13 13 0
T182 0 32 32 0
T183 0 31 31 0
T184 0 2 2 0
T185 0 3 3 0
T186 0 39 39 0

gen_device_cov.a_addressChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 0 0 0

gen_device_cov.a_dataChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 0 0 0

gen_device_cov.a_maskChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 0 0 0

gen_device_cov.a_opcodeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 0 0 0

gen_device_cov.a_sizeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 0 0 0

gen_device_cov.a_sourceChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 0 0 0

gen_device_cov.b2bReqWithSameAddr_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 47205 47205 0
T120 146594 52 52 0
T121 123077 55 55 0
T125 610223 26 26 0
T175 8778 2 2 0
T177 8893 1 1 0
T185 4497 1 1 0
T186 25391 343 343 0
T187 16453 7384 7384 0
T188 108864 45 45 0
T189 8866 2 2 0

gen_device_cov.b2bReq_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 1752989 1752989 0
T5 438951 34 34 0
T6 117430 0 0 0
T13 766579 0 0 0
T14 142699 0 0 0
T15 126617 0 0 0
T16 138863 0 0 0
T23 63441 0 0 0
T41 1223 0 0 0
T42 3206 0 0 0
T43 32273 0 0 0
T119 0 5255 5255 0
T175 0 86 86 0
T176 0 95 95 0
T177 0 95 95 0
T182 0 348 348 0
T183 0 348 348 0
T184 0 32 32 0
T185 0 48 48 0
T190 0 348 348 0

gen_device_cov.b2bSameSource_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 678819613 42172899 42172899 781
T1 400212 263063 263063 1
T2 93155 1979 1979 1
T3 18526 2384 2384 1
T4 391280 210225 210225 1
T5 438951 38462 38462 0
T6 117430 423496 423496 1
T13 766579 280505 280505 1
T19 36992 7160 7160 1
T20 102556 10223 10223 1
T21 2027 394 394 1
T23 0 0 0 1

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