iters=5 new-facts=1 prior-facts=1 | | mean | 324.701-324.683=0.018 | | σ | 0.058-0.044=0.014 | | min | 324.598-324.604=-0.006 | | max | 324.734-324.710=0.024 |
| | mean | 2826.000-2841.000=-15.000 | | σ | 0.000 | | min | 2826.000-2841.000=-15.000 | | max | 2826.000-2841.000=-15.000 |
| | mean | 0.425-0.428=-0.003 | | σ | 0.001-0.009=-0.009 | | min | 0.424-0.422=0.002 | | max | 0.426-0.445=-0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.256-1985.265=-0.009 | | σ | 0.015-0.017=-0.002 | | min | 1985.241-1985.237=0.004 | | max | 1985.276-1985.282=-0.006 |
| | mean | 2826.000-2841.000=-15.000 | | σ | 0.000 | | min | 2826.000-2841.000=-15.000 | | max | 2826.000-2841.000=-15.000 |
| | mean | 2.622-2.650=-0.028 | | σ | 0.069-0.171=-0.102 | | min | 2.546-2.477=0.069 | | max | 2.711-2.862=-0.151 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.867-4808.892=-0.025 | | σ | 7.657-7.701=-0.044 | | min | 4805.394-4805.342=0.051 | | max | 4822.564-4822.667=-0.103 |
| | mean | 2826.000-2841.000=-15.000 | | σ | 0.000 | | min | 2826.000-2841.000=-15.000 | | max | 2826.000-2841.000=-15.000 |
| | mean | 8.938-8.978=-0.040 | | σ | 0.162-0.343=-0.181 | | min | 8.689-8.436=0.253 | | max | 9.084-9.321=-0.237 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.469-4996.472=-0.003 | | σ | 0.017-0.021=-0.004 | | min | 4996.451-4996.452=-0.001 | | max | 4996.491-4996.496=-0.005 |
| | mean | 3047.200-3006.200=41.000 | | σ | 199.608-186.315=13.293 | | min | 2826.000-2841.000=-15.000 | | max | 3335.000-3295.000=40.000 |
| | mean | 8.720-8.648=0.072 | | σ | 0.254-0.133=0.121 | | min | 8.506-8.496=0.009 | | max | 9.053-8.797=0.256 |
|