iters=5 new-facts=1 prior-facts=1 | | mean | 272.755-272.757=-0.002 | | σ | 0.009-0.004=0.004 | | min | 272.746-272.753=-0.007 | | max | 272.768-272.765=0.003 |
| | mean | 2772.000-2480.000=292.000 | | σ | 0.000 | | min | 2772.000-2480.000=292.000 | | max | 2772.000-2480.000=292.000 |
| | mean | 0.383-0.381=0.002 | | σ | 0.009-0.007=0.001 | | min | 0.378-0.377=0.001 | | max | 0.398-0.394=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.167-1933.159=0.009 | | σ | 0.011-0.008=0.004 | | min | 1933.155-1933.147=0.008 | | max | 1933.182-1933.168=0.014 |
| | mean | 2772.000-2480.000=292.000 | | σ | 0.000 | | min | 2772.000-2480.000=292.000 | | max | 2772.000-2480.000=292.000 |
| | mean | 3.027-3.094=-0.067 | | σ | 0.170-0.146=0.025 | | min | 2.819-2.927=-0.108 | | max | 3.233-3.254=-0.021 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4757.016-4757.002=0.013 | | σ | 7.521-7.549=-0.028 | | min | 4753.588-4753.515=0.072 | | max | 4770.469-4770.506=-0.037 |
| | mean | 2772.000-2480.000=292.000 | | σ | 0.000 | | min | 2772.000-2480.000=292.000 | | max | 2772.000-2480.000=292.000 |
| | mean | 7.981-8.139=-0.157 | | σ | 0.236-0.326=-0.090 | | min | 7.730-7.837=-0.108 | | max | 8.358-8.633=-0.275 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.401-4944.398=0.003 | | σ | 0.017-0.017=-0.001 | | min | 4944.379-4944.375=0.005 | | max | 4944.420-4944.416=0.004 |
| | mean | 3018.600-2940.200=78.400 | | σ | 304.273-385.563=-81.290 | | min | 2772.000-2480.000=292.000 | | max | 3473.000-3461.000=12.000 |
| | mean | 8.620-8.534=0.087 | | σ | 0.227-0.154=0.073 | | min | 8.411-8.404=0.007 | | max | 8.941-8.723=0.218 |
|