iters=5 new-facts=1 prior-facts=1 | | mean | 271.951-271.950=0.001 | | σ | 0.004-0.008=-0.004 | | min | 271.947-271.937=0.009 | | max | 271.955-271.958=-0.003 |
| | mean | 2702.000-2779.000=-77.000 | | σ | 0.000 | | min | 2702.000-2779.000=-77.000 | | max | 2702.000-2779.000=-77.000 |
| | mean | 0.380-0.380=0.000 | | σ | 0.002-0.001=0.000 | | min | 0.378-0.378=0.001 | | max | 0.382-0.381=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.320-1932.324=-0.004 | | σ | 0.007-0.018=-0.011 | | min | 1932.310-1932.307=0.003 | | max | 1932.328-1932.355=-0.027 |
| | mean | 2702.000-2779.000=-77.000 | | σ | 0.000 | | min | 2702.000-2779.000=-77.000 | | max | 2702.000-2779.000=-77.000 |
| | mean | 2.968-2.861=0.108 | | σ | 0.097-0.235=-0.138 | | min | 2.822-2.470=0.353 | | max | 3.045-3.058=-0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.888-4753.099=-0.212 | | σ | 1.167-0.903=0.265 | | min | 4751.445-4752.586=-1.141 | | max | 4754.696-4754.704=-0.008 |
| | mean | 2702.000-2779.000=-77.000 | | σ | 0.000 | | min | 2702.000-2779.000=-77.000 | | max | 2702.000-2779.000=-77.000 |
| | mean | 8.463-8.533=-0.070 | | σ | 0.603-0.464=0.140 | | min | 7.666-7.769=-0.104 | | max | 9.073-8.945=0.128 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.491-4943.486=0.005 | | σ | 0.159-0.159=-0.000 | | min | 4943.208-4943.203=0.005 | | max | 4943.577-4943.573=0.003 |
| | mean | 3036.000-3002.800=33.200 | | σ | 262.704-223.257=39.447 | | min | 2702.000-2779.000=-77.000 | | max | 3348.000-3321.000=27.000 |
| | mean | 8.576-8.517=0.059 | | σ | 0.105-0.062=0.044 | | min | 8.458-8.439=0.019 | | max | 8.703-8.611=0.092 |
|