iters=5 new-facts=1 prior-facts=1 | | mean | 277.715-274.418=3.296 | | σ | 0.015-0.009=0.005 | | min | 277.699-274.404=3.295 | | max | 277.731-274.429=3.302 |
| | mean | 2642.000-2732.000=-90.000 | | σ | 0.000 | | min | 2642.000-2732.000=-90.000 | | max | 2642.000-2732.000=-90.000 |
| | mean | 0.408-0.408=0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.407-0.405=0.001 | | max | 0.410-0.409=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.892-2264.644=3.249 | | σ | 0.005-0.022=-0.017 | | min | 2267.887-2264.621=3.267 | | max | 2267.899-2264.665=3.235 |
| | mean | 2642.000-2732.000=-90.000 | | σ | 0.000 | | min | 2642.000-2732.000=-90.000 | | max | 2642.000-2732.000=-90.000 |
| | mean | 2.912-3.210=-0.298 | | σ | 0.103-0.211=-0.108 | | min | 2.802-2.949=-0.147 | | max | 3.066-3.515=-0.449 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.965-4951.647=3.319 | | σ | 0.913-0.837=0.076 | | min | 4954.121-4950.883=3.238 | | max | 4956.529-4953.071=3.458 |
| | mean | 2642.000-2732.000=-90.000 | | σ | 0.000 | | min | 2642.000-2732.000=-90.000 | | max | 2642.000-2732.000=-90.000 |
| | mean | 7.917-8.047=-0.130 | | σ | 0.178-0.262=-0.084 | | min | 7.734-7.680=0.054 | | max | 8.198-8.327=-0.129 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.653-5166.461=3.192 | | σ | 0.149-0.086=0.063 | | min | 5169.501-5166.374=3.127 | | max | 5169.851-5166.556=3.294 |
| | mean | 3382.600-3378.800=3.800 | | σ | 452.270-436.933=15.337 | | min | 2810.000-2951.000=-141.000 | | max | 3990.000-3824.000=166.000 |
| | mean | 9.326-9.238=0.088 | | σ | 0.047-0.422=-0.375 | | min | 9.275-8.618=0.657 | | max | 9.395-9.693=-0.298 |
|