iters=5 new-facts=1 prior-facts=1 | | mean | 271.753-271.759=-0.006 | | σ | 0.007-0.008=-0.001 | | min | 271.746-271.750=-0.004 | | max | 271.764-271.769=-0.005 |
| | mean | 2701.000-2848.000=-147.000 | | σ | 0.000 | | min | 2701.000-2848.000=-147.000 | | max | 2701.000-2848.000=-147.000 |
| | mean | 0.381-0.383=-0.002 | | σ | 0.005-0.004=0.001 | | min | 0.378-0.380=-0.002 | | max | 0.391-0.389=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.170-1932.180=-0.010 | | σ | 0.017-0.013=0.004 | | min | 1932.143-1932.165=-0.021 | | max | 1932.187-1932.199=-0.012 |
| | mean | 2701.000-2848.000=-147.000 | | σ | 0.000 | | min | 2701.000-2848.000=-147.000 | | max | 2701.000-2848.000=-147.000 |
| | mean | 3.022-3.008=0.014 | | σ | 0.069-0.203=-0.134 | | min | 2.958-2.698=0.261 | | max | 3.104-3.234=-0.130 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.924-4752.924=-0.000 | | σ | 0.841-0.953=-0.112 | | min | 4752.459-4752.346=0.114 | | max | 4754.423-4754.615=-0.193 |
| | mean | 2701.000-2848.000=-147.000 | | σ | 0.000 | | min | 2701.000-2848.000=-147.000 | | max | 2701.000-2848.000=-147.000 |
| | mean | 8.349-8.594=-0.245 | | σ | 0.453-0.601=-0.147 | | min | 7.605-7.955=-0.350 | | max | 8.802-9.360=-0.558 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.308-4943.312=-0.005 | | σ | 0.167-0.168=-0.001 | | min | 4943.010-4943.013=-0.003 | | max | 4943.400-4943.398=0.002 |
| | mean | 2980.200-3075.800=-95.600 | | σ | 231.869-238.688=-6.820 | | min | 2701.000-2848.000=-147.000 | | max | 3303.000-3419.000=-116.000 |
| | mean | 8.482-8.751=-0.269 | | σ | 0.078-0.348=-0.269 | | min | 8.398-8.431=-0.033 | | max | 8.569-9.308=-0.738 |
|