iters=5 new-facts=1 prior-facts=1 | | mean | 271.754-271.753=0.002 | | σ | 0.005-0.007=-0.002 | | min | 271.749-271.743=0.006 | | max | 271.760-271.761=-0.000 |
| | mean | 2777.000-2826.000=-49.000 | | σ | 0.000 | | min | 2777.000-2826.000=-49.000 | | max | 2777.000-2826.000=-49.000 |
| | mean | 0.383-0.382=0.001 | | σ | 0.007-0.005=0.002 | | min | 0.378-0.378=-0.000 | | max | 0.393-0.390=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.178-1932.177=0.001 | | σ | 0.014-0.006=0.007 | | min | 1932.157-1932.169=-0.011 | | max | 1932.194-1932.186=0.008 |
| | mean | 2777.000-2826.000=-49.000 | | σ | 0.000 | | min | 2777.000-2826.000=-49.000 | | max | 2777.000-2826.000=-49.000 |
| | mean | 2.886-3.060=-0.174 | | σ | 0.191-0.073=0.118 | | min | 2.575-3.004=-0.428 | | max | 3.073-3.140=-0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.807-4752.907=-0.100 | | σ | 0.996-0.854=0.142 | | min | 4752.100-4752.423=-0.323 | | max | 4754.566-4754.425=0.141 |
| | mean | 2777.000-2826.000=-49.000 | | σ | 0.000 | | min | 2777.000-2826.000=-49.000 | | max | 2777.000-2826.000=-49.000 |
| | mean | 8.503-8.486=0.017 | | σ | 0.549-0.517=0.032 | | min | 7.652-7.627=0.026 | | max | 9.127-8.936=0.191 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.377-4943.375=0.001 | | σ | 0.018-0.014=0.004 | | min | 4943.351-4943.361=-0.011 | | max | 4943.399-4943.391=0.008 |
| | mean | 2994.400-3059.400=-65.000 | | σ | 210.559-232.136=-21.577 | | min | 2777.000-2826.000=-49.000 | | max | 3304.000-3392.000=-88.000 |
| | mean | 8.559-8.559=0.000 | | σ | 0.085-0.278=-0.193 | | min | 8.457-8.341=0.116 | | max | 8.634-9.034=-0.400 |
|