iters=5 new-facts=1 prior-facts=1 | | mean | 271.754-271.752=0.002 | | σ | 0.007-0.005=0.002 | | min | 271.747-271.747=0.001 | | max | 271.763-271.759=0.004 |
| | mean | 2784.000-2812.000=-28.000 | | σ | 0.000 | | min | 2784.000-2812.000=-28.000 | | max | 2784.000-2812.000=-28.000 |
| | mean | 0.382-0.378=0.003 | | σ | 0.006-0.008=-0.002 | | min | 0.378-0.368=0.010 | | max | 0.392-0.391=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.178-1932.180=-0.003 | | σ | 0.006-0.016=-0.010 | | min | 1932.170-1932.160=0.010 | | max | 1932.184-1932.194=-0.010 |
| | mean | 2784.000-2812.000=-28.000 | | σ | 0.000 | | min | 2784.000-2812.000=-28.000 | | max | 2784.000-2812.000=-28.000 |
| | mean | 3.090-2.969=0.121 | | σ | 0.091-0.128=-0.037 | | min | 2.946-2.767=0.179 | | max | 3.191-3.090=0.101 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.950-4752.659=0.291 | | σ | 0.890-1.078=-0.188 | | min | 4752.393-4751.892=0.501 | | max | 4754.532-4754.530=0.002 |
| | mean | 2784.000-2812.000=-28.000 | | σ | 0.000 | | min | 2784.000-2812.000=-28.000 | | max | 2784.000-2812.000=-28.000 |
| | mean | 8.266-8.665=-0.399 | | σ | 0.539-0.364=0.176 | | min | 7.647-8.100=-0.453 | | max | 9.050-9.015=0.035 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.308-4943.375=-0.067 | | σ | 0.150-0.021=0.129 | | min | 4943.043-4943.349=-0.307 | | max | 4943.405-4943.399=0.006 |
| | mean | 3026.400-3019.200=7.200 | | σ | 299.538-277.497=22.041 | | min | 2784.000-2812.000=-28.000 | | max | 3475.000-3455.000=20.000 |
| | mean | 8.521-8.453=0.067 | | σ | 0.156-0.130=0.026 | | min | 8.378-8.352=0.026 | | max | 8.703-8.668=0.035 |
|