iters=5 new-facts=1 prior-facts=1 | | mean | 271.758-271.760=-0.002 | | σ | 0.005-0.008=-0.003 | | min | 271.750-271.751=-0.001 | | max | 271.764-271.768=-0.005 |
| | mean | 2893.000-2901.000=-8.000 | | σ | 0.000 | | min | 2893.000-2901.000=-8.000 | | max | 2893.000-2901.000=-8.000 |
| | mean | 0.384-0.387=-0.003 | | σ | 0.009-0.013=-0.005 | | min | 0.379-0.376=0.002 | | max | 0.399-0.408=-0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.174-1932.185=-0.011 | | σ | 0.012-0.013=-0.001 | | min | 1932.156-1932.170=-0.014 | | max | 1932.185-1932.204=-0.020 |
| | mean | 2893.000-2901.000=-8.000 | | σ | 0.000 | | min | 2893.000-2901.000=-8.000 | | max | 2893.000-2901.000=-8.000 |
| | mean | 3.014-2.929=0.085 | | σ | 0.058-0.198=-0.139 | | min | 2.952-2.599=0.353 | | max | 3.104-3.129=-0.026 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.890-4752.955=-0.064 | | σ | 0.919-0.893=0.026 | | min | 4752.430-4752.420=0.010 | | max | 4754.533-4754.543=-0.009 |
| | mean | 2893.000-2901.000=-8.000 | | σ | 0.000 | | min | 2893.000-2901.000=-8.000 | | max | 2893.000-2901.000=-8.000 |
| | mean | 8.682-8.376=0.306 | | σ | 0.247-0.408=-0.161 | | min | 8.298-7.969=0.329 | | max | 8.905-8.942=-0.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.370-4943.304=0.065 | | σ | 0.006-0.158=-0.151 | | min | 4943.360-4943.023=0.337 | | max | 4943.375-4943.394=-0.019 |
| | mean | 3033.800-3065.800=-32.000 | | σ | 168.265-175.421=-7.156 | | min | 2893.000-2901.000=-8.000 | | max | 3305.000-3323.000=-18.000 |
| | mean | 8.516-8.538=-0.022 | | σ | 0.085-0.114=-0.029 | | min | 8.428-8.399=0.029 | | max | 8.631-8.651=-0.020 |
|