iters=5 new-facts=1 prior-facts=1 | | mean | 275.758-275.755=0.003 | | σ | 0.011-0.011=-0.000 | | min | 275.744-275.741=0.004 | | max | 275.772-275.767=0.005 |
| | mean | 2619.000-2689.000=-70.000 | | σ | 0.000 | | min | 2619.000-2689.000=-70.000 | | max | 2619.000-2689.000=-70.000 |
| | mean | 0.404-0.405=-0.001 | | σ | 0.012-0.009=0.003 | | min | 0.395-0.398=-0.003 | | max | 0.419-0.418=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.271-2168.286=-0.015 | | σ | 0.019-0.006=0.014 | | min | 2168.248-2168.277=-0.029 | | max | 2168.290-2168.291=-0.001 |
| | mean | 2619.000-2689.000=-70.000 | | σ | 0.000 | | min | 2619.000-2689.000=-70.000 | | max | 2619.000-2689.000=-70.000 |
| | mean | 2.924-2.975=-0.051 | | σ | 0.121-0.217=-0.095 | | min | 2.780-2.682=0.098 | | max | 3.087-3.258=-0.171 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.123-5048.149=-0.026 | | σ | 0.909-0.916=-0.006 | | min | 5047.544-5047.544=0.001 | | max | 5049.740-5049.774=-0.034 |
| | mean | 2619.000-2689.000=-70.000 | | σ | 0.000 | | min | 2619.000-2689.000=-70.000 | | max | 2619.000-2689.000=-70.000 |
| | mean | 8.733-8.761=-0.027 | | σ | 0.564-0.539=0.025 | | min | 8.052-8.061=-0.009 | | max | 9.345-9.301=0.044 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.172-5179.229=-0.057 | | σ | 0.210-0.076=0.133 | | min | 5178.816-5179.143=-0.327 | | max | 5179.341-5179.310=0.031 |
| | mean | 3265.800-3227.400=38.400 | | σ | 375.143-389.684=-14.541 | | min | 2734.000-2702.000=32.000 | | max | 3717.000-3736.000=-19.000 |
| | mean | 9.998-9.771=0.227 | | σ | 0.206-0.657=-0.451 | | min | 9.663-8.728=0.934 | | max | 10.176-10.438=-0.262 |
|