iters=5 new-facts=1 prior-facts=1 | | mean | 273.609-271.756=1.853 | | σ | 0.006-0.005=0.001 | | min | 273.599-271.749=1.850 | | max | 273.615-271.762=1.854 |
| | mean | 2839.000-2718.000=121.000 | | σ | 0.000 | | min | 2839.000-2718.000=121.000 | | max | 2839.000-2718.000=121.000 |
| | mean | 0.385-0.381=0.005 | | σ | 0.009-0.005=0.004 | | min | 0.379-0.377=0.002 | | max | 0.402-0.389=0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.007-1932.179=1.828 | | σ | 0.013-0.006=0.008 | | min | 1933.989-1932.171=1.818 | | max | 1934.021-1932.186=1.835 |
| | mean | 2839.000-2718.000=121.000 | | σ | 0.000 | | min | 2839.000-2718.000=121.000 | | max | 2839.000-2718.000=121.000 |
| | mean | 2.994-3.059=-0.066 | | σ | 0.343-0.046=0.297 | | min | 2.632-2.997=-0.365 | | max | 3.446-3.100=0.347 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.664-4752.950=1.714 | | σ | 0.907-0.888=0.019 | | min | 4753.950-4752.407=1.543 | | max | 4756.249-4754.529=1.720 |
| | mean | 2839.000-2718.000=121.000 | | σ | 0.000 | | min | 2839.000-2718.000=121.000 | | max | 2839.000-2718.000=121.000 |
| | mean | 8.509-8.288=0.221 | | σ | 0.541-0.492=0.049 | | min | 7.617-7.685=-0.068 | | max | 8.960-8.975=-0.015 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.224-4943.379=1.845 | | σ | 0.017-0.017=0.000 | | min | 4945.208-4943.358=1.850 | | max | 4945.244-4943.400=1.844 |
| | mean | 3059.600-2998.600=61.000 | | σ | 189.629-327.901=-138.271 | | min | 2839.000-2718.000=121.000 | | max | 3325.000-3475.000=-150.000 |
| | mean | 8.605-8.576=0.029 | | σ | 0.209-0.188=0.021 | | min | 8.430-8.340=0.090 | | max | 8.923-8.746=0.177 |
|