iters=5 new-facts=1 prior-facts=1 | | mean | 278.807-278.817=-0.010 | | σ | 0.030-0.004=0.026 | | min | 278.753-278.810=-0.057 | | max | 278.822-278.820=0.002 |
| | mean | 2692.000-2685.000=7.000 | | σ | 0.000 | | min | 2692.000-2685.000=7.000 | | max | 2692.000-2685.000=7.000 |
| | mean | 0.410-0.411=-0.000 | | σ | 0.001-0.005=-0.004 | | min | 0.409-0.406=0.003 | | max | 0.412-0.417=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.883-2268.880=0.003 | | σ | 0.010-0.019=-0.009 | | min | 2268.872-2268.849=0.023 | | max | 2268.899-2268.896=0.003 |
| | mean | 2692.000-2685.000=7.000 | | σ | 0.000 | | min | 2692.000-2685.000=7.000 | | max | 2692.000-2685.000=7.000 |
| | mean | 3.006-3.157=-0.151 | | σ | 0.149-0.215=-0.065 | | min | 2.899-2.913=-0.015 | | max | 3.256-3.390=-0.133 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.259-4954.024=0.235 | | σ | 0.966-1.123=-0.157 | | min | 4953.665-4952.648=1.017 | | max | 4955.970-4955.781=0.189 |
| | mean | 2692.000-2685.000=7.000 | | σ | 0.000 | | min | 2692.000-2685.000=7.000 | | max | 2692.000-2685.000=7.000 |
| | mean | 8.160-7.943=0.217 | | σ | 0.407-0.409=-0.001 | | min | 7.715-7.665=0.051 | | max | 8.759-8.655=0.105 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.751-5168.782=-0.031 | | σ | 0.151-0.084=0.067 | | min | 5168.536-5168.717=-0.181 | | max | 5168.909-5168.875=0.034 |
| | mean | 3447.800-3319.600=128.200 | | σ | 473.000-394.553=78.446 | | min | 2864.000-2928.000=-64.000 | | max | 4132.000-3717.000=415.000 |
| | mean | 9.201-9.182=0.019 | | σ | 0.363-0.194=0.169 | | min | 8.728-8.973=-0.244 | | max | 9.628-9.403=0.225 |
|