iters=5 new-facts=1 prior-facts=1 | | mean | 272.096-272.097=-0.002 | | σ | 0.004-0.008=-0.004 | | min | 272.092-272.089=0.003 | | max | 272.101-272.107=-0.005 |
| | mean | 2767.000-2825.000=-58.000 | | σ | 0.000 | | min | 2767.000-2825.000=-58.000 | | max | 2767.000-2825.000=-58.000 |
| | mean | 0.392-0.392=0.000 | | σ | 0.009-0.010=-0.001 | | min | 0.382-0.380=0.002 | | max | 0.399-0.402=-0.003 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.525-1932.526=-0.001 | | σ | 0.008-0.009=-0.001 | | min | 1932.519-1932.514=0.004 | | max | 1932.538-1932.536=0.002 |
| | mean | 2767.000-2825.000=-58.000 | | σ | 0.000 | | min | 2767.000-2825.000=-58.000 | | max | 2767.000-2825.000=-58.000 |
| | mean | 2.832-2.969=-0.137 | | σ | 0.238-0.169=0.068 | | min | 2.474-2.727=-0.253 | | max | 3.082-3.149=-0.067 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.299-4753.310=-0.011 | | σ | 0.867-0.808=0.058 | | min | 4752.780-4752.907=-0.126 | | max | 4754.840-4754.756=0.085 |
| | mean | 2767.000-2825.000=-58.000 | | σ | 0.000 | | min | 2767.000-2825.000=-58.000 | | max | 2767.000-2825.000=-58.000 |
| | mean | 8.292-8.061=0.231 | | σ | 0.520-0.300=0.220 | | min | 7.600-7.752=-0.152 | | max | 8.948-8.459=0.488 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.648-4943.712=-0.064 | | σ | 0.163-0.019=0.144 | | min | 4943.358-4943.690=-0.332 | | max | 4943.740-4943.740=0.001 |
| | mean | 3053.600-3052.200=1.400 | | σ | 231.970-272.776=-40.805 | | min | 2767.000-2825.000=-58.000 | | max | 3375.000-3451.000=-76.000 |
| | mean | 8.596-8.498=0.098 | | σ | 0.155-0.152=0.004 | | min | 8.434-8.343=0.091 | | max | 8.842-8.742=0.100 |
|