iters=5 new-facts=1 prior-facts=1 | | mean | 324.766-272.788=51.978 | | σ | 0.048-0.006=0.042 | | min | 324.681-272.781=51.900 | | max | 324.793-272.794=51.998 |
| | mean | 2690.000-2757.000=-67.000 | | σ | 0.000 | | min | 2690.000-2757.000=-67.000 | | max | 2690.000-2757.000=-67.000 |
| | mean | 0.427-0.382=0.045 | | σ | 0.010-0.008=0.002 | | min | 0.420-0.377=0.043 | | max | 0.445-0.395=0.050 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.317-1933.230=52.087 | | σ | 0.020-0.004=0.015 | | min | 1985.284-1933.227=52.057 | | max | 1985.332-1933.238=52.095 |
| | mean | 2690.000-2757.000=-67.000 | | σ | 0.000 | | min | 2690.000-2757.000=-67.000 | | max | 2690.000-2757.000=-67.000 |
| | mean | 2.617-3.044=-0.427 | | σ | 0.079-0.348=-0.269 | | min | 2.558-2.735=-0.177 | | max | 2.733-3.593=-0.860 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.975-4756.641=52.333 | | σ | 7.796-7.438=0.358 | | min | 4805.048-4752.497=52.550 | | max | 4822.914-4769.918=52.996 |
| | mean | 2690.000-2757.000=-67.000 | | σ | 0.000 | | min | 2690.000-2757.000=-67.000 | | max | 2690.000-2757.000=-67.000 |
| | mean | 9.029-8.405=0.623 | | σ | 0.132-0.362=-0.230 | | min | 8.889-7.982=0.907 | | max | 9.234-8.919=0.315 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.494-4944.461=52.033 | | σ | 0.178-0.020=0.158 | | min | 4996.285-4944.433=51.852 | | max | 4996.640-4944.477=52.163 |
| | mean | 3058.800-3041.800=17.000 | | σ | 293.251-272.668=20.583 | | min | 2690.000-2757.000=-67.000 | | max | 3333.000-3422.000=-89.000 |
| | mean | 8.914-8.483=0.431 | | σ | 0.415-0.112=0.303 | | min | 8.568-8.366=0.202 | | max | 9.554-8.624=0.931 |
|