iters=5 new-facts=1 prior-facts=1 | | mean | 273.593-272.015=1.578 | | σ | 0.017-0.005=0.013 | | min | 273.575-272.007=1.568 | | max | 273.619-272.019=1.601 |
| | mean | 2853.000-2856.000=-3.000 | | σ | 0.000 | | min | 2853.000-2856.000=-3.000 | | max | 2853.000-2856.000=-3.000 |
| | mean | 0.390-0.385=0.005 | | σ | 0.006-0.006=0.000 | | min | 0.384-0.380=0.004 | | max | 0.399-0.394=0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.993-1932.437=1.556 | | σ | 0.006-0.011=-0.005 | | min | 1933.986-1932.424=1.562 | | max | 1934.004-1932.453=1.550 |
| | mean | 2853.000-2856.000=-3.000 | | σ | 0.000 | | min | 2853.000-2856.000=-3.000 | | max | 2853.000-2856.000=-3.000 |
| | mean | 3.050-2.971=0.079 | | σ | 0.198-0.065=0.133 | | min | 2.763-2.889=-0.126 | | max | 3.234-3.063=0.171 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4614.225-4752.925=-138.700 | | σ | 314.655-1.002=313.653 | | min | 4051.356-4752.118=-700.762 | | max | 4756.350-4754.604=1.746 |
| | mean | 2853.000-2856.000=-3.000 | | σ | 0.000 | | min | 2853.000-2856.000=-3.000 | | max | 2853.000-2856.000=-3.000 |
| | mean | 8.313-8.638=-0.325 | | σ | 0.628-0.308=0.320 | | min | 7.680-8.179=-0.500 | | max | 9.225-8.917=0.308 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.235-4943.629=1.606 | | σ | 0.020-0.030=-0.009 | | min | 4945.213-4943.589=1.623 | | max | 4945.264-4943.666=1.598 |
| | mean | 3087.400-3058.000=29.400 | | σ | 298.900-212.159=86.741 | | min | 2853.000-2856.000=-3.000 | | max | 3544.000-3364.000=180.000 |
| | mean | 8.703-8.604=0.099 | | σ | 0.233-0.153=0.080 | | min | 8.541-8.384=0.157 | | max | 9.108-8.756=0.352 |
|