iters=5 new-facts=1 prior-facts=1 | | mean | 285.440-285.434=0.006 | | σ | 0.008-0.017=-0.010 | | min | 285.426-285.409=0.017 | | max | 285.445-285.450=-0.004 |
| | mean | 1637.000-1543.000=94.000 | | σ | 0.000 | | min | 1637.000-1543.000=94.000 | | max | 1637.000-1543.000=94.000 |
| | mean | 0.379-0.389=-0.010 | | σ | 0.007-0.008=-0.001 | | min | 0.374-0.375=-0.001 | | max | 0.392-0.395=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1285.493-1285.504=-0.011 | | σ | 0.086-0.087=-0.000 | | min | 1285.355-1285.354=0.001 | | max | 1285.573-1285.568=0.005 |
| | mean | 1637.000-1543.000=94.000 | | σ | 0.000 | | min | 1637.000-1543.000=94.000 | | max | 1637.000-1543.000=94.000 |
| | mean | 1.876-1.936=-0.060 | | σ | 0.051-0.084=-0.032 | | min | 1.789-1.821=-0.032 | | max | 1.925-2.033=-0.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1705.829-1705.838=-0.009 | | σ | 6.864-6.872=-0.008 | | min | 1702.650-1702.653=-0.003 | | max | 1718.104-1718.128=-0.025 |
| | mean | 1637.000-1543.000=94.000 | | σ | 0.000 | | min | 1637.000-1543.000=94.000 | | max | 1637.000-1543.000=94.000 |
| | mean | 3.012-3.008=0.004 | | σ | 0.209-0.210=-0.001 | | min | 2.835-2.801=0.034 | | max | 3.319-3.294=0.025 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1968.409-1968.390=0.018 | | σ | 0.051-0.046=0.005 | | min | 1968.320-1968.346=-0.026 | | max | 1968.443-1968.442=0.002 |
| | mean | 1793.600-1782.200=11.400 | | σ | 150.123-183.482=-33.360 | | min | 1637.000-1543.000=94.000 | | max | 1985.000-2008.000=-23.000 |
| | mean | 3.246-3.269=-0.022 | | σ | 0.436-0.394=0.042 | | min | 2.976-3.083=-0.107 | | max | 4.019-3.974=0.045 |
|