iters=5 new-facts=1 prior-facts=1 | | mean | 272.019-272.019=-0.000 | | σ | 0.006-0.007=-0.001 | | min | 272.011-272.011=-0.000 | | max | 272.025-272.028=-0.002 |
| | mean | 2896.000-2851.000=45.000 | | σ | 0.000 | | min | 2896.000-2851.000=45.000 | | max | 2896.000-2851.000=45.000 |
| | mean | 0.390-0.391=-0.001 | | σ | 0.012-0.005=0.006 | | min | 0.378-0.381=-0.003 | | max | 0.407-0.395=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.437-1932.435=0.003 | | σ | 0.022-0.008=0.014 | | min | 1932.413-1932.422=-0.009 | | max | 1932.470-1932.443=0.028 |
| | mean | 2896.000-2851.000=45.000 | | σ | 0.000 | | min | 2896.000-2851.000=45.000 | | max | 2896.000-2851.000=45.000 |
| | mean | 2.929-3.021=-0.092 | | σ | 0.277-0.094=0.183 | | min | 2.455-2.937=-0.481 | | max | 3.175-3.180=-0.005 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.212-4753.108=0.104 | | σ | 0.876-0.564=0.312 | | min | 4752.695-4752.807=-0.112 | | max | 4754.770-4754.112=0.658 |
| | mean | 2896.000-2851.000=45.000 | | σ | 0.000 | | min | 2896.000-2851.000=45.000 | | max | 2896.000-2851.000=45.000 |
| | mean | 8.287-8.258=0.030 | | σ | 0.464-0.397=0.067 | | min | 7.736-7.775=-0.040 | | max | 8.934-8.598=0.336 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.550-4943.629=-0.079 | | σ | 0.170-0.028=0.142 | | min | 4943.246-4943.588=-0.342 | | max | 4943.642-4943.657=-0.015 |
| | mean | 3063.800-3073.000=-9.200 | | σ | 234.536-226.723=7.813 | | min | 2896.000-2851.000=45.000 | | max | 3432.000-3406.000=26.000 |
| | mean | 8.437-8.535=-0.098 | | σ | 0.082-0.149=-0.066 | | min | 8.373-8.411=-0.038 | | max | 8.576-8.766=-0.190 |
|