iters=5 new-facts=1 prior-facts=1 | | mean | 282.190-282.191=-0.001 | | σ | 0.007-0.010=-0.002 | | min | 282.180-282.177=0.003 | | max | 282.201-282.203=-0.003 |
| | mean | 2792.000-2774.000=18.000 | | σ | 0.000 | | min | 2792.000-2774.000=18.000 | | max | 2792.000-2774.000=18.000 |
| | mean | 0.398-0.398=-0.000 | | σ | 0.004-0.003=0.000 | | min | 0.394-0.396=-0.002 | | max | 0.404-0.404=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.704-2174.714=-0.009 | | σ | 0.013-0.010=0.003 | | min | 2174.691-2174.704=-0.014 | | max | 2174.719-2174.728=-0.009 |
| | mean | 2792.000-2774.000=18.000 | | σ | 0.000 | | min | 2792.000-2774.000=18.000 | | max | 2792.000-2774.000=18.000 |
| | mean | 2.852-2.997=-0.146 | | σ | 0.095-0.200=-0.105 | | min | 2.764-2.734=0.030 | | max | 2.991-3.208=-0.217 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5054.566-5054.419=0.147 | | σ | 0.935-1.036=-0.100 | | min | 5054.121-5053.638=0.483 | | max | 5056.238-5056.236=0.003 |
| | mean | 2792.000-2774.000=18.000 | | σ | 0.000 | | min | 2792.000-2774.000=18.000 | | max | 2792.000-2774.000=18.000 |
| | mean | 8.937-8.927=0.010 | | σ | 0.514-0.542=-0.028 | | min | 8.272-8.050=0.222 | | max | 9.502-9.434=0.067 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5185.656-5185.670=-0.014 | | σ | 0.073-0.077=-0.005 | | min | 5185.592-5185.596=-0.004 | | max | 5185.751-5185.774=-0.023 |
| | mean | 3272.800-3237.400=35.400 | | σ | 427.400-356.173=71.227 | | min | 2792.000-2774.000=18.000 | | max | 3857.000-3707.000=150.000 |
| | mean | 9.910-9.723=0.187 | | σ | 0.380-0.629=-0.249 | | min | 9.523-8.698=0.826 | | max | 10.530-10.269=0.261 |
|