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 T6,T118,T51
0 0 - - - Covered T1,T2,T3
0 - - 1 1 Covered T1,T2,T3
0 - - 1 0 Covered T1,T7,T21
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 688696741 138612004 0 0
aKnown_AKnownEnable 688696741 687982983 0 0
aReadyKnown_A 688696741 687982983 0 0
dKnown_A 688696741 176021283 0 0
dKnown_AKnownEnable 688696741 687982983 0 0
dReadyKnown_A 688696741 687982983 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 688697239 118451002 0 0
gen_device.addrSizeAlignedErr_A 688696741 3012408 0 0
gen_device.contigMask_M 688697239 47954351 0 0
gen_device.dDataKnown_A 688697239 22176743 0 0
gen_device.legalAOpcodeErr_A 688696741 1813320 0 0
gen_device.legalAParam_M 688697239 138612004 0 0
gen_device.legalDParam_A 688697239 176021283 0 0
gen_device.pendingReqPerSrc_M 688697239 138612004 0 0
gen_device.respMustHaveReq_A 688697239 176021283 0 0
gen_device.respOpcode_A 688697239 176021283 0 0
gen_device.respSzEqReqSz_A 688697239 176021283 0 0
gen_device.sizeGTEMaskErr_A 688696741 2759080 0 0
gen_device.sizeMatchesMaskErr_A 688696741 5215397 0 0
p_dbw.TlDbw_A 829 829 0 0


aKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 138612004 0 0
T1 37985 3424 0 0
T2 28883 7414 0 0
T3 15697 6057 0 0
T4 7002 453 0 0
T7 125718 14665 0 0
T8 841462 386321 0 0
T12 36617 4037 0 0
T13 1945 533 0 0
T14 25091 2991 0 0
T21 115774 8671 0 0

aKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 687982983 0 0
T1 37985 37898 0 0
T2 28883 28794 0 0
T3 15697 15646 0 0
T4 7002 6864 0 0
T7 125718 125713 0 0
T8 841462 841393 0 0
T12 36617 36535 0 0
T13 1945 1894 0 0
T14 25091 25005 0 0
T21 115774 115683 0 0

aReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 687982983 0 0
T1 37985 37898 0 0
T2 28883 28794 0 0
T3 15697 15646 0 0
T4 7002 6864 0 0
T7 125718 125713 0 0
T8 841462 841393 0 0
T12 36617 36535 0 0
T13 1945 1894 0 0
T14 25091 25005 0 0
T21 115774 115683 0 0

dKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 176021283 0 0
T1 37985 15195 0 0
T2 28883 7414 0 0
T3 15697 6057 0 0
T4 7002 453 0 0
T7 125718 44983 0 0
T8 841462 386321 0 0
T12 36617 4037 0 0
T13 1945 533 0 0
T14 25091 2991 0 0
T21 115774 38970 0 0

dKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 687982983 0 0
T1 37985 37898 0 0
T2 28883 28794 0 0
T3 15697 15646 0 0
T4 7002 6864 0 0
T7 125718 125713 0 0
T8 841462 841393 0 0
T12 36617 36535 0 0
T13 1945 1894 0 0
T14 25091 25005 0 0
T21 115774 115683 0 0

dReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 687982983 0 0
T1 37985 37898 0 0
T2 28883 28794 0 0
T3 15697 15646 0 0
T4 7002 6864 0 0
T7 125718 125713 0 0
T8 841462 841393 0 0
T12 36617 36535 0 0
T13 1945 1894 0 0
T14 25091 25005 0 0
T21 115774 115683 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T21 1 1 0 0

gen_device.aDataKnown_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 118451002 0 0
T1 37986 2933 0 0
T2 28883 6414 0 0
T3 15697 3853 0 0
T4 7002 380 0 0
T7 125718 12886 0 0
T8 841463 338574 0 0
T12 36618 3412 0 0
T13 1945 431 0 0
T14 25091 2600 0 0
T21 115775 7400 0 0

gen_device.addrSizeAlignedErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 3012408 0 0
T6 208781 59172 0 0
T16 461866 0 0 0
T25 86737 0 0 0
T29 0 65770 0 0
T34 375275 0 0 0
T35 42559 0 0 0
T49 73184 0 0 0
T51 0 117163 0 0
T56 0 215440 0 0
T58 0 114573 0 0
T65 306986 0 0 0
T66 411882 0 0 0
T86 1132 0 0 0
T103 0 38509 0 0
T105 0 66278 0 0
T112 0 87563 0 0
T118 0 142530 0 0
T124 21791 0 0 0
T187 0 207694 0 0

gen_device.contigMask_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 47954351 0 0
T1 37986 1885 0 0
T2 28883 4262 0 0
T3 15697 4146 0 0
T4 7002 261 0 0
T7 125718 8174 0 0
T8 841463 217240 0 0
T12 36618 2394 0 0
T13 1945 323 0 0
T14 25091 1640 0 0
T21 115775 4921 0 0

gen_device.dDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 22176743 0 0
T1 37986 2219 0 0
T2 28883 1000 0 0
T3 15697 2204 0 0
T4 7002 73 0 0
T7 125718 5307 0 0
T8 841463 47747 0 0
T12 36618 625 0 0
T13 1945 102 0 0
T14 25091 391 0 0
T21 115775 5745 0 0

gen_device.legalAOpcodeErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 1813320 0 0
T6 208781 36025 0 0
T16 461866 0 0 0
T25 86737 0 0 0
T29 0 40281 0 0
T34 375275 0 0 0
T35 42559 0 0 0
T49 73184 0 0 0
T51 0 71543 0 0
T56 0 127567 0 0
T58 0 68555 0 0
T65 306986 0 0 0
T66 411882 0 0 0
T86 1132 0 0 0
T103 0 24005 0 0
T105 0 39481 0 0
T112 0 52579 0 0
T118 0 85214 0 0
T124 21791 0 0 0
T187 0 125596 0 0

gen_device.legalAParam_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 138612004 0 0
T1 37986 3424 0 0
T2 28883 7414 0 0
T3 15697 6057 0 0
T4 7002 453 0 0
T7 125718 14665 0 0
T8 841463 386321 0 0
T12 36618 4037 0 0
T13 1945 533 0 0
T14 25091 2991 0 0
T21 115775 8671 0 0

gen_device.legalDParam_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 176021283 0 0
T1 37986 15195 0 0
T2 28883 7414 0 0
T3 15697 6057 0 0
T4 7002 453 0 0
T7 125718 44983 0 0
T8 841463 386321 0 0
T12 36618 4037 0 0
T13 1945 533 0 0
T14 25091 2991 0 0
T21 115775 38970 0 0

gen_device.pendingReqPerSrc_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 138612004 0 0
T1 37986 3424 0 0
T2 28883 7414 0 0
T3 15697 6057 0 0
T4 7002 453 0 0
T7 125718 14665 0 0
T8 841463 386321 0 0
T12 36618 4037 0 0
T13 1945 533 0 0
T14 25091 2991 0 0
T21 115775 8671 0 0

gen_device.respMustHaveReq_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 176021283 0 0
T1 37986 15195 0 0
T2 28883 7414 0 0
T3 15697 6057 0 0
T4 7002 453 0 0
T7 125718 44983 0 0
T8 841463 386321 0 0
T12 36618 4037 0 0
T13 1945 533 0 0
T14 25091 2991 0 0
T21 115775 38970 0 0

gen_device.respOpcode_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 176021283 0 0
T1 37986 15195 0 0
T2 28883 7414 0 0
T3 15697 6057 0 0
T4 7002 453 0 0
T7 125718 44983 0 0
T8 841463 386321 0 0
T12 36618 4037 0 0
T13 1945 533 0 0
T14 25091 2991 0 0
T21 115775 38970 0 0

gen_device.respSzEqReqSz_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688697239 176021283 0 0
T1 37986 15195 0 0
T2 28883 7414 0 0
T3 15697 6057 0 0
T4 7002 453 0 0
T7 125718 44983 0 0
T8 841463 386321 0 0
T12 36618 4037 0 0
T13 1945 533 0 0
T14 25091 2991 0 0
T21 115775 38970 0 0

gen_device.sizeGTEMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 2759080 0 0
T6 208781 54306 0 0
T16 461866 0 0 0
T25 86737 0 0 0
T29 0 59509 0 0
T34 375275 0 0 0
T35 42559 0 0 0
T49 73184 0 0 0
T51 0 106704 0 0
T56 0 198550 0 0
T58 0 105134 0 0
T65 306986 0 0 0
T66 411882 0 0 0
T86 1132 0 0 0
T103 0 35094 0 0
T105 0 61056 0 0
T112 0 80409 0 0
T118 0 131021 0 0
T124 21791 0 0 0
T187 0 189296 0 0

gen_device.sizeMatchesMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 688696741 5215397 0 0
T6 208781 102312 0 0
T16 461866 0 0 0
T25 86737 0 0 0
T29 0 111796 0 0
T34 375275 0 0 0
T35 42559 0 0 0
T49 73184 0 0 0
T51 0 200192 0 0
T56 0 379548 0 0
T58 0 199585 0 0
T65 306986 0 0 0
T66 411882 0 0 0
T86 1132 0 0 0
T103 0 65106 0 0
T105 0 115127 0 0
T112 0 151868 0 0
T118 0 248180 0 0
T124 21791 0 0 0
T187 0 358203 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
T7 1 1 0 0
T8 1 1 0 0
T12 1 1 0 0
T13 1 1 0 0
T14 1 1 0 0
T21 1 1 0 0



Cover Directives for Sequences: Details

NameAttemptsAll MatchesFirst MatchesIncomplete
gen_device_cov.aValidNotAccepted_C 688697239 172190 172190 0
gen_device_cov.a_addressChangedNotAccepted_C 688697239 0 0 0
gen_device_cov.a_dataChangedNotAccepted_C 688697239 0 0 0
gen_device_cov.a_maskChangedNotAccepted_C 688697239 0 0 0
gen_device_cov.a_opcodeChangedNotAccepted_C 688697239 0 0 0
gen_device_cov.a_sizeChangedNotAccepted_C 688697239 0 0 0
gen_device_cov.a_sourceChangedNotAccepted_C 688697239 0 0 0
gen_device_cov.b2bReqWithSameAddr_C 688697239 39195 39195 0
gen_device_cov.b2bReq_C 688697239 2024333 2024333 0
gen_device_cov.b2bSameSource_C 688697239 45555750 45555750 783


gen_device_cov.aValidNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 172190 172190 0
T126 0 9934 9934 0
T127 0 2795 2795 0
T128 0 201 201 0
T181 0 614 614 0
T183 0 758 758 0
T188 287478 40 40 0
T189 14039 0 0 0
T190 115822 0 0 0
T191 194016 0 0 0
T192 668088 0 0 0
T193 191830 0 0 0
T194 9049 0 0 0
T195 214789 0 0 0
T196 102942 0 0 0
T197 59615 0 0 0
T198 0 1238 1238 0
T199 0 79 79 0
T200 0 2 2 0
T201 0 320 320 0

gen_device_cov.a_addressChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 0 0 0

gen_device_cov.a_dataChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 0 0 0

gen_device_cov.a_maskChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 0 0 0

gen_device_cov.a_opcodeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 0 0 0

gen_device_cov.a_sizeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 0 0 0

gen_device_cov.a_sourceChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 0 0 0

gen_device_cov.b2bReqWithSameAddr_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 39195 39195 0
T126 221607 262 262 0
T129 587526 18 18 0
T133 209411 250 250 0
T181 34997 351 351 0
T182 33803 356 356 0
T183 62568 729 729 0
T198 68772 660 660 0
T202 188550 1 1 0
T203 25601 353 353 0
T204 425146 5 5 0

gen_device_cov.b2bReq_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 2024333 2024333 0
T29 490171 33 33 0
T52 52502 0 0 0
T125 0 2259 2259 0
T181 0 351 351 0
T182 0 356 356 0
T183 0 729 729 0
T187 0 348 348 0
T188 0 348 348 0
T205 25170 0 0 0
T206 154202 0 0 0
T207 43569 0 0 0
T208 140910 0 0 0
T209 62552 0 0 0
T210 163716 0 0 0
T211 296617 0 0 0
T212 892957 0 0 0
T213 0 348 348 0
T214 0 348 348 0
T215 0 58 58 0

gen_device_cov.b2bSameSource_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 688697239 45555750 45555750 783
T1 37986 2017 2017 1
T2 28883 7413 7413 1
T3 15697 5115 5115 1
T4 7002 2 2 1
T7 125718 2532 2532 1
T8 841463 70873 70873 1
T12 36618 2841 2841 1
T13 1945 532 532 1
T14 25091 2865 2865 1
T21 115775 4112 4112 1

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