iters=5 new-facts=1 prior-facts=1 | | mean | 324.704-324.706=-0.002 | | σ | 0.063-0.048=0.015 | | min | 324.593-324.621=-0.028 | | max | 324.746-324.740=0.006 |
| | mean | 2825.000-2840.000=-15.000 | | σ | 0.000 | | min | 2825.000-2840.000=-15.000 | | max | 2825.000-2840.000=-15.000 |
| | mean | 0.436-0.426=0.010 | | σ | 0.012-0.006=0.006 | | min | 0.421-0.422=-0.001 | | max | 0.447-0.436=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.264-1985.270=-0.005 | | σ | 0.023-0.007=0.016 | | min | 1985.223-1985.259=-0.036 | | max | 1985.278-1985.277=0.001 |
| | mean | 2825.000-2840.000=-15.000 | | σ | 0.000 | | min | 2825.000-2840.000=-15.000 | | max | 2825.000-2840.000=-15.000 |
| | mean | 2.645-2.596=0.050 | | σ | 0.100-0.058=0.042 | | min | 2.561-2.543=0.018 | | max | 2.775-2.669=0.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.664-4808.911=-0.246 | | σ | 7.840-7.708=0.132 | | min | 4804.260-4805.357=-1.097 | | max | 4822.658-4822.698=-0.041 |
| | mean | 2825.000-2840.000=-15.000 | | σ | 0.000 | | min | 2825.000-2840.000=-15.000 | | max | 2825.000-2840.000=-15.000 |
| | mean | 9.078-8.833=0.245 | | σ | 0.189-0.627=-0.438 | | min | 8.814-7.771=1.042 | | max | 9.271-9.353=-0.082 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.471-4996.463=0.008 | | σ | 0.024-0.021=0.002 | | min | 4996.445-4996.440=0.005 | | max | 4996.496-4996.482=0.014 |
| | mean | 3048.800-3054.600=-5.800 | | σ | 189.241-201.676=-12.435 | | min | 2825.000-2840.000=-15.000 | | max | 3313.000-3350.000=-37.000 |
| | mean | 8.671-8.706=-0.035 | | σ | 0.182-0.237=-0.056 | | min | 8.521-8.475=0.046 | | max | 8.950-9.071=-0.121 |
|