iters=5 new-facts=1 prior-facts=1 | | mean | 273.505-273.501=0.004 | | σ | 0.008-0.005=0.003 | | min | 273.497-273.493=0.004 | | max | 273.519-273.506=0.013 |
| | mean | 2871.000-2620.000=251.000 | | σ | 0.000 | | min | 2871.000-2620.000=251.000 | | max | 2871.000-2620.000=251.000 |
| | mean | 0.387-0.378=0.009 | | σ | 0.003-0.004=-0.001 | | min | 0.385-0.376=0.009 | | max | 0.392-0.386=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.897-1933.892=0.005 | | σ | 0.009-0.005=0.004 | | min | 1933.886-1933.883=0.003 | | max | 1933.906-1933.896=0.010 |
| | mean | 2871.000-2620.000=251.000 | | σ | 0.000 | | min | 2871.000-2620.000=251.000 | | max | 2871.000-2620.000=251.000 |
| | mean | 3.002-3.035=-0.033 | | σ | 0.147-0.137=0.010 | | min | 2.787-2.820=-0.034 | | max | 3.188-3.158=0.030 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.739-4613.988=140.750 | | σ | 0.792-314.468=-313.677 | | min | 4754.335-4051.453=702.882 | | max | 4756.154-4756.134=0.019 |
| | mean | 2871.000-2620.000=251.000 | | σ | 0.000 | | min | 2871.000-2620.000=251.000 | | max | 2871.000-2620.000=251.000 |
| | mean | 7.980-8.081=-0.100 | | σ | 0.256-0.725=-0.469 | | min | 7.839-7.000=0.839 | | max | 8.435-8.942=-0.507 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.112-4945.056=0.056 | | σ | 0.014-0.173=-0.159 | | min | 4945.090-4944.747=0.342 | | max | 4945.124-4945.160=-0.035 |
| | mean | 3041.600-3014.000=27.600 | | σ | 253.416-378.325=-124.908 | | min | 2871.000-2620.000=251.000 | | max | 3449.000-3543.000=-94.000 |
| | mean | 8.432-8.815=-0.383 | | σ | 0.069-0.366=-0.297 | | min | 8.327-8.538=-0.211 | | max | 8.498-9.448=-0.950 |
|