iters=5 new-facts=1 prior-facts=1 | | mean | 271.621-271.618=0.003 | | σ | 0.007-0.007=-0.000 | | min | 271.614-271.608=0.007 | | max | 271.633-271.626=0.006 |
| | mean | 2677.000-2673.000=4.000 | | σ | 0.000 | | min | 2677.000-2673.000=4.000 | | max | 2677.000-2673.000=4.000 |
| | mean | 0.386-0.384=0.002 | | σ | 0.007-0.007=-0.000 | | min | 0.381-0.379=0.002 | | max | 0.394-0.396=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.049-1932.044=0.005 | | σ | 0.009-0.010=-0.001 | | min | 1932.036-1932.031=0.005 | | max | 1932.062-1932.057=0.005 |
| | mean | 2677.000-2673.000=4.000 | | σ | 0.000 | | min | 2677.000-2673.000=4.000 | | max | 2677.000-2673.000=4.000 |
| | mean | 3.069-3.013=0.056 | | σ | 0.083-0.148=-0.066 | | min | 2.990-2.815=0.175 | | max | 3.160-3.204=-0.043 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.851-4752.849=0.003 | | σ | 0.819-0.834=-0.015 | | min | 4752.401-4752.368=0.032 | | max | 4754.314-4754.337=-0.023 |
| | mean | 2677.000-2673.000=4.000 | | σ | 0.000 | | min | 2677.000-2673.000=4.000 | | max | 2677.000-2673.000=4.000 |
| | mean | 7.970-7.962=0.008 | | σ | 0.369-0.426=-0.057 | | min | 7.668-7.723=-0.054 | | max | 8.608-8.715=-0.108 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.098-4943.238=-0.140 | | σ | 0.328-0.009=0.319 | | min | 4942.511-4943.225=-0.714 | | max | 4943.261-4943.249=0.013 |
| | mean | 2969.800-3010.800=-41.000 | | σ | 316.721-384.584=-67.863 | | min | 2677.000-2673.000=4.000 | | max | 3426.000-3562.000=-136.000 |
| | mean | 8.574-8.452=0.121 | | σ | 0.138-0.114=0.025 | | min | 8.399-8.348=0.051 | | max | 8.735-8.603=0.132 |
|