iters=5 new-facts=1 prior-facts=1 | | mean | 275.569-275.568=0.001 | | σ | 0.007-0.004=0.002 | | min | 275.562-275.563=-0.001 | | max | 275.577-275.575=0.002 |
| | mean | 2849.000-2754.000=95.000 | | σ | 0.000 | | min | 2849.000-2754.000=95.000 | | max | 2849.000-2754.000=95.000 |
| | mean | 0.391-0.393=-0.002 | | σ | 0.009-0.010=-0.001 | | min | 0.385-0.384=0.001 | | max | 0.405-0.405=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.092-2168.099=-0.007 | | σ | 0.013-0.010=0.003 | | min | 2168.070-2168.088=-0.018 | | max | 2168.104-2168.115=-0.010 |
| | mean | 2849.000-2754.000=95.000 | | σ | 0.000 | | min | 2849.000-2754.000=95.000 | | max | 2849.000-2754.000=95.000 |
| | mean | 2.929-2.967=-0.038 | | σ | 0.123-0.145=-0.022 | | min | 2.775-2.775=0.000 | | max | 3.093-3.096=-0.004 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.801-5047.945=-0.145 | | σ | 0.999-0.878=0.122 | | min | 5047.033-5047.442=-0.410 | | max | 5049.550-5049.508=0.043 |
| | mean | 2849.000-2754.000=95.000 | | σ | 0.000 | | min | 2849.000-2754.000=95.000 | | max | 2849.000-2754.000=95.000 |
| | mean | 8.794-9.169=-0.376 | | σ | 0.593-0.619=-0.026 | | min | 8.018-8.436=-0.418 | | max | 9.402-10.059=-0.657 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.044-5179.055=-0.011 | | σ | 0.082-0.094=-0.012 | | min | 5178.966-5178.973=-0.007 | | max | 5179.141-5179.159=-0.018 |
| | mean | 3253.400-3234.800=18.600 | | σ | 337.299-366.324=-29.025 | | min | 2849.000-2754.000=95.000 | | max | 3711.000-3708.000=3.000 |
| | mean | 9.952-10.037=-0.085 | | σ | 0.161-0.078=0.084 | | min | 9.687-9.969=-0.282 | | max | 10.110-10.150=-0.040 |
|