iters=5 new-facts=1 prior-facts=1 | | mean | 324.704-324.709=-0.006 | | σ | 0.064-0.040=0.024 | | min | 324.590-324.639=-0.050 | | max | 324.742-324.736=0.006 |
| | mean | 2826.000-2752.000=74.000 | | σ | 0.000 | | min | 2826.000-2752.000=74.000 | | max | 2826.000-2752.000=74.000 |
| | mean | 0.433-0.425=0.008 | | σ | 0.010-0.002=0.008 | | min | 0.424-0.423=0.002 | | max | 0.445-0.428=0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.265-1985.256=0.009 | | σ | 0.004-0.016=-0.012 | | min | 1985.260-1985.239=0.020 | | max | 1985.271-1985.273=-0.002 |
| | mean | 2826.000-2752.000=74.000 | | σ | 0.000 | | min | 2826.000-2752.000=74.000 | | max | 2826.000-2752.000=74.000 |
| | mean | 2.624-2.671=-0.048 | | σ | 0.081-0.098=-0.017 | | min | 2.560-2.575=-0.015 | | max | 2.739-2.799=-0.060 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.864-4808.876=-0.013 | | σ | 7.718-7.654=0.064 | | min | 4805.336-4805.381=-0.045 | | max | 4822.670-4822.569=0.101 |
| | mean | 2826.000-2752.000=74.000 | | σ | 0.000 | | min | 2826.000-2752.000=74.000 | | max | 2826.000-2752.000=74.000 |
| | mean | 8.928-8.992=-0.064 | | σ | 0.296-0.163=0.133 | | min | 8.570-8.747=-0.177 | | max | 9.267-9.189=0.078 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.464-4996.462=0.002 | | σ | 0.012-0.014=-0.002 | | min | 4996.449-4996.447=0.002 | | max | 4996.481-4996.476=0.005 |
| | mean | 3020.000-3038.200=-18.200 | | σ | 269.384-341.750=-72.366 | | min | 2826.000-2752.000=74.000 | | max | 3440.000-3544.000=-104.000 |
| | mean | 8.487-8.688=-0.200 | | σ | 0.038-0.336=-0.298 | | min | 8.452-8.446=0.006 | | max | 8.548-9.257=-0.709 |
|