iters=5 new-facts=1 prior-facts=1 | | mean | 278.838-278.844=-0.006 | | σ | 0.018-0.010=0.008 | | min | 278.807-278.832=-0.025 | | max | 278.849-278.857=-0.008 |
| | mean | 2700.000-2731.000=-31.000 | | σ | 0.000 | | min | 2700.000-2731.000=-31.000 | | max | 2700.000-2731.000=-31.000 |
| | mean | 0.417-0.409=0.008 | | σ | 0.008-0.001=0.007 | | min | 0.410-0.407=0.003 | | max | 0.429-0.410=0.018 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.900-2268.900=-0.000 | | σ | 0.019-0.019=0.000 | | min | 2268.877-2268.873=0.005 | | max | 2268.921-2268.922=-0.001 |
| | mean | 2700.000-2731.000=-31.000 | | σ | 0.000 | | min | 2700.000-2731.000=-31.000 | | max | 2700.000-2731.000=-31.000 |
| | mean | 2.935-3.207=-0.273 | | σ | 0.045-0.168=-0.123 | | min | 2.897-2.919=-0.021 | | max | 3.012-3.352=-0.340 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.245-4954.042=0.203 | | σ | 0.881-1.057=-0.176 | | min | 4953.689-4953.240=0.448 | | max | 4955.809-4955.826=-0.017 |
| | mean | 2700.000-2731.000=-31.000 | | σ | 0.000 | | min | 2700.000-2731.000=-31.000 | | max | 2700.000-2731.000=-31.000 |
| | mean | 8.099-8.046=0.053 | | σ | 0.459-0.392=0.067 | | min | 7.722-7.794=-0.072 | | max | 8.694-8.739=-0.044 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.677-5168.748=-0.070 | | σ | 0.192-0.210=-0.018 | | min | 5168.413-5168.403=0.010 | | max | 5168.901-5168.935=-0.034 |
| | mean | 3368.200-3365.400=2.800 | | σ | 473.088-410.562=62.526 | | min | 2741.000-2965.000=-224.000 | | max | 3996.000-3785.000=211.000 |
| | mean | 9.549-9.201=0.349 | | σ | 0.264-0.568=-0.304 | | min | 9.117-8.540=0.578 | | max | 9.824-9.813=0.011 |
|