iters=5 new-facts=1 prior-facts=1 | | mean | 324.570-327.471=-2.901 | | σ | 0.046-0.060=-0.013 | | min | 324.488-327.364=-2.876 | | max | 324.597-327.502=-2.905 |
| | mean | 2852.000-2484.000=368.000 | | σ | 0.000 | | min | 2852.000-2484.000=368.000 | | max | 2852.000-2484.000=368.000 |
| | mean | 0.427-0.431=-0.004 | | σ | 0.010-0.007=0.004 | | min | 0.421-0.427=-0.006 | | max | 0.445-0.443=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.128-1988.036=-2.908 | | σ | 0.014-0.008=0.005 | | min | 1985.108-1988.026=-2.918 | | max | 1985.143-1988.047=-2.904 |
| | mean | 2852.000-2484.000=368.000 | | σ | 0.000 | | min | 2852.000-2484.000=368.000 | | max | 2852.000-2484.000=368.000 |
| | mean | 2.617-2.622=-0.005 | | σ | 0.076-0.077=-0.002 | | min | 2.548-2.541=0.008 | | max | 2.704-2.714=-0.011 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.747-4811.647=-2.900 | | σ | 7.706-7.680=0.026 | | min | 4805.278-4808.147=-2.869 | | max | 4822.532-4825.386=-2.853 |
| | mean | 2852.000-2484.000=368.000 | | σ | 0.000 | | min | 2852.000-2484.000=368.000 | | max | 2852.000-2484.000=368.000 |
| | mean | 9.073-8.868=0.205 | | σ | 0.156-0.173=-0.016 | | min | 8.850-8.620=0.231 | | max | 9.277-9.079=0.198 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.325-4999.103=-2.778 | | σ | 0.022-0.182=-0.161 | | min | 4996.297-4998.904=-2.607 | | max | 4996.350-4999.269=-2.919 |
| | mean | 3073.000-2952.200=120.800 | | σ | 302.361-253.307=49.054 | | min | 2852.000-2634.000=218.000 | | max | 3539.000-3298.000=241.000 |
| | mean | 8.575-8.560=0.015 | | σ | 0.190-0.058=0.132 | | min | 8.422-8.498=-0.077 | | max | 8.846-8.640=0.207 |
|