iters=5 new-facts=1 prior-facts=1 | | mean | 324.768-324.757=0.011 | | σ | 0.041-0.058=-0.017 | | min | 324.695-324.653=0.042 | | max | 324.796-324.790=0.006 |
| | mean | 2724.000-2703.000=21.000 | | σ | 0.000 | | min | 2724.000-2703.000=21.000 | | max | 2724.000-2703.000=21.000 |
| | mean | 0.423-0.438=-0.015 | | σ | 0.002-0.015=-0.013 | | min | 0.420-0.420=0.000 | | max | 0.424-0.452=-0.028 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.306-1985.315=-0.009 | | σ | 0.026-0.013=0.013 | | min | 1985.272-1985.304=-0.032 | | max | 1985.334-1985.330=0.004 |
| | mean | 2724.000-2703.000=21.000 | | σ | 0.000 | | min | 2724.000-2703.000=21.000 | | max | 2724.000-2703.000=21.000 |
| | mean | 2.668-2.696=-0.028 | | σ | 0.126-0.121=0.005 | | min | 2.575-2.605=-0.030 | | max | 2.837-2.868=-0.031 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.882-4809.110=-0.228 | | σ | 7.475-7.679=-0.204 | | min | 4805.060-4805.617=-0.557 | | max | 4822.243-4822.847=-0.604 |
| | mean | 2724.000-2703.000=21.000 | | σ | 0.000 | | min | 2724.000-2703.000=21.000 | | max | 2724.000-2703.000=21.000 |
| | mean | 8.655-8.829=-0.174 | | σ | 0.525-0.327=0.198 | | min | 7.927-8.287=-0.361 | | max | 9.401-9.091=0.310 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.628-4996.626=0.002 | | σ | 0.025-0.027=-0.002 | | min | 4996.601-4996.592=0.009 | | max | 4996.656-4996.650=0.005 |
| | mean | 3000.000-3008.600=-8.600 | | σ | 326.277-353.964=-27.688 | | min | 2724.000-2703.000=21.000 | | max | 3488.000-3525.000=-37.000 |
| | mean | 8.508-8.536=-0.028 | | σ | 0.117-0.080=0.037 | | min | 8.427-8.488=-0.061 | | max | 8.712-8.679=0.033 |
|