iters=5 new-facts=1 prior-facts=1 | | mean | 324.703-324.705=-0.002 | | σ | 0.052-0.063=-0.011 | | min | 324.612-324.593=0.019 | | max | 324.740-324.737=0.003 |
| | mean | 2832.000-2830.000=2.000 | | σ | 0.000 | | min | 2832.000-2830.000=2.000 | | max | 2832.000-2830.000=2.000 |
| | mean | 0.427-0.437=-0.010 | | σ | 0.002-0.010=-0.008 | | min | 0.424-0.426=-0.002 | | max | 0.430-0.448=-0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.257-1985.264=-0.007 | | σ | 0.007-0.014=-0.007 | | min | 1985.248-1985.248=-0.000 | | max | 1985.263-1985.277=-0.014 |
| | mean | 2832.000-2830.000=2.000 | | σ | 0.000 | | min | 2832.000-2830.000=2.000 | | max | 2832.000-2830.000=2.000 |
| | mean | 2.691-2.711=-0.020 | | σ | 0.156-0.162=-0.006 | | min | 2.581-2.526=0.055 | | max | 2.942-2.929=0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.882-4808.792=0.090 | | σ | 7.659-7.783=-0.124 | | min | 4805.416-4804.791=0.625 | | max | 4822.583-4822.705=-0.122 |
| | mean | 2832.000-2830.000=2.000 | | σ | 0.000 | | min | 2832.000-2830.000=2.000 | | max | 2832.000-2830.000=2.000 |
| | mean | 8.941-8.795=0.146 | | σ | 0.219-0.596=-0.377 | | min | 8.616-7.799=0.817 | | max | 9.178-9.310=-0.133 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.394-4996.468=-0.075 | | σ | 0.149-0.014=0.135 | | min | 4996.130-4996.448=-0.319 | | max | 4996.481-4996.485=-0.004 |
| | mean | 3066.600-3056.000=10.600 | | σ | 305.565-297.218=8.347 | | min | 2832.000-2830.000=2.000 | | max | 3538.000-3513.000=25.000 |
| | mean | 8.543-8.582=-0.039 | | σ | 0.160-0.118=0.042 | | min | 8.426-8.479=-0.053 | | max | 8.821-8.762=0.059 |
|