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

Module : tlul_assert
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00

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 100.00 100.00 100.00 100.00



Module Instance : tb.dut.tlul_assert_device

Instance :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Instance's subtree :
SCORELINECONDTOGGLEFSMBRANCHASSERT
100.00 100.00 100.00 100.00


Parent :
SCORELINECONDTOGGLEFSMBRANCHASSERTNAME
100.00 100.00 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_ASSIGN5711100.00
CONT_ASSIGN5811100.00
CONT_ASSIGN5911100.00
CONT_ASSIGN6011100.00
ALWAYS681111100.00
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
INITIAL29600
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
57 1 1
58 1 1
59 1 1
60 1 1
68 1 1
69 1 1
71 1 1
75 1 1
76 1 1
77 1 1
78 1 1
79 1 1
MISSING_ELSE
MISSING_ELSE
83 1 1
85 1 1
86 1 1
MISSING_ELSE
MISSING_ELSE


Branch Coverage for Module : tlul_assert
Line No.TotalCoveredPercent
Branches 7 7 100.00
IF 68 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-: 68 if ((!rst_ni)) -2-: 71 if (h2d.a_valid) -3-: 75 if (d2h.a_ready) -4-: 83 if (d2h.d_valid) -5-: 85 if (h2d.d_ready)

Branches:
-1--2--3--4--5-StatusTests
1 - - - - Covered T41,T42,T43
0 1 1 - - Covered T41,T42,T43
0 1 0 - - Covered T8,T70,T71
0 0 - - - Covered T41,T42,T43
0 - - 1 1 Covered T41,T42,T43
0 - - 1 0 Covered T43,T52,T53
0 - - 0 - Covered T41,T42,T43


Assert Coverage for Module : tlul_assert
TotalAttemptedPercentSucceeded/MatchedPercent
Assertions 276 276 100.00 276 100.00
Cover properties 0 0 0
Cover sequences 10 10 100.00 10 100.00
Total 286 286 100.00 286 100.00




Assertion Details

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


aKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 57599556 0 0
T1 2413 540 0 0
T11 2525 234 0 0
T12 1050 40 0 0
T21 1423 58 0 0
T23 2958 289 0 0
T24 3495 354 0 0
T25 1816 406 0 0
T26 1282 40 0 0
T27 2173 865 0 0
T28 1336 354 0 0

aKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 309198420 0 0
T1 2413 2329 0 0
T11 2525 2441 0 0
T12 1050 973 0 0
T21 1423 1336 0 0
T23 2958 2874 0 0
T24 3495 3412 0 0
T25 1816 1752 0 0
T26 1282 1215 0 0
T27 2173 2097 0 0
T28 1336 1285 0 0

aReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 309198420 0 0
T1 2413 2329 0 0
T11 2525 2441 0 0
T12 1050 973 0 0
T21 1423 1336 0 0
T23 2958 2874 0 0
T24 3495 3412 0 0
T25 1816 1752 0 0
T26 1282 1215 0 0
T27 2173 2097 0 0
T28 1336 1285 0 0

dKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 70575364 0 0
T1 2413 1095 0 0
T11 2525 215 0 0
T12 1050 197 0 0
T21 1423 157 0 0
T23 2958 265 0 0
T24 3495 329 0 0
T25 1816 214 0 0
T26 1282 40 0 0
T27 2173 433 0 0
T28 1336 188 0 0

dKnown_AKnownEnable
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 309198420 0 0
T1 2413 2329 0 0
T11 2525 2441 0 0
T12 1050 973 0 0
T21 1423 1336 0 0
T23 2958 2874 0 0
T24 3495 3412 0 0
T25 1816 1752 0 0
T26 1282 1215 0 0
T27 2173 2097 0 0
T28 1336 1285 0 0

dReadyKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 309198420 0 0
T1 2413 2329 0 0
T11 2525 2441 0 0
T12 1050 973 0 0
T21 1423 1336 0 0
T23 2958 2874 0 0
T24 3495 3412 0 0
T25 1816 1752 0 0
T26 1282 1215 0 0
T27 2173 2097 0 0
T28 1336 1285 0 0

gen_assert_final[0].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[100].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[101].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[102].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[103].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[104].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[105].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[106].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[107].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[108].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[109].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[10].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[110].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[111].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[112].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[113].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[114].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[115].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[116].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[117].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[118].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[119].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[11].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[120].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[121].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[122].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[123].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[124].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[125].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[126].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[127].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[128].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[129].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[12].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[130].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[131].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[132].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[133].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[134].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[135].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[136].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[137].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[138].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[139].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[13].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[140].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[141].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[142].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[143].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[144].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[145].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[146].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[147].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[148].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[149].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[14].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[150].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[151].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[152].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[153].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[154].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[155].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[156].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[157].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[158].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[159].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[15].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[160].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[161].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[162].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[163].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[164].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[165].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[166].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[167].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[168].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[169].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[16].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[170].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[171].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[172].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[173].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[174].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[175].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[176].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[177].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[178].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[179].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[17].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[180].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[181].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[182].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[183].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[184].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[185].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[186].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[187].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[188].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[189].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[18].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[190].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[191].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[192].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[193].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[194].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[195].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[196].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[197].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[198].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[199].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[19].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[1].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[200].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[201].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[202].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[203].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[204].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[205].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[206].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[207].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[208].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[209].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[20].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[210].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[211].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[212].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[213].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[214].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[215].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[216].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[217].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[218].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[219].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[21].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[220].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[221].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[222].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[223].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[224].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[225].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[226].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[227].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[228].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[229].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[22].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[230].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[231].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[232].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[233].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[234].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[235].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[236].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[237].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[238].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[239].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[23].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[240].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[241].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[242].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[243].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[244].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[245].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[246].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[247].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[248].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[249].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[24].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[250].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[251].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[252].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[253].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[254].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[255].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[25].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[26].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[27].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[28].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[29].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[2].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[30].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[31].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[32].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[33].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[34].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[35].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[36].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[37].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[38].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[39].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[3].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[40].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[41].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[42].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[43].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[44].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[45].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[46].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[47].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[48].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[49].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[4].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[50].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[51].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[52].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[53].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[54].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[55].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[56].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[57].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[58].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[59].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[5].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[60].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[61].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[62].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[63].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[64].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[65].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[66].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[67].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[68].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[69].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[6].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[70].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[71].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[72].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[73].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[74].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[75].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[76].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[77].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[78].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[79].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[7].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[80].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[81].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[82].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[83].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[84].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[85].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[86].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[87].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[88].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[89].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[8].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[90].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[91].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[92].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[93].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[94].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[95].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[96].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[97].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[98].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[99].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_assert_final[9].noOutstandingReqsAtEndOfSim_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0

gen_device.aDataKnown_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 40325954 0 0
T1 2414 274 0 0
T11 2525 122 0 0
T12 1050 20 0 0
T21 1423 29 0 0
T23 2959 171 0 0
T24 3495 30 0 0
T25 1817 208 0 0
T26 1283 20 0 0
T27 2173 652 0 0
T28 1337 188 0 0

gen_device.addrSizeAlignedErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 2714850 0 0
T1 2413 0 0 0
T2 0 60 0 0
T5 0 3 0 0
T6 0 2 0 0
T11 2525 0 0 0
T12 1050 0 0 0
T18 0 1 0 0
T21 1423 0 0 0
T23 2958 1 0 0
T24 3495 0 0 0
T25 1816 0 0 0
T26 1282 0 0 0
T27 2173 27 0 0
T28 1336 0 0 0
T29 0 1 0 0
T33 0 35 0 0
T35 0 81 0 0
T39 0 1 0 0

gen_device.contigMask_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 3794282 0 0
T1 2414 408 0 0
T2 0 1 0 0
T11 2525 0 0 0
T12 1050 32 0 0
T13 843 16 0 0
T14 0 42 0 0
T21 1423 44 0 0
T24 3495 344 0 0
T25 1817 300 0 0
T26 1283 30 0 0
T27 2173 0 0 0
T28 1337 260 0 0

gen_device.dDataKnown_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 4269256 0 0
T1 2414 500 0 0
T2 0 1 0 0
T11 2525 0 0 0
T12 1050 104 0 0
T13 843 9 0 0
T14 0 29 0 0
T21 1423 86 0 0
T24 3495 299 0 0
T25 1817 106 0 0
T26 1283 20 0 0
T27 2173 0 0 0
T28 1337 91 0 0

gen_device.legalAOpcodeErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 2819858 0 0
T1 2413 0 0 0
T2 3985 61 0 0
T3 0 3 0 0
T5 0 2 0 0
T11 2525 0 0 0
T12 1050 0 0 0
T13 842 0 0 0
T14 1138 0 0 0
T15 3711 0 0 0
T18 0 1 0 0
T21 1423 0 0 0
T27 2173 23 0 0
T28 1336 0 0 0
T29 0 2 0 0
T33 0 41 0 0
T34 0 3 0 0
T35 0 76 0 0
T36 0 195 0 0

gen_device.legalAParam_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 57599621 0 0
T1 2414 540 0 0
T11 2525 234 0 0
T12 1050 40 0 0
T21 1423 58 0 0
T23 2959 290 0 0
T24 3495 354 0 0
T25 1817 406 0 0
T26 1283 40 0 0
T27 2173 865 0 0
T28 1337 354 0 0

gen_device.legalDParam_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 70575434 0 0
T1 2414 1095 0 0
T11 2525 215 0 0
T12 1050 197 0 0
T21 1423 157 0 0
T23 2959 265 0 0
T24 3495 329 0 0
T25 1817 214 0 0
T26 1283 40 0 0
T27 2173 433 0 0
T28 1337 188 0 0

gen_device.pendingReqPerSrc_M
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 57599621 0 0
T1 2414 540 0 0
T11 2525 234 0 0
T12 1050 40 0 0
T21 1423 58 0 0
T23 2959 290 0 0
T24 3495 354 0 0
T25 1817 406 0 0
T26 1283 40 0 0
T27 2173 865 0 0
T28 1337 354 0 0

gen_device.respMustHaveReq_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 70575434 0 0
T1 2414 1095 0 0
T11 2525 215 0 0
T12 1050 197 0 0
T21 1423 157 0 0
T23 2959 265 0 0
T24 3495 329 0 0
T25 1817 214 0 0
T26 1283 40 0 0
T27 2173 433 0 0
T28 1337 188 0 0

gen_device.respOpcode_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 70575434 0 0
T1 2414 1095 0 0
T11 2525 215 0 0
T12 1050 197 0 0
T21 1423 157 0 0
T23 2959 265 0 0
T24 3495 329 0 0
T25 1817 214 0 0
T26 1283 40 0 0
T27 2173 433 0 0
T28 1337 188 0 0

gen_device.respSzEqReqSz_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309589063 70575434 0 0
T1 2414 1095 0 0
T11 2525 215 0 0
T12 1050 197 0 0
T21 1423 157 0 0
T23 2959 265 0 0
T24 3495 329 0 0
T25 1817 214 0 0
T26 1283 40 0 0
T27 2173 433 0 0
T28 1337 188 0 0

gen_device.sizeGTEMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 2217728 0 0
T1 2413 0 0 0
T2 3985 47 0 0
T6 0 1 0 0
T8 0 88824 0 0
T11 2525 0 0 0
T12 1050 0 0 0
T13 842 0 0 0
T14 1138 0 0 0
T15 3711 0 0 0
T21 1423 0 0 0
T27 2173 22 0 0
T28 1336 0 0 0
T33 0 36 0 0
T34 0 1 0 0
T35 0 68 0 0
T36 0 138 0 0
T39 0 1 0 0
T70 0 34826 0 0

gen_device.sizeMatchesMaskErr_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 309588488 2065547 0 0
T1 2413 0 0 0
T2 3985 62 0 0
T6 0 1 0 0
T8 0 83354 0 0
T11 2525 0 0 0
T12 1050 0 0 0
T13 842 0 0 0
T14 1138 0 0 0
T15 3711 0 0 0
T18 0 3 0 0
T21 1423 0 0 0
T27 2173 23 0 0
T28 1336 0 0 0
T33 0 43 0 0
T34 0 1 0 0
T35 0 76 0 0
T36 0 134 0 0
T70 0 31410 0 0

p_dbw.TlDbw_A
NameAttemptsReal SuccessesFailuresIncomplete
Total 928 928 0 0
T1 1 1 0 0
T11 1 1 0 0
T12 1 1 0 0
T21 1 1 0 0
T23 1 1 0 0
T24 1 1 0 0
T25 1 1 0 0
T26 1 1 0 0
T27 1 1 0 0
T28 1 1 0 0



Cover Directives for Sequences: Details

NameAttemptsAll MatchesFirst MatchesIncomplete
gen_device_cov.aValidNotAccepted_C 309589063 161 161 0
gen_device_cov.a_addressChangedNotAccepted_C 309589063 18 18 0
gen_device_cov.a_dataChangedNotAccepted_C 309589063 18 18 0
gen_device_cov.a_maskChangedNotAccepted_C 309589063 8 8 0
gen_device_cov.a_opcodeChangedNotAccepted_C 309589063 6 6 0
gen_device_cov.a_sizeChangedNotAccepted_C 309589063 6 6 0
gen_device_cov.a_sourceChangedNotAccepted_C 309589063 8 8 0
gen_device_cov.b2bReqWithSameAddr_C 309589063 1522 1522 0
gen_device_cov.b2bReq_C 309589063 2057 2057 0
gen_device_cov.b2bSameSource_C 309589063 3007264 3007264 842


gen_device_cov.aValidNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 161 161 0
T1 2414 0 0 0
T8 0 2 2 0
T11 2525 0 0 0
T12 1050 0 0 0
T13 843 1 1 0
T15 0 2 2 0
T21 1423 0 0 0
T24 3495 4 4 0
T25 1817 22 22 0
T26 1283 0 0 0
T27 2173 0 0 0
T28 1337 15 15 0
T61 0 1 1 0
T72 0 4 4 0
T73 0 3 3 0
T74 0 2 2 0

gen_device_cov.a_addressChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 18 18 0
T1 2414 0 0 0
T11 2525 0 0 0
T12 1050 0 0 0
T13 843 0 0 0
T21 1423 0 0 0
T24 3495 1 1 0
T25 1817 0 0 0
T26 1283 0 0 0
T27 2173 0 0 0
T28 1337 0 0 0
T61 0 1 1 0
T74 0 2 2 0
T75 0 5 5 0
T76 0 2 2 0
T77 0 1 1 0
T78 0 1 1 0
T79 0 3 3 0
T80 0 2 2 0

gen_device_cov.a_dataChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 18 18 0
T1 2414 0 0 0
T11 2525 0 0 0
T12 1050 0 0 0
T13 843 0 0 0
T21 1423 0 0 0
T24 3495 1 1 0
T25 1817 0 0 0
T26 1283 0 0 0
T27 2173 0 0 0
T28 1337 0 0 0
T61 0 1 1 0
T74 0 2 2 0
T75 0 5 5 0
T76 0 2 2 0
T77 0 1 1 0
T78 0 1 1 0
T79 0 3 3 0
T80 0 2 2 0

gen_device_cov.a_maskChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 8 8 0
T61 769207 1 1 0
T62 2975 0 0 0
T63 25665 0 0 0
T64 43192 0 0 0
T65 7436 0 0 0
T66 2438 0 0 0
T67 132039 0 0 0
T68 855506 0 0 0
T69 4100 0 0 0
T75 0 4 4 0
T77 0 1 1 0
T79 0 2 2 0
T81 488394 0 0 0

gen_device_cov.a_opcodeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 6 6 0
T36 9171 0 0 0
T74 785 1 1 0
T77 1809 1 1 0
T78 1200 1 1 0
T79 872 1 1 0
T80 0 2 2 0
T82 1178 0 0 0
T83 2709 0 0 0
T84 5633 0 0 0
T85 643 0 0 0
T86 1264 0 0 0

gen_device_cov.a_sizeChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 6 6 0
T61 769207 1 1 0
T62 2975 0 0 0
T63 25665 0 0 0
T64 43192 0 0 0
T65 7436 0 0 0
T66 2438 0 0 0
T67 132039 0 0 0
T68 855506 0 0 0
T69 4100 0 0 0
T75 0 2 2 0
T77 0 1 1 0
T79 0 2 2 0
T81 488394 0 0 0

gen_device_cov.a_sourceChangedNotAccepted_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 8 8 0
T61 769207 1 1 0
T62 2975 0 0 0
T63 25665 0 0 0
T64 43192 0 0 0
T65 7436 0 0 0
T66 2438 0 0 0
T67 132039 0 0 0
T68 855506 0 0 0
T69 4100 0 0 0
T75 0 5 5 0
T76 0 1 1 0
T78 0 1 1 0
T81 488394 0 0 0

gen_device_cov.b2bReqWithSameAddr_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 1522 1522 0
T1 2414 17 17 0
T11 2525 0 0 0
T12 1050 0 0 0
T13 843 0 0 0
T14 1139 0 0 0
T15 0 26 26 0
T21 1423 0 0 0
T25 1817 192 192 0
T26 1283 0 0 0
T27 2173 0 0 0
T28 1337 166 166 0
T72 0 25 25 0
T87 0 210 210 0
T88 0 26 26 0
T89 0 5 5 0
T90 0 199 199 0
T91 0 31 31 0

gen_device_cov.b2bReq_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 2057 2057 0
T1 2414 17 17 0
T7 0 1 1 0
T11 2525 0 0 0
T12 1050 0 0 0
T13 843 2 2 0
T15 0 26 26 0
T21 1423 0 0 0
T24 3495 25 25 0
T25 1817 192 192 0
T26 1283 0 0 0
T27 2173 0 0 0
T28 1337 166 166 0
T72 0 25 25 0
T73 0 16 16 0
T87 0 210 210 0

gen_device_cov.b2bSameSource_C
NameAttemptsAll MatchesFirst MatchesIncomplete
Total 309589063 3007264 3007264 842
T1 2414 21 21 1
T2 0 0 0 1
T11 2525 0 0 0
T12 1050 39 39 1
T13 843 0 0 1
T14 0 57 57 1
T15 0 31 31 0
T16 0 55 55 0
T21 1423 5 5 1
T24 3495 29 29 1
T25 1817 21 21 1
T26 1283 8 8 1
T27 2173 0 0 0
T28 1337 12 12 1

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