iters=5 new-facts=1 prior-facts=1 | | mean | 285.411-285.410=0.001 | | σ | 0.013-0.016=-0.002 | | min | 285.389-285.386=0.003 | | max | 285.425-285.426=-0.001 |
| | mean | 1644.000-1632.000=12.000 | | σ | 0.000 | | min | 1644.000-1632.000=12.000 | | max | 1644.000-1632.000=12.000 |
| | mean | 0.376-0.377=-0.001 | | σ | 0.007-0.007=-0.001 | | min | 0.372-0.373=-0.001 | | max | 0.388-0.390=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.368-1285.348=0.020 | | σ | 0.125-0.070=0.055 | | min | 1285.309-1285.308=0.001 | | max | 1285.592-1285.473=0.119 |
| | mean | 1644.000-1632.000=12.000 | | σ | 0.000 | | min | 1644.000-1632.000=12.000 | | max | 1644.000-1632.000=12.000 |
| | mean | 2.025-1.926=0.099 | | σ | 0.219-0.142=0.078 | | min | 1.815-1.816=-0.000 | | max | 2.364-2.172=0.192 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1807.714-1807.784=-0.070 | | σ | 6.985-6.972=0.013 | | min | 1804.359-1804.433=-0.074 | | max | 1820.192-1820.243=-0.051 |
| | mean | 1644.000-1632.000=12.000 | | σ | 0.000 | | min | 1644.000-1632.000=12.000 | | max | 1644.000-1632.000=12.000 |
| | mean | 4.186-4.474=-0.289 | | σ | 0.167-0.256=-0.090 | | min | 3.972-4.183=-0.211 | | max | 4.402-4.883=-0.481 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 2070.196-2070.199=-0.004 | | σ | 0.010-0.008=0.001 | | min | 2070.184-2070.187=-0.003 | | max | 2070.210-2070.209=0.001 |
| | mean | 1843.000-1848.000=-5.000 | | σ | 170.419-189.178=-18.760 | | min | 1644.000-1632.000=12.000 | | max | 2081.000-2085.000=-4.000 |
| | mean | 4.473-4.544=-0.071 | | σ | 0.030-0.044=-0.014 | | min | 4.424-4.490=-0.066 | | max | 4.500-4.582=-0.083 |
|