iters=5 new-facts=1 prior-facts=1 | | mean | 271.751-271.752=-0.001 | | σ | 0.004-0.008=-0.004 | | min | 271.746-271.740=0.006 | | max | 271.756-271.762=-0.006 |
| | mean | 2777.000-2850.000=-73.000 | | σ | 0.000 | | min | 2777.000-2850.000=-73.000 | | max | 2777.000-2850.000=-73.000 |
| | mean | 0.378-0.384=-0.005 | | σ | 0.004-0.005=-0.000 | | min | 0.376-0.379=-0.003 | | max | 0.386-0.391=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.169-1932.186=-0.016 | | σ | 0.012-0.014=-0.002 | | min | 1932.150-1932.169=-0.019 | | max | 1932.180-1932.205=-0.025 |
| | mean | 2777.000-2850.000=-73.000 | | σ | 0.000 | | min | 2777.000-2850.000=-73.000 | | max | 2777.000-2850.000=-73.000 |
| | mean | 3.001-2.935=0.066 | | σ | 0.097-0.245=-0.148 | | min | 2.879-2.511=0.368 | | max | 3.131-3.146=-0.014 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.770-4752.652=0.117 | | σ | 0.990-0.746=0.243 | | min | 4751.902-4751.814=0.087 | | max | 4754.481-4753.863=0.618 |
| | mean | 2777.000-2850.000=-73.000 | | σ | 0.000 | | min | 2777.000-2850.000=-73.000 | | max | 2777.000-2850.000=-73.000 |
| | mean | 8.727-8.720=0.008 | | σ | 0.131-0.338=-0.206 | | min | 8.521-8.432=0.089 | | max | 8.842-9.135=-0.292 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.306-4943.237=0.069 | | σ | 0.171-0.329=-0.159 | | min | 4943.003-4942.649=0.354 | | max | 4943.397-4943.394=0.003 |
| | mean | 2992.000-3070.400=-78.400 | | σ | 207.776-235.755=-27.978 | | min | 2777.000-2850.000=-73.000 | | max | 3292.000-3418.000=-126.000 |
| | mean | 8.507-8.671=-0.163 | | σ | 0.093-0.136=-0.043 | | min | 8.403-8.552=-0.149 | | max | 8.600-8.892=-0.292 |
|