iters=5 new-facts=1 prior-facts=1 | | mean | 271.951-271.951=0.000 | | σ | 0.008-0.008=-0.000 | | min | 271.943-271.938=0.006 | | max | 271.963-271.956=0.006 |
| | mean | 2617.000-2457.000=160.000 | | σ | 0.000 | | min | 2617.000-2457.000=160.000 | | max | 2617.000-2457.000=160.000 |
| | mean | 0.377-0.376=0.001 | | σ | 0.000-0.001=-0.000 | | min | 0.376-0.375=0.001 | | max | 0.377-0.377=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.355-1932.365=-0.011 | | σ | 0.018-0.010=0.008 | | min | 1932.332-1932.353=-0.021 | | max | 1932.377-1932.378=-0.001 |
| | mean | 2617.000-2457.000=160.000 | | σ | 0.000 | | min | 2617.000-2457.000=160.000 | | max | 2617.000-2457.000=160.000 |
| | mean | 3.001-2.943=0.058 | | σ | 0.148-0.261=-0.113 | | min | 2.754-2.636=0.119 | | max | 3.137-3.339=-0.202 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.084-4756.101=-0.017 | | σ | 7.631-7.585=0.046 | | min | 4752.627-4752.639=-0.012 | | max | 4769.735-4769.670=0.065 |
| | mean | 2617.000-2457.000=160.000 | | σ | 0.000 | | min | 2617.000-2457.000=160.000 | | max | 2617.000-2457.000=160.000 |
| | mean | 8.810-8.666=0.144 | | σ | 0.218-0.317=-0.099 | | min | 8.470-8.342=0.129 | | max | 9.075-9.051=0.023 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.591-4943.521=0.069 | | σ | 0.015-0.152=-0.137 | | min | 4943.574-4943.251=0.324 | | max | 4943.606-4943.606=-0.000 |
| | mean | 2945.600-2989.000=-43.400 | | σ | 347.484-283.036=64.448 | | min | 2617.000-2598.000=19.000 | | max | 3443.000-3326.000=117.000 |
| | mean | 8.369-8.530=-0.161 | | σ | 0.041-0.139=-0.098 | | min | 8.306-8.407=-0.101 | | max | 8.408-8.745=-0.337 |
|