iters=5 new-facts=1 prior-facts=1 | | mean | 324.713-324.705=0.008 | | σ | 0.038-0.056=-0.018 | | min | 324.646-324.606=0.040 | | max | 324.737-324.738=-0.001 |
| | mean | 2840.000-2839.000=1.000 | | σ | 0.000 | | min | 2840.000-2839.000=1.000 | | max | 2840.000-2839.000=1.000 |
| | mean | 0.424-0.424=-0.001 | | σ | 0.001-0.002=-0.001 | | min | 0.422-0.421=0.002 | | max | 0.426-0.426=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.273-1985.258=0.015 | | σ | 0.007-0.020=-0.012 | | min | 1985.267-1985.231=0.036 | | max | 1985.285-1985.277=0.008 |
| | mean | 2840.000-2839.000=1.000 | | σ | 0.000 | | min | 2840.000-2839.000=1.000 | | max | 2840.000-2839.000=1.000 |
| | mean | 2.617-2.625=-0.008 | | σ | 0.084-0.091=-0.007 | | min | 2.553-2.534=0.018 | | max | 2.728-2.765=-0.037 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.863-4808.864=-0.001 | | σ | 7.653-7.642=0.012 | | min | 4805.387-4805.371=0.016 | | max | 4822.554-4822.534=0.020 |
| | mean | 2840.000-2839.000=1.000 | | σ | 0.000 | | min | 2840.000-2839.000=1.000 | | max | 2840.000-2839.000=1.000 |
| | mean | 8.926-8.695=0.231 | | σ | 0.201-0.188=0.013 | | min | 8.636-8.494=0.142 | | max | 9.136-8.894=0.242 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.465-4996.458=0.008 | | σ | 0.019-0.019=-0.000 | | min | 4996.445-4996.429=0.016 | | max | 4996.490-4996.481=0.009 |
| | mean | 3041.400-3070.200=-28.800 | | σ | 211.079-303.047=-91.968 | | min | 2840.000-2839.000=1.000 | | max | 3345.000-3535.000=-190.000 |
| | mean | 8.641-8.536=0.106 | | σ | 0.183-0.124=0.059 | | min | 8.493-8.427=0.066 | | max | 8.935-8.672=0.264 |
|