iters=5 new-facts=1 prior-facts=1 | | mean | 272.018-272.019=-0.001 | | σ | 0.005-0.009=-0.004 | | min | 272.013-272.011=0.002 | | max | 272.025-272.033=-0.008 |
| | mean | 2908.000-2857.000=51.000 | | σ | 0.000 | | min | 2908.000-2857.000=51.000 | | max | 2908.000-2857.000=51.000 |
| | mean | 0.388-0.395=-0.007 | | σ | 0.010-0.018=-0.009 | | min | 0.378-0.378=-0.000 | | max | 0.400-0.421=-0.021 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437-1932.432=0.005 | | σ | 0.010-0.005=0.005 | | min | 1932.421-1932.428=-0.007 | | max | 1932.446-1932.438=0.007 |
| | mean | 2908.000-2857.000=51.000 | | σ | 0.000 | | min | 2908.000-2857.000=51.000 | | max | 2908.000-2857.000=51.000 |
| | mean | 3.000-3.021=-0.021 | | σ | 0.078-0.088=-0.010 | | min | 2.938-2.936=0.002 | | max | 3.135-3.137=-0.002 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.054-4753.174=-0.120 | | σ | 0.955-0.852=0.103 | | min | 4752.087-4752.707=-0.621 | | max | 4754.653-4754.690=-0.038 |
| | mean | 2908.000-2857.000=51.000 | | σ | 0.000 | | min | 2908.000-2857.000=51.000 | | max | 2908.000-2857.000=51.000 |
| | mean | 8.499-8.487=0.011 | | σ | 0.587-0.509=0.078 | | min | 7.607-7.669=-0.062 | | max | 9.121-8.953=0.168 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.417-4943.562=-0.145 | | σ | 0.309-0.151=0.158 | | min | 4942.938-4943.293=-0.355 | | max | 4943.662-4943.652=0.010 |
| | mean | 3099.600-3059.200=40.400 | | σ | 212.359-197.779=14.579 | | min | 2908.000-2857.000=51.000 | | max | 3424.000-3310.000=114.000 |
| | mean | 8.617-8.591=0.026 | | σ | 0.223-0.145=0.078 | | min | 8.394-8.432=-0.037 | | max | 8.951-8.742=0.209 |
|