iters=5 new-facts=1 prior-facts=1 | | mean | 272.754-272.755=-0.001 | | σ | 0.007-0.005=0.002 | | min | 272.746-272.749=-0.003 | | max | 272.765-272.763=0.002 |
| | mean | 2490.000-2505.000=-15.000 | | σ | 0.000 | | min | 2490.000-2505.000=-15.000 | | max | 2490.000-2505.000=-15.000 |
| | mean | 0.384-0.382=0.002 | | σ | 0.009-0.007=0.002 | | min | 0.377-0.377=-0.001 | | max | 0.395-0.394=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.163-1933.167=-0.004 | | σ | 0.017-0.007=0.010 | | min | 1933.141-1933.156=-0.015 | | max | 1933.180-1933.175=0.006 |
| | mean | 2490.000-2505.000=-15.000 | | σ | 0.000 | | min | 2490.000-2505.000=-15.000 | | max | 2490.000-2505.000=-15.000 |
| | mean | 3.046-2.962=0.084 | | σ | 0.411-0.057=0.354 | | min | 2.452-2.890=-0.437 | | max | 3.612-3.041=0.571 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.925-4756.938=-0.013 | | σ | 7.527-7.559=-0.033 | | min | 4753.455-4753.416=0.040 | | max | 4770.389-4770.460=-0.071 |
| | mean | 2490.000-2505.000=-15.000 | | σ | 0.000 | | min | 2490.000-2505.000=-15.000 | | max | 2490.000-2505.000=-15.000 |
| | mean | 8.524-8.541=-0.017 | | σ | 0.263-0.297=-0.034 | | min | 8.219-8.290=-0.071 | | max | 8.895-9.033=-0.138 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.248-4944.386=-0.138 | | σ | 0.324-0.020=0.304 | | min | 4943.670-4944.363=-0.694 | | max | 4944.416-4944.415=0.001 |
| | mean | 2907.200-2918.000=-10.800 | | σ | 364.363-364.704=-0.341 | | min | 2490.000-2505.000=-15.000 | | max | 3404.000-3413.000=-9.000 |
| | mean | 8.435-8.459=-0.024 | | σ | 0.119-0.158=-0.040 | | min | 8.285-8.315=-0.030 | | max | 8.616-8.647=-0.031 |
|