iters=5 new-facts=1 prior-facts=1 | | mean | 273.397-275.755=-2.358 | | σ | 0.007-0.011=-0.004 | | min | 273.389-275.741=-2.351 | | max | 273.403-275.767=-2.364 |
| | mean | 2848.000-2689.000=159.000 | | σ | 0.000 | | min | 2848.000-2689.000=159.000 | | max | 2848.000-2689.000=159.000 |
| | mean | 0.392-0.405=-0.013 | | σ | 0.009-0.009=0.000 | | min | 0.377-0.398=-0.021 | | max | 0.402-0.418=-0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.834-2168.286=-234.452 | | σ | 0.006-0.006=0.000 | | min | 1933.829-2168.277=-234.448 | | max | 1933.844-2168.291=-234.448 |
| | mean | 2848.000-2689.000=159.000 | | σ | 0.000 | | min | 2848.000-2689.000=159.000 | | max | 2848.000-2689.000=159.000 |
| | mean | 3.120-2.975=0.145 | | σ | 0.182-0.217=-0.035 | | min | 2.961-2.682=0.280 | | max | 3.395-3.258=0.137 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.158-5048.149=-293.991 | | σ | 0.958-0.916=0.042 | | min | 4753.459-5047.544=-294.084 | | max | 4755.806-5049.774=-293.968 |
| | mean | 2848.000-2689.000=159.000 | | σ | 0.000 | | min | 2848.000-2689.000=159.000 | | max | 2848.000-2689.000=159.000 |
| | mean | 8.186-8.761=-0.574 | | σ | 0.572-0.539=0.033 | | min | 7.633-8.061=-0.427 | | max | 8.997-9.301=-0.304 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.809-5179.229=-234.421 | | σ | 0.083-0.076=0.007 | | min | 4944.732-5179.143=-234.411 | | max | 4944.908-5179.310=-234.402 |
| | mean | 3099.400-3227.400=-128.000 | | σ | 312.810-389.684=-76.874 | | min | 2848.000-2702.000=146.000 | | max | 3586.000-3736.000=-150.000 |
| | mean | 8.784-9.771=-0.987 | | σ | 0.360-0.657=-0.298 | | min | 8.572-8.728=-0.156 | | max | 9.412-10.438=-1.026 |
|