iters=5 new-facts=1 prior-facts=1 | | mean | 269.933-269.935=-0.002 | | σ | 0.011-0.005=0.006 | | min | 269.920-269.927=-0.008 | | max | 269.946-269.939=0.007 |
| | mean | 2845.000-2470.000=375.000 | | σ | 0.000 | | min | 2845.000-2470.000=375.000 | | max | 2845.000-2470.000=375.000 |
| | mean | 0.374-0.383=-0.009 | | σ | 0.004-0.005=-0.001 | | min | 0.371-0.379=-0.008 | | max | 0.381-0.391=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.387-1930.384=0.003 | | σ | 0.019-0.024=-0.005 | | min | 1930.361-1930.355=0.006 | | max | 1930.405-1930.406=-0.001 |
| | mean | 2845.000-2470.000=375.000 | | σ | 0.000 | | min | 2845.000-2470.000=375.000 | | max | 2845.000-2470.000=375.000 |
| | mean | 2.564-2.571=-0.007 | | σ | 0.139-0.138=0.001 | | min | 2.445-2.456=-0.011 | | max | 2.797-2.797=0.000 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.892-4750.728=0.164 | | σ | 0.850-0.874=-0.024 | | min | 4750.432-4750.078=0.354 | | max | 4752.405-4752.264=0.141 |
| | mean | 2845.000-2470.000=375.000 | | σ | 0.000 | | min | 2845.000-2470.000=375.000 | | max | 2845.000-2470.000=375.000 |
| | mean | 8.352-8.624=-0.272 | | σ | 0.397-0.211=0.186 | | min | 7.755-8.374=-0.619 | | max | 8.866-8.836=0.030 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.327-4941.190=0.137 | | σ | 0.078-0.252=-0.174 | | min | 4941.265-4940.917=0.348 | | max | 4941.415-4941.423=-0.008 |
| | mean | 3031.800-2961.600=70.200 | | σ | 262.883-274.590=-11.707 | | min | 2845.000-2593.000=252.000 | | max | 3448.000-3317.000=131.000 |
| | mean | 8.391-8.402=-0.011 | | σ | 0.071-0.041=0.029 | | min | 8.294-8.351=-0.057 | | max | 8.454-8.450=0.005 |
|