iters=5 new-facts=1 prior-facts=1 | | mean | 273.606-273.506=0.100 | | σ | 0.007-0.006=0.001 | | min | 273.594-273.501=0.092 | | max | 273.614-273.517=0.097 |
| | mean | 2645.000-2858.000=-213.000 | | σ | 0.000 | | min | 2645.000-2858.000=-213.000 | | max | 2645.000-2858.000=-213.000 |
| | mean | 0.383-0.384=-0.000 | | σ | 0.007-0.004=0.002 | | min | 0.379-0.381=-0.002 | | max | 0.395-0.391=0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.008-1933.891=0.117 | | σ | 0.007-0.010=-0.003 | | min | 1934.000-1933.876=0.124 | | max | 1934.015-1933.903=0.113 |
| | mean | 2645.000-2858.000=-213.000 | | σ | 0.000 | | min | 2645.000-2858.000=-213.000 | | max | 2645.000-2858.000=-213.000 |
| | mean | 3.028-2.929=0.099 | | σ | 0.138-0.088=0.050 | | min | 2.921-2.877=0.044 | | max | 3.270-3.085=0.185 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.652-4754.521=0.130 | | σ | 0.933-0.649=0.284 | | min | 4753.738-4754.142=-0.404 | | max | 4756.228-4755.675=0.552 |
| | mean | 2645.000-2858.000=-213.000 | | σ | 0.000 | | min | 2645.000-2858.000=-213.000 | | max | 2645.000-2858.000=-213.000 |
| | mean | 8.440-8.779=-0.339 | | σ | 0.520-0.262=0.258 | | min | 7.617-8.451=-0.834 | | max | 8.894-9.079=-0.185 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.225-4945.119=0.106 | | σ | 0.017-0.017=-0.000 | | min | 4945.207-4945.102=0.106 | | max | 4945.243-4945.139=0.104 |
| | mean | 3008.200-3022.600=-14.400 | | σ | 285.187-187.324=97.863 | | min | 2645.000-2858.000=-213.000 | | max | 3374.000-3315.000=59.000 |
| | mean | 8.600-8.527=0.073 | | σ | 0.238-0.110=0.128 | | min | 8.389-8.433=-0.044 | | max | 8.979-8.685=0.295 |
|