iters=5 new-facts=1 prior-facts=1 | | mean | 285.028-285.032=-0.004 | | σ | 0.038-0.037=0.001 | | min | 284.978-284.985=-0.007 | | max | 285.064-285.078=-0.013 |
| | mean | 1519.000-1614.000=-95.000 | | σ | 0.000 | | min | 1519.000-1614.000=-95.000 | | max | 1519.000-1614.000=-95.000 |
| | mean | 0.397-0.392=0.006 | | σ | 0.011-0.005=0.006 | | min | 0.387-0.385=0.002 | | max | 0.415-0.397=0.019 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1295.411-1295.407=0.004 | | σ | 0.105-0.106=-0.001 | | min | 1295.300-1295.290=0.010 | | max | 1295.539-1295.526=0.012 |
| | mean | 1519.000-1614.000=-95.000 | | σ | 0.000 | | min | 1519.000-1614.000=-95.000 | | max | 1519.000-1614.000=-95.000 |
| | mean | 1.913-1.919=-0.005 | | σ | 0.127-0.110=0.017 | | min | 1.807-1.822=-0.016 | | max | 2.072-2.060=0.013 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1539.513-1539.529=-0.016 | | σ | 6.854-6.812=0.042 | | min | 1536.231-1536.269=-0.038 | | max | 1551.769-1551.709=0.061 |
| | mean | 1519.000-1614.000=-95.000 | | σ | 0.000 | | min | 1519.000-1614.000=-95.000 | | max | 1519.000-1614.000=-95.000 |
| | mean | 2.242-2.313=-0.071 | | σ | 0.209-0.132=0.077 | | min | 1.984-2.182=-0.198 | | max | 2.475-2.532=-0.057 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1857.313-1857.317=-0.004 | | σ | 0.069-0.067=0.001 | | min | 1857.231-1857.235=-0.004 | | max | 1857.399-1857.403=-0.003 |
| | mean | 1752.600-1775.400=-22.800 | | σ | 209.139-182.796=26.344 | | min | 1519.000-1614.000=-95.000 | | max | 2034.000-2035.000=-1.000 |
| | mean | 2.968-3.107=-0.139 | | σ | 0.278-0.270=0.008 | | min | 2.753-2.862=-0.108 | | max | 3.445-3.523=-0.078 |
|