iters=5 new-facts=1 prior-facts=1 | | mean | 271.756-270.605=1.152 | | σ | 0.007-0.003=0.004 | | min | 271.749-270.601=1.148 | | max | 271.768-270.608=1.159 |
| | mean | 2812.000-2777.000=35.000 | | σ | 0.000 | | min | 2812.000-2777.000=35.000 | | max | 2812.000-2777.000=35.000 |
| | mean | 0.388-0.381=0.007 | | σ | 0.009-0.004=0.005 | | min | 0.379-0.377=0.001 | | max | 0.399-0.387=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.179-1931.051=1.128 | | σ | 0.010-0.007=0.003 | | min | 1932.165-1931.045=1.119 | | max | 1932.194-1931.063=1.131 |
| | mean | 2812.000-2777.000=35.000 | | σ | 0.000 | | min | 2812.000-2777.000=35.000 | | max | 2812.000-2777.000=35.000 |
| | mean | 2.953-2.934=0.019 | | σ | 0.109-0.176=-0.067 | | min | 2.789-2.642=0.147 | | max | 3.084-3.102=-0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.941-4751.792=1.149 | | σ | 0.915-0.856=0.059 | | min | 4752.350-4751.313=1.037 | | max | 4754.552-4753.315=1.237 |
| | mean | 2812.000-2777.000=35.000 | | σ | 0.000 | | min | 2812.000-2777.000=35.000 | | max | 2812.000-2777.000=35.000 |
| | mean | 8.481-8.441=0.040 | | σ | 0.620-0.376=0.244 | | min | 7.730-7.906=-0.176 | | max | 9.227-8.911=0.317 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.296-4942.166=1.130 | | σ | 0.156-0.152=0.004 | | min | 4943.019-4941.895=1.124 | | max | 4943.390-4942.255=1.135 |
| | mean | 3043.000-3058.400=-15.400 | | σ | 282.166-263.824=18.341 | | min | 2812.000-2777.000=35.000 | | max | 3467.000-3431.000=36.000 |
| | mean | 8.540-8.679=-0.139 | | σ | 0.159-0.238=-0.079 | | min | 8.402-8.420=-0.018 | | max | 8.760-9.032=-0.272 |
|