iters=5 new-facts=1 prior-facts=1 | | mean | 271.755-271.751=0.004 | | σ | 0.007-0.006=0.001 | | min | 271.748-271.742=0.006 | | max | 271.765-271.757=0.008 |
| | mean | 2764.000-2663.000=101.000 | | σ | 0.000 | | min | 2764.000-2663.000=101.000 | | max | 2764.000-2663.000=101.000 |
| | mean | 0.382-0.379=0.003 | | σ | 0.006-0.007=-0.001 | | min | 0.376-0.369=0.007 | | max | 0.391-0.389=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.183-1932.172=0.012 | | σ | 0.010-0.016=-0.006 | | min | 1932.173-1932.148=0.025 | | max | 1932.198-1932.190=0.008 |
| | mean | 2764.000-2663.000=101.000 | | σ | 0.000 | | min | 2764.000-2663.000=101.000 | | max | 2764.000-2663.000=101.000 |
| | mean | 2.913-2.933=-0.020 | | σ | 0.177-0.254=-0.077 | | min | 2.604-2.489=0.115 | | max | 3.052-3.107=-0.055 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.771-4752.896=-0.125 | | σ | 0.602-1.010=-0.408 | | min | 4752.444-4752.354=0.090 | | max | 4753.845-4754.700=-0.855 |
| | mean | 2764.000-2663.000=101.000 | | σ | 0.000 | | min | 2764.000-2663.000=101.000 | | max | 2764.000-2663.000=101.000 |
| | mean | 8.588-8.929=-0.341 | | σ | 0.305-0.487=-0.182 | | min | 8.178-8.396=-0.218 | | max | 8.919-9.716=-0.797 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.377-4943.302=0.075 | | σ | 0.018-0.152=-0.134 | | min | 4943.350-4943.031=0.319 | | max | 4943.399-4943.391=0.008 |
| | mean | 3041.800-2973.600=68.200 | | σ | 233.898-244.337=-10.440 | | min | 2764.000-2663.000=101.000 | | max | 3324.000-3306.000=18.000 |
| | mean | 8.710-8.608=0.102 | | σ | 0.373-0.195=0.178 | | min | 8.425-8.456=-0.031 | | max | 9.332-8.929=0.403 |
|