iters=5 new-facts=1 prior-facts=1 | | mean | 271.643-273.403=-1.760 | | σ | 0.004-0.009=-0.006 | | min | 271.639-273.392=-1.753 | | max | 271.648-273.414=-1.767 |
| | mean | 2849.000-2465.000=384.000 | | σ | 0.000 | | min | 2849.000-2465.000=384.000 | | max | 2849.000-2465.000=384.000 |
| | mean | 0.384-0.388=-0.004 | | σ | 0.009-0.009=-0.000 | | min | 0.377-0.379=-0.002 | | max | 0.397-0.401=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.112-1933.837=-1.726 | | σ | 0.007-0.013=-0.006 | | min | 1932.100-1933.818=-1.717 | | max | 1932.117-1933.854=-1.737 |
| | mean | 2849.000-2465.000=384.000 | | σ | 0.000 | | min | 2849.000-2465.000=384.000 | | max | 2849.000-2465.000=384.000 |
| | mean | 2.573-2.953=-0.380 | | σ | 0.195-0.193=0.002 | | min | 2.429-2.734=-0.305 | | max | 2.913-3.225=-0.312 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.642-4754.356=-1.714 | | σ | 0.770-0.797=-0.027 | | min | 4752.244-4753.840=-1.596 | | max | 4754.017-4755.771=-1.754 |
| | mean | 2849.000-2465.000=384.000 | | σ | 0.000 | | min | 2849.000-2465.000=384.000 | | max | 2849.000-2465.000=384.000 |
| | mean | 8.080-8.482=-0.402 | | σ | 0.272-0.367=-0.095 | | min | 7.719-7.863=-0.144 | | max | 8.397-8.772=-0.375 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.041-4944.801=-1.761 | | σ | 0.080-0.100=-0.020 | | min | 4942.961-4944.708=-1.747 | | max | 4943.128-4944.923=-1.795 |
| | mean | 3055.000-3045.000=10.000 | | σ | 266.493-386.578=-120.085 | | min | 2849.000-2489.000=360.000 | | max | 3462.000-3399.000=63.000 |
| | mean | 8.414-8.739=-0.325 | | σ | 0.104-0.423=-0.319 | | min | 8.345-8.332=0.012 | | max | 8.588-9.426=-0.838 |
|