iters=5 new-facts=1 prior-facts=1 | | mean | 303.801-303.792=0.009 | | σ | 0.034-0.044=-0.010 | | min | 303.762-303.728=0.033 | | max | 303.842-303.845=-0.003 |
| | mean | 1633.000-1520.000=113.000 | | σ | 0.000 | | min | 1633.000-1520.000=113.000 | | max | 1633.000-1520.000=113.000 |
| | mean | 0.390-0.391=-0.001 | | σ | 0.002-0.001=0.001 | | min | 0.389-0.389=-0.001 | | max | 0.393-0.393=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1326.326-1326.327=-0.001 | | σ | 0.098-0.113=-0.015 | | min | 1326.191-1326.183=0.008 | | max | 1326.442-1326.464=-0.022 |
| | mean | 1633.000-1520.000=113.000 | | σ | 0.000 | | min | 1633.000-1520.000=113.000 | | max | 1633.000-1520.000=113.000 |
| | mean | 2.037-1.935=0.102 | | σ | 0.159-0.108=0.051 | | min | 1.878-1.823=0.056 | | max | 2.264-2.040=0.224 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 1564.413-1564.413=0.000 | | σ | 6.921-6.863=0.058 | | min | 1561.088-1561.133=-0.045 | | max | 1576.788-1576.685=0.103 |
| | mean | 1633.000-1520.000=113.000 | | σ | 0.000 | | min | 1633.000-1520.000=113.000 | | max | 1633.000-1520.000=113.000 |
| | mean | 2.420-2.318=0.102 | | σ | 0.284-0.192=0.093 | | min | 2.161-2.032=0.128 | | max | 2.887-2.474=0.413 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 1894.289-1894.283=0.006 | | σ | 0.090-0.071=0.019 | | min | 1894.132-1894.160=-0.028 | | max | 1894.356-1894.338=0.018 |
| | mean | 1780.000-1773.600=6.400 | | σ | 114.164-221.330=-107.165 | | min | 1633.000-1520.000=113.000 | | max | 1949.000-2062.000=-113.000 |
| | mean | 2.958-3.048=-0.090 | | σ | 0.161-0.137=0.024 | | min | 2.819-2.862=-0.043 | | max | 3.216-3.199=0.017 |
|