iters=5 new-facts=1 prior-facts=1 | | mean | 273.506-273.505=0.000 | | σ | 0.007-0.004=0.003 | | min | 273.498-273.499=-0.001 | | max | 273.513-273.509=0.004 |
| | mean | 2839.000-2606.000=233.000 | | σ | 0.000 | | min | 2839.000-2606.000=233.000 | | max | 2839.000-2606.000=233.000 |
| | mean | 0.382-0.385=-0.003 | | σ | 0.005-0.004=0.001 | | min | 0.379-0.382=-0.004 | | max | 0.391-0.392=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.886-1933.905=-0.019 | | σ | 0.013-0.011=0.002 | | min | 1933.869-1933.893=-0.024 | | max | 1933.900-1933.923=-0.023 |
| | mean | 2839.000-2606.000=233.000 | | σ | 0.000 | | min | 2839.000-2606.000=233.000 | | max | 2839.000-2606.000=233.000 |
| | mean | 2.953-3.001=-0.048 | | σ | 0.144-0.333=-0.189 | | min | 2.735-2.456=0.279 | | max | 3.089-3.311=-0.222 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.665-4754.504=0.161 | | σ | 0.907-1.064=-0.158 | | min | 4754.158-4753.273=0.884 | | max | 4756.278-4756.211=0.066 |
| | mean | 2839.000-2606.000=233.000 | | σ | 0.000 | | min | 2839.000-2606.000=233.000 | | max | 2839.000-2606.000=233.000 |
| | mean | 8.597-8.004=0.593 | | σ | 0.390-0.484=-0.094 | | min | 8.244-7.751=0.493 | | max | 9.141-8.868=0.273 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.044-4945.047=-0.003 | | σ | 0.147-0.165=-0.018 | | min | 4944.781-4944.754=0.027 | | max | 4945.113-4945.150=-0.037 |
| | mean | 3054.000-2962.000=92.000 | | σ | 211.039-362.278=-151.239 | | min | 2839.000-2606.000=233.000 | | max | 3324.000-3437.000=-113.000 |
| | mean | 8.615-8.565=0.050 | | σ | 0.153-0.277=-0.124 | | min | 8.468-8.365=0.104 | | max | 8.838-9.019=-0.182 |
|