iters=5 new-facts=1 prior-facts=1 | | mean | 326.453-326.437=0.016 | | σ | 0.037-0.059=-0.022 | | min | 326.389-326.332=0.057 | | max | 326.483-326.475=0.008 |
| | mean | 2827.000-2600.000=227.000 | | σ | 0.000 | | min | 2827.000-2600.000=227.000 | | max | 2827.000-2600.000=227.000 |
| | mean | 0.424-0.423=0.001 | | σ | 0.001-0.003=-0.002 | | min | 0.423-0.421=0.003 | | max | 0.425-0.426=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.604-1988.616=-0.011 | | σ | 0.012-0.006=0.006 | | min | 1988.588-1988.611=-0.023 | | max | 1988.619-1988.625=-0.006 |
| | mean | 2827.000-2600.000=227.000 | | σ | 0.000 | | min | 2827.000-2600.000=227.000 | | max | 2827.000-2600.000=227.000 |
| | mean | 2.688-2.680=0.008 | | σ | 0.117-0.108=0.009 | | min | 2.512-2.582=-0.071 | | max | 2.822-2.854=-0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.490-4813.450=0.040 | | σ | 7.760-7.727=0.033 | | min | 4809.944-4809.941=0.003 | | max | 4827.372-4827.273=0.099 |
| | mean | 2827.000-2600.000=227.000 | | σ | 0.000 | | min | 2827.000-2600.000=227.000 | | max | 2827.000-2600.000=227.000 |
| | mean | 8.735-8.855=-0.119 | | σ | 0.598-0.318=0.280 | | min | 7.999-8.437=-0.439 | | max | 9.522-9.164=0.358 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.014-5000.939=0.075 | | σ | 0.019-0.156=-0.137 | | min | 5000.998-5000.663=0.335 | | max | 5001.046-5001.038=0.008 |
| | mean | 3000.000-2993.800=6.200 | | σ | 192.124-262.689=-70.566 | | min | 2827.000-2609.000=218.000 | | max | 3294.000-3310.000=-16.000 |
| | mean | 9.666-9.821=-0.155 | | σ | 0.532-0.083=0.449 | | min | 8.733-9.722=-0.989 | | max | 10.038-9.932=0.106 |
|