iters=5 new-facts=1 prior-facts=1 | | mean | 273.506-273.500=0.006 | | σ | 0.010-0.007=0.004 | | min | 273.494-273.490=0.004 | | max | 273.520-273.507=0.013 |
| | mean | 2860.000-2774.000=86.000 | | σ | 0.000 | | min | 2860.000-2774.000=86.000 | | max | 2860.000-2774.000=86.000 |
| | mean | 0.376-0.376=0.000 | | σ | 0.004-0.005=-0.001 | | min | 0.373-0.371=0.002 | | max | 0.382-0.384=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.900-1933.891=0.008 | | σ | 0.014-0.006=0.008 | | min | 1933.882-1933.886=-0.004 | | max | 1933.917-1933.901=0.015 |
| | mean | 2860.000-2774.000=86.000 | | σ | 0.000 | | min | 2860.000-2774.000=86.000 | | max | 2860.000-2774.000=86.000 |
| | mean | 2.908-2.996=-0.088 | | σ | 0.257-0.137=0.119 | | min | 2.467-2.800=-0.333 | | max | 3.118-3.147=-0.029 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.734-4754.507=0.227 | | σ | 0.783-0.639=0.144 | | min | 4754.325-4754.141=0.184 | | max | 4756.133-4755.646=0.487 |
| | mean | 2860.000-2774.000=86.000 | | σ | 0.000 | | min | 2860.000-2774.000=86.000 | | max | 2860.000-2774.000=86.000 |
| | mean | 7.932-8.778=-0.846 | | σ | 0.316-0.143=0.173 | | min | 7.693-8.613=-0.919 | | max | 8.480-8.998=-0.518 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.117-4945.044=0.073 | | σ | 0.024-0.163=-0.138 | | min | 4945.087-4944.754=0.332 | | max | 4945.150-4945.129=0.021 |
| | mean | 3052.800-3046.200=6.600 | | σ | 269.777-232.357=37.420 | | min | 2860.000-2774.000=86.000 | | max | 3481.000-3328.000=153.000 |
| | mean | 8.608-8.553=0.055 | | σ | 0.348-0.151=0.197 | | min | 8.306-8.378=-0.072 | | max | 9.182-8.770=0.411 |
|