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