iters=5 new-facts=1 prior-facts=1 | | mean | 273.507-273.501=0.006 | | σ | 0.004-0.005=-0.001 | | min | 273.500-273.493=0.008 | | max | 273.511-273.506=0.005 |
| | mean | 2864.000-2620.000=244.000 | | σ | 0.000 | | min | 2864.000-2620.000=244.000 | | max | 2864.000-2620.000=244.000 |
| | mean | 0.386-0.378=0.008 | | σ | 0.012-0.004=0.008 | | min | 0.378-0.376=0.002 | | max | 0.407-0.386=0.022 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.899-1933.892=0.007 | | σ | 0.007-0.005=0.002 | | min | 1933.886-1933.883=0.003 | | max | 1933.906-1933.896=0.009 |
| | mean | 2864.000-2620.000=244.000 | | σ | 0.000 | | min | 2864.000-2620.000=244.000 | | max | 2864.000-2620.000=244.000 |
| | mean | 3.009-3.035=-0.026 | | σ | 0.012-0.137=-0.125 | | min | 3.003-2.820=0.182 | | max | 3.030-3.158=-0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.735-4613.988=140.747 | | σ | 0.805-314.468=-313.664 | | min | 4754.295-4051.453=702.842 | | max | 4756.172-4756.134=0.038 |
| | mean | 2864.000-2620.000=244.000 | | σ | 0.000 | | min | 2864.000-2620.000=244.000 | | max | 2864.000-2620.000=244.000 |
| | mean | 7.973-8.081=-0.108 | | σ | 0.342-0.725=-0.383 | | min | 7.724-7.000=0.725 | | max | 8.570-8.942=-0.372 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.114-4945.056=0.059 | | σ | 0.012-0.173=-0.162 | | min | 4945.100-4944.747=0.352 | | max | 4945.132-4945.160=-0.028 |
| | mean | 3052.000-3014.000=38.000 | | σ | 264.484-378.325=-113.840 | | min | 2864.000-2620.000=244.000 | | max | 3472.000-3543.000=-71.000 |
| | mean | 8.451-8.815=-0.364 | | σ | 0.113-0.366=-0.253 | | min | 8.355-8.538=-0.183 | | max | 8.641-9.448=-0.807 |
|