From: On the assessment of probabilistic WCET estimates reliability for arbitrary programs
ReVS | MBPTA / HoG / HoG(U=15) | |||||
---|---|---|---|---|---|---|
\(R^{\prime }_{\mathrm {IL1}}\) | \(R^{\prime }_{\mathrm {DL1}}\) | R ′ | likelihood (R ′) | R | likelihood (R) | |
a2time | 58,360 | 540 | 58,360 | 10−9 | 2650 | 0.390 |
aifftr | 6840 | 5500 | 6840 | 10−9 | 2200 | 0.001 |
aifirf | 21,390 | 11,530 | 21,390 | 10−9 | 4400 | 0.014 |
aiifft | 8920 | 8770 | 8920 | 10−9 | 1900 | 0.011 |
basefp | 82,080 | 20,010 | 82,080 | 10−9 | 300 | 0.927 |
bitmnp | 4640 | 3510 | 4640 | 10−9 | 850 | 0.007 |
canrdr | 18,610 | 7950 | 18,610 | 10−9 | 350 | 0.677 |
idctrn | 65,770 | 47,700 | 65,770 | 10−9 | 3650 | 0.317 |