iters=5 new-facts=1 prior-facts=1 | | mean | 285.410-285.411=-0.001 | | σ | 0.034-0.036=-0.002 | | min | 285.364-285.359=0.006 | | max | 285.446-285.445=0.000 |
| | mean | 1617.000-1598.000=19.000 | | σ | 0.000 | | min | 1617.000-1598.000=19.000 | | max | 1617.000-1598.000=19.000 |
| | mean | 0.391-0.393=-0.002 | | σ | 0.011-0.007=0.004 | | min | 0.382-0.385=-0.003 | | max | 0.406-0.404=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.797-1295.789=0.008 | | σ | 0.111-0.096=0.015 | | min | 1295.677-1295.671=0.005 | | max | 1295.934-1295.887=0.047 |
| | mean | 1617.000-1598.000=19.000 | | σ | 0.000 | | min | 1617.000-1598.000=19.000 | | max | 1617.000-1598.000=19.000 |
| | mean | 1.931-1.863=0.068 | | σ | 0.114-0.085=0.030 | | min | 1.794-1.793=0.002 | | max | 2.025-1.968=0.057 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.922-1539.923=-0.001 | | σ | 6.902-6.881=0.022 | | min | 1536.602-1536.615=-0.013 | | max | 1552.263-1552.227=0.037 |
| | mean | 1617.000-1598.000=19.000 | | σ | 0.000 | | min | 1617.000-1598.000=19.000 | | max | 1617.000-1598.000=19.000 |
| | mean | 2.332-2.233=0.099 | | σ | 0.275-0.190=0.085 | | min | 2.028-2.027=0.001 | | max | 2.693-2.435=0.258 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.702-1857.735=-0.033 | | σ | 0.051-0.067=-0.015 | | min | 1857.661-1857.656=0.005 | | max | 1857.774-1857.801=-0.027 |
| | mean | 1760.800-1735.600=25.200 | | σ | 131.134-175.657=-44.522 | | min | 1617.000-1598.000=19.000 | | max | 1895.000-2005.000=-110.000 |
| | mean | 3.101-2.866=0.235 | | σ | 0.348-0.055=0.293 | | min | 2.888-2.826=0.062 | | max | 3.719-2.961=0.758 |
|