iters=5 new-facts=1 prior-facts=1 | | mean | 271.625-271.620=0.004 | | σ | 0.007-0.008=-0.001 | | min | 271.617-271.609=0.007 | | max | 271.635-271.631=0.004 |
| | mean | 2836.000-2435.000=401.000 | | σ | 0.000 | | min | 2836.000-2435.000=401.000 | | max | 2836.000-2435.000=401.000 |
| | mean | 0.384-0.389=-0.005 | | σ | 0.009-0.011=-0.001 | | min | 0.379-0.381=-0.002 | | max | 0.400-0.407=-0.006 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.044-1932.046=-0.002 | | σ | 0.016-0.008=0.008 | | min | 1932.030-1932.033=-0.003 | | max | 1932.071-1932.055=0.016 |
| | mean | 2836.000-2435.000=401.000 | | σ | 0.000 | | min | 2836.000-2435.000=401.000 | | max | 2836.000-2435.000=401.000 |
| | mean | 2.943-3.041=-0.097 | | σ | 0.278-0.125=0.153 | | min | 2.465-2.918=-0.453 | | max | 3.161-3.195=-0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.833-4752.791=0.042 | | σ | 0.793-0.837=-0.044 | | min | 4752.434-4752.307=0.127 | | max | 4754.249-4754.281=-0.032 |
| | mean | 2836.000-2435.000=401.000 | | σ | 0.000 | | min | 2836.000-2435.000=401.000 | | max | 2836.000-2435.000=401.000 |
| | mean | 8.016-8.493=-0.478 | | σ | 0.406-0.406=-0.000 | | min | 7.655-7.823=-0.168 | | max | 8.453-8.917=-0.463 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.231-4943.230=0.001 | | σ | 0.008-0.032=-0.024 | | min | 4943.220-4943.195=0.026 | | max | 4943.239-4943.271=-0.031 |
| | mean | 3069.000-3026.400=42.600 | | σ | 304.982-315.184=-10.202 | | min | 2836.000-2606.000=230.000 | | max | 3538.000-3431.000=107.000 |
| | mean | 8.409-8.691=-0.282 | | σ | 0.101-0.287=-0.186 | | min | 8.338-8.414=-0.076 | | max | 8.574-9.139=-0.565 |
|