iters=5 new-facts=1 prior-facts=1 | | mean | 278.843-278.719=0.124 | | σ | 0.008-0.005=0.004 | | min | 278.830-278.711=0.119 | | max | 278.850-278.723=0.127 |
| | mean | 2690.000-2611.000=79.000 | | σ | 0.000 | | min | 2690.000-2611.000=79.000 | | max | 2690.000-2611.000=79.000 |
| | mean | 0.415-0.419=-0.003 | | σ | 0.008-0.001=0.007 | | min | 0.409-0.418=-0.009 | | max | 0.428-0.420=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.905-2268.880=0.025 | | σ | 0.009-0.014=-0.004 | | min | 2268.896-2268.856=0.040 | | max | 2268.918-2268.888=0.030 |
| | mean | 2690.000-2611.000=79.000 | | σ | 0.000 | | min | 2690.000-2611.000=79.000 | | max | 2690.000-2611.000=79.000 |
| | mean | 2.972-2.984=-0.012 | | σ | 0.160-0.134=0.026 | | min | 2.780-2.895=-0.115 | | max | 3.176-3.220=-0.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.258-4952.259=1.999 | | σ | 0.884-0.941=-0.057 | | min | 4953.783-4951.407=2.376 | | max | 4955.837-4953.876=1.961 |
| | mean | 2690.000-2611.000=79.000 | | σ | 0.000 | | min | 2690.000-2611.000=79.000 | | max | 2690.000-2611.000=79.000 |
| | mean | 8.127-7.998=0.129 | | σ | 0.363-0.173=0.190 | | min | 7.742-7.797=-0.055 | | max | 8.702-8.250=0.451 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.746-5167.095=1.651 | | σ | 0.210-0.011=0.200 | | min | 5168.399-5167.083=1.315 | | max | 5168.935-5167.113=1.822 |
| | mean | 3506.200-3362.400=143.800 | | σ | 494.156-448.654=45.501 | | min | 2858.000-2840.000=18.000 | | max | 4187.000-4016.000=171.000 |
| | mean | 9.585-9.376=0.208 | | σ | 0.305-0.296=0.010 | | min | 9.309-8.955=0.354 | | max | 10.084-9.698=0.387 |
|