iters=5 new-facts=1 prior-facts=1 | | mean | 190.720-190.718=0.002 | | σ | 0.015-0.006=0.009 | | min | 190.706-190.712=-0.006 | | max | 190.741-190.729=0.012 |
| | mean | 2825.000-2629.000=196.000 | | σ | 0.000 | | min | 2825.000-2629.000=196.000 | | max | 2825.000-2629.000=196.000 |
| | mean | 0.277 | | σ | 0.001 | | min | 0.275 | | max | 0.278 |
| | mean | 0.278 | | σ | 0.000 | | min | 0.277 | | max | 0.279 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.498-1989.493=0.004 | | σ | 0.016-0.009=0.007 | | min | 1989.479-1989.483=-0.003 | | max | 1989.510-1989.501=0.009 |
| | mean | 2825.000-2629.000=196.000 | | σ | 0.000 | | min | 2825.000-2629.000=196.000 | | max | 2825.000-2629.000=196.000 |
| | mean | 2.710 | | σ | 0.151 | | min | 2.545 | | max | 2.905 |
| | mean | 2.604 | | σ | 0.106 | | min | 2.501 | | max | 2.770 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4880.180-4880.173=0.008 | | σ | 0.577-0.556=0.021 | | min | 4879.883-4879.885=-0.003 | | max | 4881.209-4881.159=0.050 |
| | mean | 2825.000-2629.000=196.000 | | σ | 0.000 | | min | 2825.000-2629.000=196.000 | | max | 2825.000-2629.000=196.000 |
| | mean | 8.075 | | σ | 0.222 | | min | 7.763 | | max | 8.389 |
| | mean | 8.040 | | σ | 0.099 | | min | 7.903 | | max | 8.147 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.784-4891.786=-0.001 | | σ | 0.009-0.011=-0.002 | | min | 4891.775-4891.770=0.005 | | max | 4891.798-4891.798=-0.001 |
| | mean | 3321.800-3284.000=37.800 | | σ | 440.965-496.066=-55.101 | | min | 2825.000-2629.000=196.000 | | max | 3755.000-3745.000=10.000 |
| | mean | 8.170 | | σ | 0.232 | | min | 7.979 | | max | 8.504 |
| | mean | 8.019 | | σ | 0.105 | | min | 7.941 | | max | 8.201 |
|