iters=5 new-facts=1 prior-facts=1 | | mean | 271.761-271.760=0.001 | | σ | 0.004-0.009=-0.005 | | min | 271.756-271.753=0.003 | | max | 271.766-271.775=-0.009 |
| | mean | 2877.000-2857.000=20.000 | | σ | 0.000 | | min | 2877.000-2857.000=20.000 | | max | 2877.000-2857.000=20.000 |
| | mean | 0.385-0.385=0.000 | | σ | 0.012-0.010=0.003 | | min | 0.371-0.378=-0.007 | | max | 0.400-0.400=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.177-1932.174=0.002 | | σ | 0.018-0.006=0.012 | | min | 1932.150-1932.167=-0.018 | | max | 1932.197-1932.183=0.014 |
| | mean | 2877.000-2857.000=20.000 | | σ | 0.000 | | min | 2877.000-2857.000=20.000 | | max | 2877.000-2857.000=20.000 |
| | mean | 2.922-3.035=-0.113 | | σ | 0.261-0.094=0.167 | | min | 2.460-2.958=-0.498 | | max | 3.081-3.182=-0.100 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.936-4752.906=0.030 | | σ | 0.880-0.922=-0.042 | | min | 4752.439-4752.414=0.025 | | max | 4754.503-4754.543=-0.039 |
| | mean | 2877.000-2857.000=20.000 | | σ | 0.000 | | min | 2877.000-2857.000=20.000 | | max | 2877.000-2857.000=20.000 |
| | mean | 8.345-8.583=-0.238 | | σ | 0.466-0.530=-0.064 | | min | 7.600-7.796=-0.196 | | max | 8.851-8.997=-0.146 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.236-4943.303=-0.067 | | σ | 0.197-0.152=0.045 | | min | 4943.009-4943.033=-0.024 | | max | 4943.395-4943.391=0.004 |
| | mean | 3025.200-3053.000=-27.800 | | σ | 174.507-193.271=-18.764 | | min | 2877.000-2857.000=20.000 | | max | 3304.000-3303.000=1.000 |
| | mean | 8.533-8.533=0.000 | | σ | 0.130-0.116=0.015 | | min | 8.422-8.406=0.016 | | max | 8.734-8.714=0.019 |
|