iters=5 new-facts=1 prior-facts=1 | | mean | 324.718-324.705=0.013 | | σ | 0.030-0.053=-0.023 | | min | 324.666-324.612=0.053 | | max | 324.742-324.747=-0.005 |
| | mean | 2829.000-2828.000=1.000 | | σ | 0.000 | | min | 2829.000-2828.000=1.000 | | max | 2829.000-2828.000=1.000 |
| | mean | 0.424-0.424=-0.000 | | σ | 0.003-0.002=0.001 | | min | 0.422-0.423=-0.001 | | max | 0.429-0.428=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.253-1985.271=-0.017 | | σ | 0.016-0.007=0.009 | | min | 1985.231-1985.263=-0.031 | | max | 1985.271-1985.279=-0.008 |
| | mean | 2829.000-2828.000=1.000 | | σ | 0.000 | | min | 2829.000-2828.000=1.000 | | max | 2829.000-2828.000=1.000 |
| | mean | 2.641-2.611=0.030 | | σ | 0.119-0.057=0.062 | | min | 2.555-2.557=-0.001 | | max | 2.830-2.688=0.142 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.858-4808.760=0.098 | | σ | 7.671-7.715=-0.044 | | min | 4805.385-4804.829=0.556 | | max | 4822.580-4822.551=0.029 |
| | mean | 2829.000-2828.000=1.000 | | σ | 0.000 | | min | 2829.000-2828.000=1.000 | | max | 2829.000-2828.000=1.000 |
| | mean | 8.828-8.863=-0.035 | | σ | 0.122-0.367=-0.244 | | min | 8.650-8.444=0.206 | | max | 8.988-9.417=-0.428 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.459-4996.328=0.131 | | σ | 0.025-0.332=-0.307 | | min | 4996.421-4995.735=0.686 | | max | 4996.482-4996.493=-0.011 |
| | mean | 3063.400-3046.600=16.800 | | σ | 306.458-190.197=116.262 | | min | 2829.000-2828.000=1.000 | | max | 3537.000-3318.000=219.000 |
| | mean | 8.495-8.678=-0.183 | | σ | 0.126-0.244=-0.118 | | min | 8.334-8.492=-0.158 | | max | 8.682-8.956=-0.274 |
|