iters=5 new-facts=1 prior-facts=1 | | mean | 273.611-273.611=-0.000 | | σ | 0.008-0.005=0.003 | | min | 273.602-273.605=-0.003 | | max | 273.621-273.617=0.005 |
| | mean | 2853.000-2840.000=13.000 | | σ | 0.000 | | min | 2853.000-2840.000=13.000 | | max | 2853.000-2840.000=13.000 |
| | mean | 0.388-0.385=0.003 | | σ | 0.006-0.007=-0.001 | | min | 0.384-0.380=0.003 | | max | 0.398-0.398=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.002-1934.002=0.000 | | σ | 0.009-0.007=0.001 | | min | 1933.990-1933.990=0.000 | | max | 1934.014-1934.007=0.007 |
| | mean | 2853.000-2840.000=13.000 | | σ | 0.000 | | min | 2853.000-2840.000=13.000 | | max | 2853.000-2840.000=13.000 |
| | mean | 2.893-3.098=-0.204 | | σ | 0.335-0.183=0.152 | | min | 2.308-2.927=-0.618 | | max | 3.132-3.369=-0.236 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.771-4754.617=0.154 | | σ | 0.833-0.949=-0.116 | | min | 4754.312-4753.784=0.528 | | max | 4756.253-4756.254=-0.001 |
| | mean | 2853.000-2840.000=13.000 | | σ | 0.000 | | min | 2853.000-2840.000=13.000 | | max | 2853.000-2840.000=13.000 |
| | mean | 8.472-8.679=-0.207 | | σ | 0.519-0.241=0.278 | | min | 7.610-8.345=-0.735 | | max | 8.949-8.901=0.047 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.002-4945.226=-0.224 | | σ | 0.182-0.023=0.158 | | min | 4944.834-4945.207=-0.374 | | max | 4945.206-4945.259=-0.053 |
| | mean | 3084.000-3047.600=36.400 | | σ | 241.436-223.022=18.414 | | min | 2853.000-2840.000=13.000 | | max | 3334.000-3378.000=-44.000 |
| | mean | 8.705-8.613=0.092 | | σ | 0.232-0.192=0.040 | | min | 8.382-8.443=-0.061 | | max | 9.034-8.905=0.129 |
|