iters=5 new-facts=1 prior-facts=1 | | mean | 275.758-275.760=-0.001 | | σ | 0.012-0.012=-0.000 | | min | 275.742-275.747=-0.005 | | max | 275.769-275.775=-0.006 |
| | mean | 2702.000-2645.000=57.000 | | σ | 0.000 | | min | 2702.000-2645.000=57.000 | | max | 2702.000-2645.000=57.000 |
| | mean | 0.407-0.399=0.008 | | σ | 0.015-0.005=0.009 | | min | 0.396-0.394=0.003 | | max | 0.427-0.407=0.020 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.245-2168.293=-0.048 | | σ | 0.062-0.004=0.058 | | min | 2168.137-2168.288=-0.152 | | max | 2168.286-2168.299=-0.013 |
| | mean | 2702.000-2645.000=57.000 | | σ | 0.000 | | min | 2702.000-2645.000=57.000 | | max | 2702.000-2645.000=57.000 |
| | mean | 2.830-2.922=-0.092 | | σ | 0.090-0.094=-0.004 | | min | 2.757-2.761=-0.004 | | max | 2.951-2.993=-0.042 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.084-5047.978=0.106 | | σ | 0.934-1.009=-0.075 | | min | 5047.525-5047.209=0.316 | | max | 5049.741-5049.747=-0.007 |
| | mean | 2702.000-2645.000=57.000 | | σ | 0.000 | | min | 2702.000-2645.000=57.000 | | max | 2702.000-2645.000=57.000 |
| | mean | 8.947-8.877=0.070 | | σ | 0.494-0.511=-0.016 | | min | 8.074-8.028=0.046 | | max | 9.269-9.354=-0.085 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.227-5179.152=0.075 | | σ | 0.078-0.212=-0.134 | | min | 5179.153-5178.791=0.363 | | max | 5179.314-5179.316=-0.002 |
| | mean | 3250.800-3230.200=20.600 | | σ | 460.565-396.287=64.277 | | min | 2702.000-2692.000=10.000 | | max | 3873.000-3739.000=134.000 |
| | mean | 9.802-9.517=0.285 | | σ | 0.196-0.723=-0.528 | | min | 9.496-8.718=0.778 | | max | 10.012-10.352=-0.340 |
|