iters=5 new-facts=1 prior-facts=1 | | mean | 270.607-270.609=-0.002 | | σ | 0.007-0.005=0.003 | | min | 270.597-270.602=-0.004 | | max | 270.614-270.613=0.001 |
| | mean | 2789.000-2774.000=15.000 | | σ | 0.000 | | min | 2789.000-2774.000=15.000 | | max | 2789.000-2774.000=15.000 |
| | mean | 0.381-0.380=0.001 | | σ | 0.003-0.006=-0.003 | | min | 0.378-0.376=0.002 | | max | 0.386-0.390=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.043-1931.053=-0.010 | | σ | 0.003-0.021=-0.019 | | min | 1931.040-1931.030=0.009 | | max | 1931.046-1931.083=-0.037 |
| | mean | 2789.000-2774.000=15.000 | | σ | 0.000 | | min | 2789.000-2774.000=15.000 | | max | 2789.000-2774.000=15.000 |
| | mean | 2.909-2.876=0.033 | | σ | 0.127-0.336=-0.209 | | min | 2.713-2.462=0.251 | | max | 3.045-3.200=-0.155 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.734-4751.723=0.011 | | σ | 0.931-0.900=0.030 | | min | 4751.248-4751.300=-0.052 | | max | 4753.397-4753.333=0.064 |
| | mean | 2789.000-2774.000=15.000 | | σ | 0.000 | | min | 2789.000-2774.000=15.000 | | max | 2789.000-2774.000=15.000 |
| | mean | 8.764-8.763=0.001 | | σ | 0.353-0.168=0.185 | | min | 8.227-8.524=-0.297 | | max | 9.117-8.930=0.187 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.236-4942.157=0.078 | | σ | 0.020-0.167=-0.148 | | min | 4942.212-4941.861=0.351 | | max | 4942.262-4942.256=0.006 |
| | mean | 3063.400-3042.800=20.600 | | σ | 253.263-257.083=-3.820 | | min | 2789.000-2774.000=15.000 | | max | 3417.000-3405.000=12.000 |
| | mean | 8.584-8.593=-0.010 | | σ | 0.160-0.203=-0.043 | | min | 8.394-8.400=-0.005 | | max | 8.797-8.896=-0.099 |
|