criterion performance measurements
overview
want to understand this report?
lex01/syzygy
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 1.8519009183373368e-3 | 1.9920632273481608e-3 | 2.1629974276350253e-3 |
| Standard deviation | 6.774355303359931e-4 | 7.910975797343392e-4 | 9.105553320570691e-4 |
Outlying measurements have severe (0.9890289612953017%) effect on estimated standard deviation.
lex01/syz+sugar
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 1.325346333834163e-3 | 1.3494154841230631e-3 | 1.4434406191633459e-3 |
| Standard deviation | 4.6349079415975437e-5 | 2.1420603722393516e-4 | 4.989105120332752e-4 |
Outlying measurements have severe (0.9048651143654287%) effect on estimated standard deviation.
grevlex01/syzygy
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 3.597799212650248e-2 | 3.92280545921702e-2 | 4.3720084735908e-2 |
| Standard deviation | 1.5320780113092522e-2 | 1.940737936115571e-2 | 2.7204391856703532e-2 |
Outlying measurements have severe (0.989374323034145%) effect on estimated standard deviation.
grevlex01/syz+sugar
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 2.7289043972053034e-2 | 2.8964687892951462e-2 | 3.3583735534705624e-2 |
| Standard deviation | 5.732103355194002e-3 | 1.3139440510916214e-2 | 2.7648127505614906e-2 |
Outlying measurements have severe (0.9892558262004388%) effect on estimated standard deviation.
lex02/syzygy
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 1.8266836711921197e-2 | 1.8806492397346008e-2 | 1.9515770980872597e-2 |
| Standard deviation | 2.546820474636346e-3 | 3.157803343825143e-3 | 3.885806007946924e-3 |
Outlying measurements have severe (0.9153092625461008%) effect on estimated standard deviation.
lex02/syz+sugar
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 6.774524757422898e-3 | 7.435475894965625e-3 | 8.922599861182668e-3 |
| Standard deviation | 1.9192215400181678e-3 | 4.804076638735278e-3 | 8.27865174687669e-3 |
Outlying measurements have severe (0.9896331503566279%) effect on estimated standard deviation.
grevlex02/syzygy
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 1.1161176273383588e-2 | 1.1615640232123829e-2 | 1.2256688186683152e-2 |
| Standard deviation | 2.202899333844856e-3 | 2.7345375701511164e-3 | 3.7431678064282037e-3 |
Outlying measurements have severe (0.9574017495719075%) effect on estimated standard deviation.
grevlex02/syz+sugar
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 1.0766016552009084e-2 | 1.1507638999976613e-2 | 1.2671257564582318e-2 |
| Standard deviation | 3.3721270431689146e-3 | 4.695339344697108e-3 | 6.7892396827094305e-3 |
Outlying measurements have severe (0.989080124814911%) effect on estimated standard deviation.
grevlex03/syzygy
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 2.7392368832321563 | 2.7845248332710644 | 2.8572647228927996 |
| Standard deviation | 0.2050617713636716 | 0.2896676757342605 | 0.41794245579575584 |
Outlying measurements have severe (0.8102915510255387%) effect on estimated standard deviation.
grevlex03/syz+sugar
| lower bound | estimate | upper bound | |
|---|---|---|---|
| Mean execution time | 2.0197499504776384 | 2.020944501468697 | 2.022460619518319 |
| Standard deviation | 5.650319675743821e-3 | 6.849283285883724e-3 | 8.68440347319492e-3 |
Outlying measurements have no (9.899999999999949e-3%) effect on estimated standard deviation.
understanding this report
In this report, each function benchmarked by criterion is assigned a section of its own. In each section, we display two charts, each with an x axis that represents measured execution time. These charts are active; if you hover your mouse over data points and annotations, you will see more details.
- The chart on the left is a kernel density estimate (also known as a KDE) of time measurements. This graphs the probability of any given time measurement occurring. A spike indicates that a measurement of a particular time occurred; its height indicates how often that measurement was repeated.
- The chart on the right is the raw data from which the kernel density estimate is built. Measurements are displayed on the y axis in the order in which they occurred.
Under the charts is a small table displaying the mean and standard deviation of the measurements. We use a statistical technique called the bootstrap to provide confidence intervals on our estimates of these values. The bootstrap-derived upper and lower bounds on the mean and standard deviation let you see how accurate we believe those estimates to be. (Hover the mouse over the table headers to see the confidence levels.)
A noisy benchmarking environment can cause some or many measurements to fall far from the mean. These outlying measurements can have a significant inflationary effect on the estimate of the standard deviation. We calculate and display an estimate of the extent to which the standard deviation has been inflated by outliers.