iters=5 new-facts=1 prior-facts=1 | | mean | 271.993-272.012=-0.019 | | σ | 0.008-0.007=0.001 | | min | 271.985-272.000=-0.015 | | max | 272.004-272.017=-0.013 |
| | mean | 2846.000-2699.000=147.000 | | σ | 0.000 | | min | 2846.000-2699.000=147.000 | | max | 2846.000-2699.000=147.000 |
| | mean | 0.394-0.391=0.003 | | σ | 0.014-0.011=0.002 | | min | 0.381-0.380=0.000 | | max | 0.415-0.407=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.433-1932.437=-0.003 | | σ | 0.014-0.006=0.008 | | min | 1932.417-1932.426=-0.009 | | max | 1932.449-1932.443=0.006 |
| | mean | 2846.000-2699.000=147.000 | | σ | 0.000 | | min | 2846.000-2699.000=147.000 | | max | 2846.000-2699.000=147.000 |
| | mean | 2.951-3.033=-0.082 | | σ | 0.311-0.037=0.274 | | min | 2.470-3.003=-0.533 | | max | 3.339-3.094=0.245 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.864-4753.128=-0.265 | | σ | 1.139-0.887=0.252 | | min | 4751.514-4752.330=-0.816 | | max | 4754.647-4754.654=-0.007 |
| | mean | 2846.000-2699.000=147.000 | | σ | 0.000 | | min | 2846.000-2699.000=147.000 | | max | 2846.000-2699.000=147.000 |
| | mean | 8.220-7.898=0.323 | | σ | 0.684-0.285=0.400 | | min | 7.687-7.690=-0.002 | | max | 9.289-8.399=0.891 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.628-4943.628=0.001 | | σ | 0.021-0.022=-0.001 | | min | 4943.608-4943.605=0.002 | | max | 4943.658-4943.658=0.001 |
| | mean | 3074.400-3022.000=52.400 | | σ | 299.757-368.347=-68.590 | | min | 2846.000-2699.000=147.000 | | max | 3535.000-3556.000=-21.000 |
| | mean | 8.423-8.621=-0.198 | | σ | 0.114-0.203=-0.089 | | min | 8.313-8.390=-0.077 | | max | 8.571-8.866=-0.295 |
|