iters=5 new-facts=1 prior-facts=1 | | mean | 324.701-324.702=-0.000 | | σ | 0.056-0.055=0.001 | | min | 324.602-324.604=-0.002 | | max | 324.732-324.733=-0.000 |
| | mean | 2835.000-2837.000=-2.000 | | σ | 0.000 | | min | 2835.000-2837.000=-2.000 | | max | 2835.000-2837.000=-2.000 |
| | mean | 0.423-0.430=-0.007 | | σ | 0.002-0.008=-0.006 | | min | 0.420-0.422=-0.001 | | max | 0.425-0.442=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.262-1985.263=-0.001 | | σ | 0.014-0.014=0.001 | | min | 1985.240-1985.239=0.001 | | max | 1985.279-1985.275=0.004 |
| | mean | 2835.000-2837.000=-2.000 | | σ | 0.000 | | min | 2835.000-2837.000=-2.000 | | max | 2835.000-2837.000=-2.000 |
| | mean | 2.663-2.613=0.050 | | σ | 0.126-0.114=0.012 | | min | 2.537-2.468=0.069 | | max | 2.846-2.746=0.100 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.880-4808.918=-0.038 | | σ | 7.658-7.650=0.008 | | min | 4805.406-4805.393=0.013 | | max | 4822.579-4822.601=-0.022 |
| | mean | 2835.000-2837.000=-2.000 | | σ | 0.000 | | min | 2835.000-2837.000=-2.000 | | max | 2835.000-2837.000=-2.000 |
| | mean | 8.651-8.531=0.120 | | σ | 0.320-0.525=-0.205 | | min | 8.086-7.844=0.242 | | max | 8.832-8.937=-0.106 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.466-4996.458=0.008 | | σ | 0.019-0.019=-0.000 | | min | 4996.442-4996.431=0.011 | | max | 4996.489-4996.478=0.011 |
| | mean | 3042.000-3060.000=-18.000 | | σ | 243.873-295.058=-51.186 | | min | 2835.000-2837.000=-2.000 | | max | 3419.000-3514.000=-95.000 |
| | mean | 8.515-8.560=-0.045 | | σ | 0.114-0.157=-0.043 | | min | 8.409-8.468=-0.059 | | max | 8.702-8.833=-0.131 |
|