iters=5 new-facts=1 prior-facts=1 | | mean | 275.759-275.755=0.003 | | σ | 0.009-0.008=0.001 | | min | 275.746-275.744=0.002 | | max | 275.768-275.764=0.003 |
| | mean | 2812.000-2686.000=126.000 | | σ | 0.000 | | min | 2812.000-2686.000=126.000 | | max | 2812.000-2686.000=126.000 |
| | mean | 0.406-0.397=0.008 | | σ | 0.011-0.003=0.008 | | min | 0.396-0.395=0.001 | | max | 0.419-0.403=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.275-2168.276=-0.001 | | σ | 0.014-0.012=0.002 | | min | 2168.251-2168.258=-0.007 | | max | 2168.286-2168.291=-0.004 |
| | mean | 2812.000-2686.000=126.000 | | σ | 0.000 | | min | 2812.000-2686.000=126.000 | | max | 2812.000-2686.000=126.000 |
| | mean | 2.999-2.942=0.057 | | σ | 0.167-0.102=0.065 | | min | 2.791-2.805=-0.014 | | max | 3.128-3.035=0.092 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.142-5047.988=0.154 | | σ | 0.912-0.728=0.184 | | min | 5047.552-5047.598=-0.046 | | max | 5049.758-5049.285=0.473 |
| | mean | 2812.000-2686.000=126.000 | | σ | 0.000 | | min | 2812.000-2686.000=126.000 | | max | 2812.000-2686.000=126.000 |
| | mean | 8.834-8.901=-0.067 | | σ | 0.680-0.588=0.092 | | min | 8.060-8.078=-0.018 | | max | 9.756-9.735=0.021 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.022-5179.166=-0.145 | | σ | 0.336-0.134=0.203 | | min | 5178.463-5178.963=-0.501 | | max | 5179.294-5179.339=-0.045 |
| | mean | 3245.400-3266.400=-21.000 | | σ | 349.437-379.126=-29.689 | | min | 2812.000-2730.000=82.000 | | max | 3724.000-3723.000=1.000 |
| | mean | 9.681-9.951=-0.271 | | σ | 0.675-0.259=0.416 | | min | 8.660-9.576=-0.916 | | max | 10.395-10.268=0.127 |
|