iters=5 new-facts=1 prior-facts=1 | | mean | 325.316-325.314=0.001 | | σ | 0.055-0.048=0.007 | | min | 325.218-325.229=-0.010 | | max | 325.346-325.344=0.002 |
| | mean | 2740.000-2727.000=13.000 | | σ | 0.000 | | min | 2740.000-2727.000=13.000 | | max | 2740.000-2727.000=13.000 |
| | mean | 0.430-0.426=0.004 | | σ | 0.006-0.001=0.005 | | min | 0.425-0.425=-0.001 | | max | 0.439-0.427=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.875-1985.873=0.002 | | σ | 0.007-0.015=-0.009 | | min | 1985.863-1985.855=0.008 | | max | 1985.881-1985.890=-0.010 |
| | mean | 2740.000-2727.000=13.000 | | σ | 0.000 | | min | 2740.000-2727.000=13.000 | | max | 2740.000-2727.000=13.000 |
| | mean | 2.817-2.745=0.073 | | σ | 0.284-0.105=0.179 | | min | 2.585-2.665=-0.079 | | max | 3.290-2.893=0.398 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.646-4809.657=-0.010 | | σ | 7.751-7.670=0.082 | | min | 4806.143-4806.095=0.048 | | max | 4823.512-4823.375=0.137 |
| | mean | 2740.000-2727.000=13.000 | | σ | 0.000 | | min | 2740.000-2727.000=13.000 | | max | 2740.000-2727.000=13.000 |
| | mean | 8.690-8.546=0.144 | | σ | 0.637-0.579=0.059 | | min | 7.811-7.774=0.037 | | max | 9.461-9.045=0.415 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4997.106-4997.180=-0.074 | | σ | 0.147-0.026=0.121 | | min | 4996.845-4997.150=-0.304 | | max | 4997.192-4997.203=-0.011 |
| | mean | 3006.000-3006.200=-0.200 | | σ | 324.517-337.093=-12.576 | | min | 2740.000-2727.000=13.000 | | max | 3497.000-3514.000=-17.000 |
| | mean | 8.581-8.551=0.030 | | σ | 0.086-0.080=0.006 | | min | 8.507-8.493=0.014 | | max | 8.698-8.693=0.006 |
|