iters=5 new-facts=1 prior-facts=1 | | mean | 297.310-297.318=-0.007 | | σ | 0.012-0.004=0.008 | | min | 297.290-297.312=-0.022 | | max | 297.323-297.323=0.000 |
| | mean | 1514.000-1513.000=1.000 | | σ | 0.000 | | min | 1514.000-1513.000=1.000 | | max | 1514.000-1513.000=1.000 |
| | mean | 0.388-0.386=0.002 | | σ | 0.002-0.002=-0.000 | | min | 0.386-0.384=0.003 | | max | 0.390-0.389=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1299.014-1298.999=0.015 | | σ | 0.099-0.094=0.005 | | min | 1298.837-1298.842=-0.005 | | max | 1299.069-1299.084=-0.014 |
| | mean | 1514.000-1513.000=1.000 | | σ | 0.000 | | min | 1514.000-1513.000=1.000 | | max | 1514.000-1513.000=1.000 |
| | mean | 1.995-2.029=-0.035 | | σ | 0.258-0.262=-0.004 | | min | 1.830-1.842=-0.012 | | max | 2.452-2.488=-0.036 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1719.187-1719.186=0.000 | | σ | 6.891-6.929=-0.037 | | min | 1715.999-1715.999=0.000 | | max | 1731.510-1731.578=-0.067 |
| | mean | 1514.000-1513.000=1.000 | | σ | 0.000 | | min | 1514.000-1513.000=1.000 | | max | 1514.000-1513.000=1.000 |
| | mean | 3.030-2.963=0.067 | | σ | 0.220-0.463=-0.242 | | min | 2.745-2.520=0.226 | | max | 3.306-3.749=-0.443 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1981.931-1981.946=-0.015 | | σ | 0.039-0.005=0.034 | | min | 1981.867-1981.940=-0.073 | | max | 1981.972-1981.952=0.020 |
| | mean | 1793.200-1780.000=13.200 | | σ | 229.819-200.407=29.412 | | min | 1534.000-1513.000=21.000 | | max | 2117.000-1963.000=154.000 |
| | mean | 3.305-3.138=0.168 | | σ | 0.377-0.112=0.266 | | min | 3.010-2.958=0.051 | | max | 3.958-3.251=0.707 |
|