iters=5 new-facts=1 prior-facts=1 | | mean | 324.718-324.709=0.009 | | σ | 0.030-0.039=-0.009 | | min | 324.666-324.639=0.027 | | max | 324.742-324.732=0.010 |
| | mean | 2829.000-2811.000=18.000 | | σ | 0.000 | | min | 2829.000-2811.000=18.000 | | max | 2829.000-2811.000=18.000 |
| | mean | 0.424-0.422=0.002 | | σ | 0.003-0.001=0.002 | | min | 0.422-0.421=0.001 | | max | 0.429-0.423=0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253-1985.271=-0.018 | | σ | 0.016-0.007=0.009 | | min | 1985.231-1985.264=-0.032 | | max | 1985.271-1985.282=-0.011 |
| | mean | 2829.000-2811.000=18.000 | | σ | 0.000 | | min | 2829.000-2811.000=18.000 | | max | 2829.000-2811.000=18.000 |
| | mean | 2.641-2.615=0.026 | | σ | 0.119-0.074=0.045 | | min | 2.555-2.552=0.003 | | max | 2.830-2.702=0.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858-4808.890=-0.033 | | σ | 7.671-7.653=0.018 | | min | 4805.385-4805.356=0.028 | | max | 4822.580-4822.579=0.001 |
| | mean | 2829.000-2811.000=18.000 | | σ | 0.000 | | min | 2829.000-2811.000=18.000 | | max | 2829.000-2811.000=18.000 |
| | mean | 8.828-8.705=0.123 | | σ | 0.122-0.572=-0.449 | | min | 8.650-7.712=0.938 | | max | 8.988-9.098=-0.109 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.459-4996.467=-0.008 | | σ | 0.025-0.016=0.008 | | min | 4996.421-4996.450=-0.029 | | max | 4996.482-4996.485=-0.002 |
| | mean | 3063.400-3015.800=47.600 | | σ | 306.458-207.944=98.514 | | min | 2829.000-2811.000=18.000 | | max | 3537.000-3301.000=236.000 |
| | mean | 8.495-8.667=-0.172 | | σ | 0.126-0.104=0.022 | | min | 8.334-8.541=-0.207 | | max | 8.682-8.810=-0.128 |
|