iters=5 new-facts=1 prior-facts=1 | | mean | 324.726-324.714=0.011 | | σ | 0.014-0.037=-0.023 | | min | 324.701-324.649=0.052 | | max | 324.734-324.742=-0.008 |
| | mean | 2493.000-2825.000=-332.000 | | σ | 0.000 | | min | 2493.000-2825.000=-332.000 | | max | 2493.000-2825.000=-332.000 |
| | mean | 0.424-0.422=0.002 | | σ | 0.001-0.002=-0.001 | | min | 0.422-0.421=0.002 | | max | 0.425-0.425=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.267-1985.260=0.007 | | σ | 0.017-0.018=-0.001 | | min | 1985.239-1985.236=0.003 | | max | 1985.283-1985.279=0.004 |
| | mean | 2493.000-2825.000=-332.000 | | σ | 0.000 | | min | 2493.000-2825.000=-332.000 | | max | 2493.000-2825.000=-332.000 |
| | mean | 2.689-2.687=0.002 | | σ | 0.188-0.079=0.109 | | min | 2.574-2.595=-0.021 | | max | 3.014-2.782=0.232 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.890-4668.264=140.626 | | σ | 7.645-316.471=-308.826 | | min | 4805.421-4102.297=703.124 | | max | 4822.566-4822.545=0.021 |
| | mean | 2493.000-2825.000=-332.000 | | σ | 0.000 | | min | 2493.000-2825.000=-332.000 | | max | 2493.000-2825.000=-332.000 |
| | mean | 8.993-8.630=0.363 | | σ | 0.224-0.495=-0.271 | | min | 8.672-7.792=0.880 | | max | 9.227-9.039=0.188 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-4996.485=-0.016 | | σ | 0.010-0.032=-0.022 | | min | 4996.461-4996.446=0.015 | | max | 4996.484-4996.526=-0.042 |
| | mean | 2950.800-3058.400=-107.600 | | σ | 434.013-238.772=195.241 | | min | 2493.000-2825.000=-332.000 | | max | 3539.000-3302.000=237.000 |
| | mean | 8.469-8.895=-0.426 | | σ | 0.139-0.359=-0.220 | | min | 8.345-8.622=-0.277 | | max | 8.654-9.493=-0.839 |
|