iters=5 new-facts=1 prior-facts=1 | | mean | 271.620-271.620=-0.000 | | σ | 0.005-0.005=0.000 | | min | 271.615-271.614=0.001 | | max | 271.629-271.628=0.001 |
| | mean | 2894.000-2886.000=8.000 | | σ | 0.000 | | min | 2894.000-2886.000=8.000 | | max | 2894.000-2886.000=8.000 |
| | mean | 0.384-0.381=0.002 | | σ | 0.007-0.006=0.001 | | min | 0.377-0.376=0.001 | | max | 0.396-0.391=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.039-1932.043=-0.004 | | σ | 0.012-0.016=-0.004 | | min | 1932.025-1932.024=0.001 | | max | 1932.056-1932.066=-0.010 |
| | mean | 2894.000-2886.000=8.000 | | σ | 0.000 | | min | 2894.000-2886.000=8.000 | | max | 2894.000-2886.000=8.000 |
| | mean | 2.988-3.054=-0.066 | | σ | 0.049-0.302=-0.253 | | min | 2.940-2.769=0.172 | | max | 3.049-3.563=-0.514 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.501-4752.696=-0.195 | | σ | 1.082-0.917=0.164 | | min | 4751.755-4751.873=-0.118 | | max | 4754.380-4754.266=0.115 |
| | mean | 2894.000-2886.000=8.000 | | σ | 0.000 | | min | 2894.000-2886.000=8.000 | | max | 2894.000-2886.000=8.000 |
| | mean | 8.979-8.132=0.847 | | σ | 0.316-0.634=-0.318 | | min | 8.537-7.664=0.873 | | max | 9.366-9.090=0.277 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.164-4943.244=-0.080 | | σ | 0.143-0.019=0.124 | | min | 4942.911-4943.229=-0.318 | | max | 4943.253-4943.269=-0.017 |
| | mean | 3030.800-3070.800=-40.000 | | σ | 214.228-251.515=-37.287 | | min | 2894.000-2886.000=8.000 | | max | 3383.000-3465.000=-82.000 |
| | mean | 8.431-8.463=-0.032 | | σ | 0.098-0.085=0.012 | | min | 8.312-8.363=-0.051 | | max | 8.571-8.594=-0.023 |
|