iters=5 new-facts=1 prior-facts=1 | | mean | 278.828-278.818=0.010 | | σ | 0.004-0.019=-0.015 | | min | 278.822-278.785=0.036 | | max | 278.830-278.831=-0.001 |
| | mean | 2725.000-2673.000=52.000 | | σ | 0.000 | | min | 2725.000-2673.000=52.000 | | max | 2725.000-2673.000=52.000 |
| | mean | 0.414-0.412=0.002 | | σ | 0.009-0.002=0.007 | | min | 0.406-0.410=-0.003 | | max | 0.427-0.415=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.882-2268.886=-0.004 | | σ | 0.006-0.015=-0.008 | | min | 2268.872-2268.875=-0.004 | | max | 2268.886-2268.911=-0.025 |
| | mean | 2725.000-2673.000=52.000 | | σ | 0.000 | | min | 2725.000-2673.000=52.000 | | max | 2725.000-2673.000=52.000 |
| | mean | 2.995-3.146=-0.152 | | σ | 0.108-0.165=-0.058 | | min | 2.888-2.918=-0.031 | | max | 3.119-3.365=-0.246 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.281-4954.269=0.012 | | σ | 0.838-0.951=-0.113 | | min | 4953.803-4953.694=0.108 | | max | 4955.775-4955.952=-0.176 |
| | mean | 2725.000-2673.000=52.000 | | σ | 0.000 | | min | 2725.000-2673.000=52.000 | | max | 2725.000-2673.000=52.000 |
| | mean | 7.974-8.117=-0.143 | | σ | 0.217-0.347=-0.130 | | min | 7.722-7.837=-0.115 | | max | 8.267-8.608=-0.341 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.753-5168.822=-0.069 | | σ | 0.224-0.090=0.134 | | min | 5168.375-5168.719=-0.345 | | max | 5168.911-5168.897=0.014 |
| | mean | 3503.800-3447.400=56.400 | | σ | 490.698-477.946=12.752 | | min | 2858.000-2890.000=-32.000 | | max | 4178.000-4139.000=39.000 |
| | mean | 9.399-9.221=0.178 | | σ | 0.236-0.240=-0.004 | | min | 9.050-9.015=0.035 | | max | 9.655-9.597=0.058 |
|