iters=5 new-facts=1 prior-facts=1 | | mean | 272.017-272.017=-0.000 | | σ | 0.011-0.007=0.003 | | min | 272.002-272.010=-0.008 | | max | 272.031-272.027=0.005 |
| | mean | 2425.000-2849.000=-424.000 | | σ | 0.000 | | min | 2425.000-2849.000=-424.000 | | max | 2425.000-2849.000=-424.000 |
| | mean | 0.399-0.389=0.011 | | σ | 0.017-0.011=0.007 | | min | 0.378-0.377=0.001 | | max | 0.418-0.403=0.015 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.435-1932.435=0.001 | | σ | 0.005-0.006=-0.001 | | min | 1932.429-1932.426=0.003 | | max | 1932.440-1932.441=-0.001 |
| | mean | 2425.000-2849.000=-424.000 | | σ | 0.000 | | min | 2425.000-2849.000=-424.000 | | max | 2425.000-2849.000=-424.000 |
| | mean | 2.908-3.023=-0.116 | | σ | 0.125-0.112=0.013 | | min | 2.767-2.907=-0.140 | | max | 3.038-3.206=-0.167 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.930-4753.174=-0.244 | | σ | 0.360-0.835=-0.475 | | min | 4752.678-4752.725=-0.047 | | max | 4753.559-4754.661=-1.102 |
| | mean | 2425.000-2849.000=-424.000 | | σ | 0.000 | | min | 2425.000-2849.000=-424.000 | | max | 2425.000-2849.000=-424.000 |
| | mean | 8.641-8.451=0.189 | | σ | 0.272-0.439=-0.167 | | min | 8.294-7.866=0.427 | | max | 8.988-8.938=0.050 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.633-4943.626=0.006 | | σ | 0.015-0.022=-0.007 | | min | 4943.619-4943.614=0.006 | | max | 4943.652-4943.665=-0.013 |
| | mean | 2996.000-3050.800=-54.800 | | σ | 264.791-210.010=54.781 | | min | 2632.000-2849.000=-217.000 | | max | 3299.000-3350.000=-51.000 |
| | mean | 8.457-8.576=-0.120 | | σ | 0.231-0.201=0.030 | | min | 8.157-8.407=-0.250 | | max | 8.764-8.919=-0.156 |
|