iters=5 new-facts=1 prior-facts=1 | | mean | 269.935-269.935=-0.001 | | σ | 0.009-0.006=0.003 | | min | 269.923-269.925=-0.002 | | max | 269.944-269.942=0.002 |
| | mean | 2847.000-2485.000=362.000 | | σ | 0.000 | | min | 2847.000-2485.000=362.000 | | max | 2847.000-2485.000=362.000 |
| | mean | 0.384-0.384=-0.001 | | σ | 0.004-0.006=-0.002 | | min | 0.379-0.380=-0.000 | | max | 0.389-0.394=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.382-1930.389=-0.006 | | σ | 0.027-0.020=0.006 | | min | 1930.353-1930.359=-0.006 | | max | 1930.413-1930.407=0.006 |
| | mean | 2847.000-2485.000=362.000 | | σ | 0.000 | | min | 2847.000-2485.000=362.000 | | max | 2847.000-2485.000=362.000 |
| | mean | 2.578-2.528=0.050 | | σ | 0.154-0.055=0.099 | | min | 2.469-2.484=-0.015 | | max | 2.835-2.611=0.225 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.848-4750.830=0.018 | | σ | 0.810-0.838=-0.028 | | min | 4750.327-4750.269=0.057 | | max | 4752.275-4752.298=-0.024 |
| | mean | 2847.000-2485.000=362.000 | | σ | 0.000 | | min | 2847.000-2485.000=362.000 | | max | 2847.000-2485.000=362.000 |
| | mean | 8.553-8.724=-0.171 | | σ | 0.319-0.330=-0.011 | | min | 8.229-8.454=-0.225 | | max | 8.992-9.132=-0.141 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.326-4941.332=-0.007 | | σ | 0.089-0.082=0.008 | | min | 4941.254-4941.266=-0.012 | | max | 4941.429-4941.428=0.001 |
| | mean | 3027.800-2932.000=95.800 | | σ | 194.055-310.053=-115.999 | | min | 2847.000-2485.000=362.000 | | max | 3315.000-3308.000=7.000 |
| | mean | 8.516-8.528=-0.012 | | σ | 0.080-0.155=-0.075 | | min | 8.424-8.423=0.001 | | max | 8.614-8.796=-0.182 |
|