iters=5 new-facts=1 prior-facts=1 | | mean | 324.707-324.709=-0.002 | | σ | 0.058-0.048=0.010 | | min | 324.604-324.624=-0.019 | | max | 324.741-324.739=0.002 |
| | mean | 2836.000-2824.000=12.000 | | σ | 0.000 | | min | 2836.000-2824.000=12.000 | | max | 2836.000-2824.000=12.000 |
| | mean | 0.433-0.423=0.010 | | σ | 0.011-0.001=0.010 | | min | 0.423-0.423=0.000 | | max | 0.448-0.424=0.024 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.270-1985.262=0.007 | | σ | 0.013-0.015=-0.002 | | min | 1985.250-1985.238=0.011 | | max | 1985.282-1985.278=0.004 |
| | mean | 2836.000-2824.000=12.000 | | σ | 0.000 | | min | 2836.000-2824.000=12.000 | | max | 2836.000-2824.000=12.000 |
| | mean | 2.685-2.677=0.007 | | σ | 0.169-0.113=0.056 | | min | 2.468-2.550=-0.082 | | max | 2.890-2.792=0.098 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.937-4808.861=0.076 | | σ | 7.784-7.669=0.115 | | min | 4804.924-4805.404=-0.480 | | max | 4822.850-4822.580=0.270 |
| | mean | 2836.000-2824.000=12.000 | | σ | 0.000 | | min | 2836.000-2824.000=12.000 | | max | 2836.000-2824.000=12.000 |
| | mean | 8.910-8.799=0.110 | | σ | 0.414-0.141=0.273 | | min | 8.212-8.614=-0.402 | | max | 9.308-8.931=0.377 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.485-4996.466=0.018 | | σ | 0.148-0.021=0.127 | | min | 4996.229-4996.431=-0.202 | | max | 4996.584-4996.482=0.101 |
| | mean | 3071.600-3059.000=12.600 | | σ | 309.249-306.841=2.408 | | min | 2836.000-2824.000=12.000 | | max | 3550.000-3533.000=17.000 |
| | mean | 8.659-8.561=0.099 | | σ | 0.211-0.296=-0.085 | | min | 8.431-8.406=0.025 | | max | 8.896-9.089=-0.193 |
|