iters=5 new-facts=1 prior-facts=1 | | mean | 271.757-271.756=0.001 | | σ | 0.004-0.007=-0.003 | | min | 271.751-271.746=0.004 | | max | 271.761-271.765=-0.003 |
| | mean | 2899.000-2806.000=93.000 | | σ | 0.000 | | min | 2899.000-2806.000=93.000 | | max | 2899.000-2806.000=93.000 |
| | mean | 0.381-0.387=-0.006 | | σ | 0.009-0.005=0.004 | | min | 0.372-0.382=-0.010 | | max | 0.396-0.394=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.174-1932.175=-0.001 | | σ | 0.013-0.014=-0.001 | | min | 1932.163-1932.155=0.008 | | max | 1932.190-1932.189=0.001 |
| | mean | 2899.000-2806.000=93.000 | | σ | 0.000 | | min | 2899.000-2806.000=93.000 | | max | 2899.000-2806.000=93.000 |
| | mean | 2.958-2.948=0.010 | | σ | 0.097-0.106=-0.009 | | min | 2.816-2.811=0.005 | | max | 3.078-3.094=-0.016 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.755-4752.905=-0.150 | | σ | 1.049-0.891=0.157 | | min | 4751.809-4752.439=-0.631 | | max | 4754.560-4754.491=0.069 |
| | mean | 2899.000-2806.000=93.000 | | σ | 0.000 | | min | 2899.000-2806.000=93.000 | | max | 2899.000-2806.000=93.000 |
| | mean | 8.833-8.461=0.372 | | σ | 0.226-0.544=-0.318 | | min | 8.502-7.612=0.890 | | max | 9.132-8.859=0.274 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.307-4943.369=-0.062 | | σ | 0.152-0.019=0.132 | | min | 4943.038-4943.346=-0.308 | | max | 4943.394-4943.386=0.008 |
| | mean | 3039.000-3003.000=36.000 | | σ | 169.037-259.987=-90.950 | | min | 2899.000-2806.000=93.000 | | max | 3313.000-3402.000=-89.000 |
| | mean | 8.555-8.397=0.158 | | σ | 0.142-0.043=0.099 | | min | 8.420-8.342=0.078 | | max | 8.781-8.443=0.338 |
|