iters=5 new-facts=1 prior-facts=1 | | mean | 272.016-272.018=-0.002 | | σ | 0.006-0.008=-0.002 | | min | 272.009-272.009=0.001 | | max | 272.023-272.029=-0.007 |
| | mean | 2856.000-2852.000=4.000 | | σ | 0.000 | | min | 2856.000-2852.000=4.000 | | max | 2856.000-2852.000=4.000 |
| | mean | 0.393-0.390=0.003 | | σ | 0.010-0.012=-0.002 | | min | 0.376-0.376=-0.000 | | max | 0.402-0.406=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.436-1932.436=0.001 | | σ | 0.008-0.006=0.002 | | min | 1932.421-1932.429=-0.007 | | max | 1932.441-1932.444=-0.002 |
| | mean | 2856.000-2852.000=4.000 | | σ | 0.000 | | min | 2856.000-2852.000=4.000 | | max | 2856.000-2852.000=4.000 |
| | mean | 2.957-3.077=-0.120 | | σ | 0.071-0.177=-0.105 | | min | 2.896-2.951=-0.055 | | max | 3.078-3.369=-0.291 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.054-4753.167=-0.114 | | σ | 0.916-0.865=0.051 | | min | 4752.306-4752.691=-0.385 | | max | 4754.643-4754.708=-0.065 |
| | mean | 2856.000-2852.000=4.000 | | σ | 0.000 | | min | 2856.000-2852.000=4.000 | | max | 2856.000-2852.000=4.000 |
| | mean | 8.396-8.522=-0.125 | | σ | 0.668-0.465=0.203 | | min | 7.748-7.859=-0.111 | | max | 9.305-8.949=0.355 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.629-4943.623=0.006 | | σ | 0.022-0.024=-0.002 | | min | 4943.604-4943.590=0.014 | | max | 4943.654-4943.656=-0.002 |
| | mean | 3057.800-3083.600=-25.800 | | σ | 198.944-238.367=-39.423 | | min | 2856.000-2852.000=4.000 | | max | 3315.000-3428.000=-113.000 |
| | mean | 8.641-8.588=0.054 | | σ | 0.199-0.187=0.012 | | min | 8.380-8.368=0.012 | | max | 8.824-8.850=-0.025 |
|