iters=5 new-facts=1 prior-facts=1 | | mean | 326.445-326.423=0.023 | | σ | 0.047-0.057=-0.010 | | min | 326.364-326.324=0.040 | | max | 326.481-326.465=0.016 |
| | mean | 2674.000-2598.000=76.000 | | σ | 0.000 | | min | 2674.000-2598.000=76.000 | | max | 2674.000-2598.000=76.000 |
| | mean | 0.426-0.430=-0.003 | | σ | 0.003-0.006=-0.004 | | min | 0.424-0.426=-0.002 | | max | 0.431-0.441=-0.010 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.616-1988.606=0.010 | | σ | 0.010-0.019=-0.009 | | min | 1988.609-1988.584=0.024 | | max | 1988.632-1988.624=0.008 |
| | mean | 2674.000-2598.000=76.000 | | σ | 0.000 | | min | 2674.000-2598.000=76.000 | | max | 2674.000-2598.000=76.000 |
| | mean | 2.717-2.680=0.037 | | σ | 0.127-0.192=-0.065 | | min | 2.621-2.513=0.108 | | max | 2.931-3.003=-0.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.439-4813.100=0.339 | | σ | 7.718-7.927=-0.210 | | min | 4809.942-4808.889=1.053 | | max | 4827.245-4827.259=-0.014 |
| | mean | 2674.000-2598.000=76.000 | | σ | 0.000 | | min | 2674.000-2598.000=76.000 | | max | 2674.000-2598.000=76.000 |
| | mean | 8.810-8.678=0.132 | | σ | 0.248-0.460=-0.212 | | min | 8.559-7.965=0.594 | | max | 9.115-9.190=-0.075 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.010-5000.939=0.071 | | σ | 0.021-0.153=-0.131 | | min | 5000.985-5000.671=0.314 | | max | 5001.033-5001.052=-0.019 |
| | mean | 3018.400-2954.600=63.800 | | σ | 240.235-274.527=-34.293 | | min | 2674.000-2598.000=76.000 | | max | 3314.000-3321.000=-7.000 |
| | mean | 9.556-9.748=-0.193 | | σ | 0.350-0.197=0.153 | | min | 9.215-9.521=-0.306 | | max | 9.926-10.003=-0.076 |
|