iters=5 new-facts=1 prior-facts=1 | | mean | 326.452-326.445=0.006 | | σ | 0.031-0.047=-0.015 | | min | 326.398-326.364=0.034 | | max | 326.472-326.481=-0.009 |
| | mean | 2825.000-2674.000=151.000 | | σ | 0.000 | | min | 2825.000-2674.000=151.000 | | max | 2825.000-2674.000=151.000 |
| | mean | 0.424-0.426=-0.002 | | σ | 0.003-0.003=0.001 | | min | 0.421-0.424=-0.003 | | max | 0.430-0.431=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1848.274-1988.616=-140.342 | | σ | 313.784-0.010=313.774 | | min | 1286.960-1988.609=-701.648 | | max | 1988.617-1988.632=-0.015 |
| | mean | 2825.000-2674.000=151.000 | | σ | 0.000 | | min | 2825.000-2674.000=151.000 | | max | 2825.000-2674.000=151.000 |
| | mean | 2.666-2.717=-0.051 | | σ | 0.500-0.127=0.373 | | min | 1.798-2.621=-0.822 | | max | 3.001-2.931=0.070 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.512-4813.439=0.072 | | σ | 7.694-7.718=-0.023 | | min | 4809.911-4809.942=-0.031 | | max | 4827.274-4827.245=0.029 |
| | mean | 2825.000-2674.000=151.000 | | σ | 0.000 | | min | 2825.000-2674.000=151.000 | | max | 2825.000-2674.000=151.000 |
| | mean | 8.194-8.810=-0.615 | | σ | 0.561-0.248=0.313 | | min | 7.744-8.559=-0.815 | | max | 9.114-9.115=-0.001 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5001.017-5001.010=0.008 | | σ | 0.035-0.021=0.013 | | min | 5000.975-5000.985=-0.010 | | max | 5001.065-5001.033=0.033 |
| | mean | 2986.800-3018.400=-31.600 | | σ | 232.556-240.235=-7.679 | | min | 2825.000-2674.000=151.000 | | max | 3351.000-3314.000=37.000 |
| | mean | 9.781-9.556=0.225 | | σ | 0.274-0.350=-0.076 | | min | 9.328-9.215=0.113 | | max | 10.012-9.926=0.086 |
|