iters=5 new-facts=1 prior-facts=1 | | mean | 275.758-275.756=0.002 | | σ | 0.011-0.008=0.003 | | min | 275.747-275.748=-0.001 | | max | 275.774-275.768=0.006 |
| | mean | 2647.000-2691.000=-44.000 | | σ | 0.000 | | min | 2647.000-2691.000=-44.000 | | max | 2647.000-2691.000=-44.000 |
| | mean | 0.407-0.406=0.001 | | σ | 0.010-0.014=-0.004 | | min | 0.396-0.395=0.001 | | max | 0.417-0.424=-0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.271-2168.282=-0.012 | | σ | 0.019-0.002=0.017 | | min | 2168.241-2168.279=-0.038 | | max | 2168.290-2168.285=0.005 |
| | mean | 2647.000-2691.000=-44.000 | | σ | 0.000 | | min | 2647.000-2691.000=-44.000 | | max | 2647.000-2691.000=-44.000 |
| | mean | 2.848-2.964=-0.116 | | σ | 0.123-0.139=-0.015 | | min | 2.705-2.758=-0.053 | | max | 2.980-3.100=-0.120 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.107-5047.903=0.205 | | σ | 0.923-1.074=-0.152 | | min | 5047.616-5046.959=0.657 | | max | 5049.755-5049.709=0.046 |
| | mean | 2647.000-2691.000=-44.000 | | σ | 0.000 | | min | 2647.000-2691.000=-44.000 | | max | 2647.000-2691.000=-44.000 |
| | mean | 8.678-8.655=0.023 | | σ | 0.462-0.584=-0.122 | | min | 8.025-8.014=0.011 | | max | 9.167-9.351=-0.183 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.234-5179.237=-0.002 | | σ | 0.093-0.083=0.009 | | min | 5179.147-5179.173=-0.027 | | max | 5179.335-5179.329=0.006 |
| | mean | 3253.800-3224.600=29.200 | | σ | 470.132-388.117=82.015 | | min | 2647.000-2705.000=-58.000 | | max | 3878.000-3737.000=141.000 |
| | mean | 9.809-9.891=-0.082 | | σ | 0.638-0.213=0.425 | | min | 8.675-9.557=-0.882 | | max | 10.174-10.059=0.115 |
|