iters=5 new-facts=1 prior-facts=1 | | mean | 271.599-271.597=0.002 | | σ | 0.005-0.005=0.001 | | min | 271.592-271.591=0.001 | | max | 271.605-271.604=0.001 |
| | mean | 2476.000-2469.000=7.000 | | σ | 0.000 | | min | 2476.000-2469.000=7.000 | | max | 2476.000-2469.000=7.000 |
| | mean | 0.386-0.384=0.001 | | σ | 0.008-0.004=0.004 | | min | 0.380-0.381=-0.001 | | max | 0.398-0.390=0.008 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.989-1931.990=-0.001 | | σ | 0.018-0.010=0.008 | | min | 1931.968-1931.980=-0.012 | | max | 1932.006-1932.006=0.000 |
| | mean | 2476.000-2469.000=7.000 | | σ | 0.000 | | min | 2476.000-2469.000=7.000 | | max | 2476.000-2469.000=7.000 |
| | mean | 2.617-2.526=0.091 | | σ | 0.277-0.079=0.199 | | min | 2.456-2.430=0.026 | | max | 3.112-2.650=0.462 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.649-4752.538=0.111 | | σ | 0.639-0.779=-0.140 | | min | 4752.214-4751.659=0.555 | | max | 4753.769-4753.787=-0.017 |
| | mean | 2476.000-2469.000=7.000 | | σ | 0.000 | | min | 2476.000-2469.000=7.000 | | max | 2476.000-2469.000=7.000 |
| | mean | 8.366-8.283=0.083 | | σ | 0.570-0.638=-0.068 | | min | 7.608-7.746=-0.138 | | max | 8.951-8.982=-0.031 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.200-4943.212=-0.012 | | σ | 0.020-0.024=-0.005 | | min | 4943.175-4943.184=-0.009 | | max | 4943.222-4943.243=-0.021 |
| | mean | 2966.600-2933.600=33.000 | | σ | 267.716-376.943=-109.227 | | min | 2621.000-2469.000=152.000 | | max | 3320.000-3437.000=-117.000 |
| | mean | 8.538-8.482=0.056 | | σ | 0.100-0.147=-0.047 | | min | 8.461-8.327=0.134 | | max | 8.705-8.678=0.027 |
|