iters=5 new-facts=1 prior-facts=1 | | mean | 272.754-272.754=0.001 | | σ | 0.004-0.006=-0.003 | | min | 272.751-272.747=0.004 | | max | 272.759-272.761=-0.003 |
| | mean | 2706.000-2501.000=205.000 | | σ | 0.000 | | min | 2706.000-2501.000=205.000 | | max | 2706.000-2501.000=205.000 |
| | mean | 0.384-0.384=-0.000 | | σ | 0.006-0.008=-0.002 | | min | 0.379-0.380=-0.001 | | max | 0.393-0.398=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.155-1933.162=-0.007 | | σ | 0.016-0.017=-0.001 | | min | 1933.131-1933.142=-0.011 | | max | 1933.172-1933.183=-0.011 |
| | mean | 2706.000-2501.000=205.000 | | σ | 0.000 | | min | 2706.000-2501.000=205.000 | | max | 2706.000-2501.000=205.000 |
| | mean | 3.036-3.144=-0.108 | | σ | 0.131-0.165=-0.034 | | min | 2.822-3.026=-0.204 | | max | 3.173-3.427=-0.255 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.908-4756.945=-0.037 | | σ | 7.597-7.555=0.042 | | min | 4753.479-4753.537=-0.058 | | max | 4770.498-4770.460=0.038 |
| | mean | 2706.000-2501.000=205.000 | | σ | 0.000 | | min | 2706.000-2501.000=205.000 | | max | 2706.000-2501.000=205.000 |
| | mean | 8.615-8.495=0.120 | | σ | 0.234-0.135=0.099 | | min | 8.276-8.331=-0.055 | | max | 8.919-8.680=0.238 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.252-4944.392=-0.140 | | σ | 0.188-0.025=0.163 | | min | 4944.046-4944.355=-0.308 | | max | 4944.417-4944.419=-0.002 |
| | mean | 2982.200-2948.000=34.200 | | σ | 319.572-382.137=-62.565 | | min | 2706.000-2501.000=205.000 | | max | 3438.000-3456.000=-18.000 |
| | mean | 8.441-8.375=0.067 | | σ | 0.186-0.086=0.100 | | min | 8.328-8.266=0.062 | | max | 8.765-8.470=0.295 |
|