iters=5 new-facts=1 prior-facts=1 | | mean | 271.752-271.759=-0.007 | | σ | 0.007-0.008=-0.001 | | min | 271.744-271.749=-0.005 | | max | 271.758-271.769=-0.011 |
| | mean | 2811.000-2879.000=-68.000 | | σ | 0.000 | | min | 2811.000-2879.000=-68.000 | | max | 2811.000-2879.000=-68.000 |
| | mean | 0.382-0.383=-0.001 | | σ | 0.004-0.011=-0.006 | | min | 0.379-0.377=0.002 | | max | 0.390-0.403=-0.013 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.180-1932.175=0.004 | | σ | 0.017-0.012=0.005 | | min | 1932.156-1932.162=-0.006 | | max | 1932.201-1932.188=0.012 |
| | mean | 2811.000-2879.000=-68.000 | | σ | 0.000 | | min | 2811.000-2879.000=-68.000 | | max | 2811.000-2879.000=-68.000 |
| | mean | 2.939-2.959=-0.020 | | σ | 0.049-0.137=-0.088 | | min | 2.852-2.731=0.121 | | max | 2.974-3.073=-0.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.797-4752.925=-0.127 | | σ | 1.014-0.912=0.103 | | min | 4751.992-4752.389=-0.397 | | max | 4754.567-4754.542=0.026 |
| | mean | 2811.000-2879.000=-68.000 | | σ | 0.000 | | min | 2811.000-2879.000=-68.000 | | max | 2811.000-2879.000=-68.000 |
| | mean | 8.672-8.470=0.203 | | σ | 0.297-0.568=-0.271 | | min | 8.374-7.644=0.730 | | max | 9.094-9.054=0.040 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.372-4943.302=0.069 | | σ | 0.019-0.158=-0.139 | | min | 4943.347-4943.021=0.326 | | max | 4943.388-4943.397=-0.009 |
| | mean | 3019.800-3041.400=-21.600 | | σ | 266.401-243.415=22.987 | | min | 2811.000-2879.000=-68.000 | | max | 3428.000-3425.000=3.000 |
| | mean | 8.427-8.454=-0.027 | | σ | 0.030-0.098=-0.068 | | min | 8.404-8.381=0.023 | | max | 8.474-8.618=-0.145 |
|