iters=5 new-facts=1 prior-facts=1 | | mean | 272.017-271.759=0.258 | | σ | 0.008-0.006=0.002 | | min | 272.007-271.751=0.256 | | max | 272.028-271.767=0.261 |
| | mean | 2846.000-2851.000=-5.000 | | σ | 0.000 | | min | 2846.000-2851.000=-5.000 | | max | 2846.000-2851.000=-5.000 |
| | mean | 0.387-0.383=0.004 | | σ | 0.016-0.005=0.011 | | min | 0.362-0.380=-0.018 | | max | 0.402-0.392=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.438-1932.186=0.252 | | σ | 0.010-0.013=-0.003 | | min | 1932.425-1932.172=0.253 | | max | 1932.453-1932.207=0.246 |
| | mean | 2846.000-2851.000=-5.000 | | σ | 0.000 | | min | 2846.000-2851.000=-5.000 | | max | 2846.000-2851.000=-5.000 |
| | mean | 3.043-3.056=-0.013 | | σ | 0.104-0.157=-0.054 | | min | 2.977-2.905=0.072 | | max | 3.224-3.287=-0.063 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.151-4752.650=0.501 | | σ | 0.849-0.729=0.120 | | min | 4752.694-4751.916=0.778 | | max | 4754.664-4753.876=0.788 |
| | mean | 2846.000-2851.000=-5.000 | | σ | 0.000 | | min | 2846.000-2851.000=-5.000 | | max | 2846.000-2851.000=-5.000 |
| | mean | 8.628-8.657=-0.029 | | σ | 0.252-0.371=-0.119 | | min | 8.347-8.048=0.299 | | max | 8.910-8.934=-0.023 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.635-4943.370=0.265 | | σ | 0.017-0.016=0.001 | | min | 4943.622-4943.353=0.269 | | max | 4943.660-4943.389=0.271 |
| | mean | 3101.800-2980.400=121.400 | | σ | 269.998-162.124=107.873 | | min | 2846.000-2851.000=-5.000 | | max | 3383.000-3248.000=135.000 |
| | mean | 8.689-8.471=0.218 | | σ | 0.230-0.048=0.182 | | min | 8.425-8.420=0.005 | | max | 9.027-8.543=0.484 |
|