iters=5 new-facts=1 prior-facts=1 | | mean | 277.716-277.725=-0.009 | | σ | 0.007-0.023=-0.016 | | min | 277.709-277.703=0.006 | | max | 277.726-277.764=-0.038 |
| | mean | 2653.000-2742.000=-89.000 | | σ | 0.000 | | min | 2653.000-2742.000=-89.000 | | max | 2653.000-2742.000=-89.000 |
| | mean | 0.409-0.411=-0.001 | | σ | 0.001-0.001=-0.000 | | min | 0.408-0.409=-0.002 | | max | 0.411-0.413=-0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2267.880-2267.876=0.004 | | σ | 0.022-0.017=0.005 | | min | 2267.842-2267.847=-0.005 | | max | 2267.894-2267.889=0.005 |
| | mean | 2653.000-2742.000=-89.000 | | σ | 0.000 | | min | 2653.000-2742.000=-89.000 | | max | 2653.000-2742.000=-89.000 |
| | mean | 3.109-3.151=-0.042 | | σ | 0.138-0.128=0.010 | | min | 2.910-2.944=-0.034 | | max | 3.252-3.270=-0.018 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4955.046-4954.942=0.104 | | σ | 0.769-0.817=-0.049 | | min | 4954.571-4954.164=0.406 | | max | 4956.409-4956.326=0.083 |
| | mean | 2653.000-2742.000=-89.000 | | σ | 0.000 | | min | 2653.000-2742.000=-89.000 | | max | 2653.000-2742.000=-89.000 |
| | mean | 7.871-7.768=0.103 | | σ | 0.103-0.199=-0.096 | | min | 7.752-7.548=0.204 | | max | 8.019-8.053=-0.033 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.759-5169.682=0.077 | | σ | 0.089-0.136=-0.047 | | min | 5169.691-5169.473=0.218 | | max | 5169.860-5169.855=0.005 |
| | mean | 3357.400-3372.600=-15.200 | | σ | 417.110-406.252=10.858 | | min | 2955.000-2973.000=-18.000 | | max | 3787.000-3785.000=2.000 |
| | mean | 9.396-9.223=0.173 | | σ | 0.188-0.460=-0.273 | | min | 9.203-8.437=0.765 | | max | 9.710-9.624=0.086 |
|