iters=5 new-facts=1 prior-facts=1 | | mean | 273.609-273.609=-0.000 | | σ | 0.007-0.006=0.001 | | min | 273.602-273.604=-0.001 | | max | 273.616-273.617=-0.001 |
| | mean | 2846.000-2856.000=-10.000 | | σ | 0.000 | | min | 2846.000-2856.000=-10.000 | | max | 2846.000-2856.000=-10.000 |
| | mean | 0.384-0.388=-0.004 | | σ | 0.005-0.007=-0.003 | | min | 0.381-0.383=-0.001 | | max | 0.392-0.401=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.009-1934.004=0.005 | | σ | 0.007-0.014=-0.007 | | min | 1933.998-1933.984=0.014 | | max | 1934.016-1934.020=-0.004 |
| | mean | 2846.000-2856.000=-10.000 | | σ | 0.000 | | min | 2846.000-2856.000=-10.000 | | max | 2846.000-2856.000=-10.000 |
| | mean | 3.119-3.001=0.118 | | σ | 0.293-0.193=0.101 | | min | 2.949-2.690=0.258 | | max | 3.640-3.211=0.430 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.699-4754.740=-0.041 | | σ | 0.620-0.862=-0.241 | | min | 4754.283-4754.256=0.027 | | max | 4755.795-4756.272=-0.477 |
| | mean | 2846.000-2856.000=-10.000 | | σ | 0.000 | | min | 2846.000-2856.000=-10.000 | | max | 2846.000-2856.000=-10.000 |
| | mean | 8.336-8.600=-0.264 | | σ | 0.592-0.527=0.065 | | min | 7.656-7.887=-0.231 | | max | 9.008-9.219=-0.211 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.151-4945.153=-0.002 | | σ | 0.173-0.166=0.007 | | min | 4944.843-4944.858=-0.015 | | max | 4945.255-4945.247=0.008 |
| | mean | 3042.000-3062.400=-20.400 | | σ | 200.938-218.291=-17.353 | | min | 2846.000-2856.000=-10.000 | | max | 3322.000-3380.000=-58.000 |
| | mean | 8.623-8.620=0.003 | | σ | 0.135-0.166=-0.031 | | min | 8.418-8.487=-0.069 | | max | 8.787-8.899=-0.112 |
|