iters=5 new-facts=1 prior-facts=1 | | mean | 273.397-275.759=-2.362 | | σ | 0.018-0.009=0.009 | | min | 273.367-275.746=-2.379 | | max | 273.412-275.768=-2.355 |
| | mean | 2505.000-2812.000=-307.000 | | σ | 0.000 | | min | 2505.000-2812.000=-307.000 | | max | 2505.000-2812.000=-307.000 |
| | mean | 0.384-0.406=-0.021 | | σ | 0.009-0.011=-0.002 | | min | 0.377-0.396=-0.020 | | max | 0.394-0.419=-0.025 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.834-2168.275=-234.441 | | σ | 0.004-0.014=-0.010 | | min | 1933.831-2168.251=-234.420 | | max | 1933.841-2168.286=-234.445 |
| | mean | 2505.000-2812.000=-307.000 | | σ | 0.000 | | min | 2505.000-2812.000=-307.000 | | max | 2505.000-2812.000=-307.000 |
| | mean | 3.030-2.999=0.031 | | σ | 0.109-0.167=-0.058 | | min | 2.876-2.791=0.084 | | max | 3.165-3.128=0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.292-5048.142=-293.850 | | σ | 0.879-0.912=-0.032 | | min | 4753.614-5047.552=-293.939 | | max | 4755.835-5049.758=-293.923 |
| | mean | 2505.000-2812.000=-307.000 | | σ | 0.000 | | min | 2505.000-2812.000=-307.000 | | max | 2505.000-2812.000=-307.000 |
| | mean | 8.069-8.834=-0.765 | | σ | 0.382-0.680=-0.298 | | min | 7.740-8.060=-0.320 | | max | 8.707-9.756=-1.049 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.727-5179.022=-234.295 | | σ | 0.199-0.336=-0.138 | | min | 4944.391-5178.463=-234.071 | | max | 4944.876-5179.294=-234.418 |
| | mean | 2962.200-3245.400=-283.200 | | σ | 412.198-349.437=62.761 | | min | 2505.000-2812.000=-307.000 | | max | 3523.000-3724.000=-201.000 |
| | mean | 8.625-9.681=-1.056 | | σ | 0.461-0.675=-0.214 | | min | 8.393-8.660=-0.267 | | max | 9.449-10.395=-0.946 |
|