iters=5 new-facts=1 prior-facts=1 | | mean | 324.593-324.569=0.024 | | σ | 0.019-0.052=-0.033 | | min | 324.559-324.477=0.082 | | max | 324.604-324.604=0.001 |
| | mean | 2833.000-2501.000=332.000 | | σ | 0.000 | | min | 2833.000-2501.000=332.000 | | max | 2833.000-2501.000=332.000 |
| | mean | 0.426-0.425=0.001 | | σ | 0.002-0.001=0.001 | | min | 0.423-0.424=-0.001 | | max | 0.428-0.425=0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.127-1985.133=-0.007 | | σ | 0.013-0.007=0.007 | | min | 1985.111-1985.122=-0.011 | | max | 1985.139-1985.140=-0.000 |
| | mean | 2833.000-2501.000=332.000 | | σ | 0.000 | | min | 2833.000-2501.000=332.000 | | max | 2833.000-2501.000=332.000 |
| | mean | 2.683-2.627=0.056 | | σ | 0.177-0.088=0.089 | | min | 2.526-2.562=-0.035 | | max | 2.963-2.770=0.193 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.730-4808.672=0.059 | | σ | 7.674-7.703=-0.029 | | min | 4805.256-4804.737=0.519 | | max | 4822.459-4822.442=0.017 |
| | mean | 2833.000-2501.000=332.000 | | σ | 0.000 | | min | 2833.000-2501.000=332.000 | | max | 2833.000-2501.000=332.000 |
| | mean | 8.910-8.548=0.362 | | σ | 0.137-0.594=-0.457 | | min | 8.737-7.713=1.023 | | max | 9.067-9.236=-0.169 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.328-4996.338=-0.010 | | σ | 0.026-0.016=0.009 | | min | 4996.293-4996.317=-0.024 | | max | 4996.358-4996.356=0.003 |
| | mean | 3062.000-2913.000=149.000 | | σ | 306.304-394.856=-88.553 | | min | 2833.000-2501.000=332.000 | | max | 3536.000-3440.000=96.000 |
| | mean | 8.585-8.506=0.078 | | σ | 0.156-0.035=0.121 | | min | 8.442-8.451=-0.009 | | max | 8.801-8.539=0.263 |
|