iters=5 new-facts=1 prior-facts=1 | | mean | 303.789-303.776=0.012 | | σ | 0.055-0.077=-0.021 | | min | 303.709-303.651=0.058 | | max | 303.850-303.852=-0.002 |
| | mean | 1635.000-1636.000=-1.000 | | σ | 0.000 | | min | 1635.000-1636.000=-1.000 | | max | 1635.000-1636.000=-1.000 |
| | mean | 0.394-0.395=-0.001 | | σ | 0.007-0.007=0.000 | | min | 0.390-0.391=-0.001 | | max | 0.407-0.408=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.341-1326.341=0.000 | | σ | 0.119-0.116=0.003 | | min | 1326.196-1326.198=-0.002 | | max | 1326.475-1326.469=0.006 |
| | mean | 1635.000-1636.000=-1.000 | | σ | 0.000 | | min | 1635.000-1636.000=-1.000 | | max | 1635.000-1636.000=-1.000 |
| | mean | 1.920-1.914=0.006 | | σ | 0.101-0.097=0.004 | | min | 1.848-1.841=0.007 | | max | 2.085-2.077=0.008 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.381-1564.392=-0.011 | | σ | 6.923-6.927=-0.005 | | min | 1561.071-1561.108=-0.037 | | max | 1576.759-1576.779=-0.020 |
| | mean | 1635.000-1636.000=-1.000 | | σ | 0.000 | | min | 1635.000-1636.000=-1.000 | | max | 1635.000-1636.000=-1.000 |
| | mean | 2.328-2.331=-0.003 | | σ | 0.315-0.331=-0.017 | | min | 2.048-2.054=-0.006 | | max | 2.791-2.759=0.032 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.278-1894.267=0.011 | | σ | 0.064-0.067=-0.003 | | min | 1894.166-1894.164=0.001 | | max | 1894.318-1894.322=-0.003 |
| | mean | 1772.200-1773.000=-0.800 | | σ | 169.537-168.962=0.575 | | min | 1635.000-1636.000=-1.000 | | max | 2035.000 |
| | mean | 2.927-2.889=0.039 | | σ | 0.123-0.172=-0.049 | | min | 2.849-2.655=0.194 | | max | 3.144-3.139=0.004 |
|