iters=5 new-facts=1 prior-facts=1 | | mean | 324.705-324.718=-0.013 | | σ | 0.056-0.030=0.026 | | min | 324.606-324.666=-0.060 | | max | 324.738-324.742=-0.004 |
| | mean | 2839.000-2829.000=10.000 | | σ | 0.000 | | min | 2839.000-2829.000=10.000 | | max | 2839.000-2829.000=10.000 |
| | mean | 0.424-0.424=-0.000 | | σ | 0.002-0.003=-0.001 | | min | 0.421-0.422=-0.001 | | max | 0.426-0.429=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.258-1985.253=0.005 | | σ | 0.020-0.016=0.003 | | min | 1985.231-1985.231=-0.000 | | max | 1985.277-1985.271=0.006 |
| | mean | 2839.000-2829.000=10.000 | | σ | 0.000 | | min | 2839.000-2829.000=10.000 | | max | 2839.000-2829.000=10.000 |
| | mean | 2.625-2.641=-0.016 | | σ | 0.091-0.119=-0.028 | | min | 2.534-2.555=-0.021 | | max | 2.765-2.830=-0.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.864-4808.858=0.007 | | σ | 7.642-7.671=-0.029 | | min | 4805.371-4805.385=-0.014 | | max | 4822.534-4822.580=-0.046 |
| | mean | 2839.000-2829.000=10.000 | | σ | 0.000 | | min | 2839.000-2829.000=10.000 | | max | 2839.000-2829.000=10.000 |
| | mean | 8.695-8.828=-0.134 | | σ | 0.188-0.122=0.066 | | min | 8.494-8.650=-0.156 | | max | 8.894-8.988=-0.094 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.458-4996.459=-0.001 | | σ | 0.019-0.025=-0.005 | | min | 4996.429-4996.421=0.008 | | max | 4996.481-4996.482=-0.001 |
| | mean | 3070.200-3063.400=6.800 | | σ | 303.047-306.458=-3.411 | | min | 2839.000-2829.000=10.000 | | max | 3535.000-3537.000=-2.000 |
| | mean | 8.536-8.495=0.040 | | σ | 0.124-0.126=-0.002 | | min | 8.427-8.334=0.093 | | max | 8.672-8.682=-0.010 |
|