iters=5 new-facts=1 prior-facts=1 | | mean | 278.827-278.822=0.005 | | σ | 0.010-0.006=0.005 | | min | 278.814-278.816=-0.002 | | max | 278.842-278.829=0.013 |
| | mean | 2821.000-2728.000=93.000 | | σ | 0.000 | | min | 2821.000-2728.000=93.000 | | max | 2821.000-2728.000=93.000 |
| | mean | 0.412-0.410=0.002 | | σ | 0.003-0.004=-0.001 | | min | 0.408-0.407=0.001 | | max | 0.415-0.418=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.878-2268.877=0.001 | | σ | 0.019-0.011=0.008 | | min | 2268.860-2268.867=-0.006 | | max | 2268.908-2268.892=0.016 |
| | mean | 2821.000-2728.000=93.000 | | σ | 0.000 | | min | 2821.000-2728.000=93.000 | | max | 2821.000-2728.000=93.000 |
| | mean | 3.128-2.980=0.148 | | σ | 0.239-0.140=0.099 | | min | 2.925-2.888=0.038 | | max | 3.515-3.225=0.290 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.103-4954.284=-0.181 | | σ | 1.061-0.955=0.106 | | min | 4953.400-4953.657=-0.257 | | max | 4955.982-4955.974=0.008 |
| | mean | 2821.000-2728.000=93.000 | | σ | 0.000 | | min | 2821.000-2728.000=93.000 | | max | 2821.000-2728.000=93.000 |
| | mean | 8.320-8.009=0.311 | | σ | 0.437-0.433=0.004 | | min | 7.806-7.699=0.107 | | max | 8.830-8.760=0.070 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5168.825-5168.749=0.076 | | σ | 0.092-0.144=-0.052 | | min | 5168.722-5168.530=0.192 | | max | 5168.907-5168.881=0.026 |
| | mean | 3443.800-3435.200=8.600 | | σ | 475.089-493.571=-18.482 | | min | 2888.000-2776.000=112.000 | | max | 4131.000-4077.000=54.000 |
| | mean | 9.424-9.258=0.166 | | σ | 0.317-0.273=0.043 | | min | 9.031-8.912=0.119 | | max | 9.891-9.660=0.231 |
|