iters=5 new-facts=1 prior-facts=1 | | mean | 271.924-271.949=-0.025 | | σ | 0.006-0.003=0.003 | | min | 271.917-271.943=-0.026 | | max | 271.932-271.952=-0.021 |
| | mean | 2468.000-2772.000=-304.000 | | σ | 0.000 | | min | 2468.000-2772.000=-304.000 | | max | 2468.000-2772.000=-304.000 |
| | mean | 0.381-0.379=0.003 | | σ | 0.006-0.001=0.005 | | min | 0.377-0.378=-0.001 | | max | 0.392-0.380=0.012 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.319-1932.321=-0.002 | | σ | 0.014-0.007=0.007 | | min | 1932.295-1932.310=-0.015 | | max | 1932.329-1932.327=0.002 |
| | mean | 2468.000-2772.000=-304.000 | | σ | 0.000 | | min | 2468.000-2772.000=-304.000 | | max | 2468.000-2772.000=-304.000 |
| | mean | 3.005-3.112=-0.107 | | σ | 0.101-0.131=-0.030 | | min | 2.890-3.008=-0.118 | | max | 3.154-3.260=-0.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.071-4752.975=0.096 | | σ | 0.976-0.995=-0.018 | | min | 4752.574-4752.049=0.526 | | max | 4754.814-4754.669=0.146 |
| | mean | 2468.000-2772.000=-304.000 | | σ | 0.000 | | min | 2468.000-2772.000=-304.000 | | max | 2468.000-2772.000=-304.000 |
| | mean | 8.797-8.367=0.430 | | σ | 0.641-0.593=0.048 | | min | 7.874-7.640=0.234 | | max | 9.573-8.994=0.578 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.559-4943.560=-0.001 | | σ | 0.019-0.014=0.005 | | min | 4943.535-4943.545=-0.010 | | max | 4943.576-4943.576=-0.000 |
| | mean | 2953.800-3037.400=-83.600 | | σ | 277.993-308.841=-30.848 | | min | 2581.000-2772.000=-191.000 | | max | 3314.000-3493.000=-179.000 |
| | mean | 8.469-8.489=-0.020 | | σ | 0.071-0.152=-0.081 | | min | 8.394-8.346=0.048 | | max | 8.555-8.671=-0.115 |
|