iters=5 new-facts=1 prior-facts=1 | | mean | 324.718-324.695=0.022 | | σ | 0.030-0.050=-0.020 | | min | 324.666-324.609=0.057 | | max | 324.742-324.732=0.011 |
| | mean | 2829.000-2728.000=101.000 | | σ | 0.000 | | min | 2829.000-2728.000=101.000 | | max | 2829.000-2728.000=101.000 |
| | mean | 0.424-0.427=-0.003 | | σ | 0.003-0.006=-0.003 | | min | 0.422-0.423=-0.001 | | max | 0.429-0.437=-0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253-1985.247=0.007 | | σ | 0.016-0.019=-0.003 | | min | 1985.231-1985.221=0.011 | | max | 1985.271-1985.266=0.005 |
| | mean | 2829.000-2728.000=101.000 | | σ | 0.000 | | min | 2829.000-2728.000=101.000 | | max | 2829.000-2728.000=101.000 |
| | mean | 2.641-2.661=-0.020 | | σ | 0.119-0.147=-0.028 | | min | 2.555-2.560=-0.005 | | max | 2.830-2.898=-0.068 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858-4808.868=-0.011 | | σ | 7.671-7.636=0.035 | | min | 4805.385-4805.365=0.019 | | max | 4822.580-4822.528=0.052 |
| | mean | 2829.000-2728.000=101.000 | | σ | 0.000 | | min | 2829.000-2728.000=101.000 | | max | 2829.000-2728.000=101.000 |
| | mean | 8.828-8.648=0.181 | | σ | 0.122-0.206=-0.084 | | min | 8.650-8.430=0.220 | | max | 8.988-8.870=0.118 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.459-4996.466=-0.007 | | σ | 0.025-0.015=0.009 | | min | 4996.421-4996.449=-0.028 | | max | 4996.482-4996.482=0.001 |
| | mean | 3063.400-3030.800=32.600 | | σ | 306.458-355.549=-49.091 | | min | 2829.000-2728.000=101.000 | | max | 3537.000-3556.000=-19.000 |
| | mean | 8.495-8.633=-0.138 | | σ | 0.126-0.209=-0.083 | | min | 8.334-8.459=-0.125 | | max | 8.682-8.951=-0.269 |
|