iters=5 new-facts=1 prior-facts=1 | | mean | 275.761-275.762=-0.001 | | σ | 0.005-0.008=-0.002 | | min | 275.757-275.754=0.004 | | max | 275.771-275.771=-0.000 |
| | mean | 2506.000-2769.000=-263.000 | | σ | 0.000 | | min | 2506.000-2769.000=-263.000 | | max | 2506.000-2769.000=-263.000 |
| | mean | 0.403-0.399=0.004 | | σ | 0.008-0.007=0.002 | | min | 0.396-0.390=0.006 | | max | 0.416-0.405=0.011 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.276-2168.287=-0.012 | | σ | 0.021-0.021=-0.000 | | min | 2168.245-2168.252=-0.007 | | max | 2168.294-2168.302=-0.008 |
| | mean | 2506.000-2769.000=-263.000 | | σ | 0.000 | | min | 2506.000-2769.000=-263.000 | | max | 2506.000-2769.000=-263.000 |
| | mean | 2.918-2.977=-0.059 | | σ | 0.182-0.162=0.019 | | min | 2.655-2.741=-0.086 | | max | 3.082-3.158=-0.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.014-5048.106=-0.092 | | σ | 1.018-0.930=0.088 | | min | 5047.105-5047.582=-0.477 | | max | 5049.753-5049.758=-0.005 |
| | mean | 2506.000-2769.000=-263.000 | | σ | 0.000 | | min | 2506.000-2769.000=-263.000 | | max | 2506.000-2769.000=-263.000 |
| | mean | 8.763-8.934=-0.171 | | σ | 0.488-0.434=0.054 | | min | 8.109-8.308=-0.199 | | max | 9.427-9.496=-0.069 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.177-5179.248=-0.071 | | σ | 0.129-0.082=0.047 | | min | 5178.972-5179.160=-0.188 | | max | 5179.328-5179.352=-0.023 |
| | mean | 3254.000-3249.800=4.200 | | σ | 373.188-362.670=10.519 | | min | 2730.000-2769.000=-39.000 | | max | 3712.000-3725.000=-13.000 |
| | mean | 9.933-10.022=-0.089 | | σ | 0.317-0.301=0.016 | | min | 9.595-9.553=0.042 | | max | 10.356-10.300=0.056 |
|