iters=5 new-facts=1 prior-facts=1 | | mean | 277.716-277.718=-0.002 | | σ | 0.011-0.010=0.001 | | min | 277.702-277.704=-0.002 | | max | 277.730-277.730=-0.001 |
| | mean | 2694.000-2688.000=6.000 | | σ | 0.000 | | min | 2694.000-2688.000=6.000 | | max | 2694.000-2688.000=6.000 |
| | mean | 0.407-0.409=-0.002 | | σ | 0.001-0.003=-0.002 | | min | 0.407-0.405=0.002 | | max | 0.409-0.413=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.891-2267.887=0.004 | | σ | 0.005-0.007=-0.003 | | min | 2267.886-2267.876=0.009 | | max | 2267.897-2267.897=-0.000 |
| | mean | 2694.000-2688.000=6.000 | | σ | 0.000 | | min | 2694.000-2688.000=6.000 | | max | 2694.000-2688.000=6.000 |
| | mean | 2.963-2.907=0.056 | | σ | 0.135-0.148=-0.014 | | min | 2.826-2.675=0.152 | | max | 3.187-3.079=0.109 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.840-4954.837=0.003 | | σ | 0.964-1.042=-0.078 | | min | 4954.158-4954.049=0.109 | | max | 4956.501-4956.598=-0.098 |
| | mean | 2694.000-2688.000=6.000 | | σ | 0.000 | | min | 2694.000-2688.000=6.000 | | max | 2694.000-2688.000=6.000 |
| | mean | 7.817-7.968=-0.151 | | σ | 0.214-0.168=0.046 | | min | 7.566-7.799=-0.233 | | max | 8.157-8.192=-0.035 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.795-5169.784=0.011 | | σ | 0.088-0.081=0.008 | | min | 5169.694-5169.693=0.002 | | max | 5169.867-5169.855=0.012 |
| | mean | 3369.400-3396.600=-27.200 | | σ | 455.081-442.094=12.987 | | min | 2813.000-2774.000=39.000 | | max | 3986.000-3935.000=51.000 |
| | mean | 9.431-9.188=0.243 | | σ | 0.262-0.458=-0.197 | | min | 9.097-8.683=0.414 | | max | 9.776-9.924=-0.149 |
|