iters=5 new-facts=1 prior-facts=1 | | mean | 323.986-271.599=52.386 | | σ | 0.045-0.007=0.038 | | min | 323.905-271.591=52.314 | | max | 324.013-271.607=52.406 |
| | mean | 2770.000-2702.000=68.000 | | σ | 0.000 | | min | 2770.000-2702.000=68.000 | | max | 2770.000-2702.000=68.000 |
| | mean | 0.429-0.383=0.046 | | σ | 0.006-0.001=0.005 | | min | 0.425-0.381=0.043 | | max | 0.439-0.384=0.055 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1984.585-1931.997=52.588 | | σ | 0.018-0.011=0.008 | | min | 1984.553-1931.984=52.570 | | max | 1984.600-1932.009=52.591 |
| | mean | 2770.000-2702.000=68.000 | | σ | 0.000 | | min | 2770.000-2702.000=68.000 | | max | 2770.000-2702.000=68.000 |
| | mean | 2.583-2.508=0.075 | | σ | 0.076-0.055=0.021 | | min | 2.471-2.450=0.021 | | max | 2.653-2.589=0.064 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.238-4752.577=55.662 | | σ | 7.778-0.670=7.108 | | min | 4804.739-4752.240=52.499 | | max | 4822.152-4753.775=68.377 |
| | mean | 2770.000-2702.000=68.000 | | σ | 0.000 | | min | 2770.000-2702.000=68.000 | | max | 2770.000-2702.000=68.000 |
| | mean | 9.006-8.770=0.236 | | σ | 0.086-0.222=-0.137 | | min | 8.918-8.459=0.460 | | max | 9.137-8.997=0.140 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4995.809-4943.203=52.605 | | σ | 0.019-0.016=0.003 | | min | 4995.788-4943.184=52.604 | | max | 4995.835-4943.222=52.613 |
| | mean | 2988.800-3019.800=-31.000 | | σ | 214.749-235.710=-20.961 | | min | 2770.000-2702.000=68.000 | | max | 3305.000-3329.000=-24.000 |
| | mean | 8.670-8.602=0.068 | | σ | 0.166-0.137=0.029 | | min | 8.495-8.435=0.060 | | max | 8.910-8.798=0.113 |
|