iters=5 new-facts=1 prior-facts=1 | | mean | 273.397-273.401=-0.004 | | σ | 0.018-0.012=0.006 | | min | 273.367-273.388=-0.021 | | max | 273.412-273.415=-0.002 |
| | mean | 2505.000-2513.000=-8.000 | | σ | 0.000 | | min | 2505.000-2513.000=-8.000 | | max | 2505.000-2513.000=-8.000 |
| | mean | 0.384-0.385=-0.001 | | σ | 0.009-0.009=-0.000 | | min | 0.377-0.377=-0.000 | | max | 0.394-0.395=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.834-1933.835=-0.000 | | σ | 0.004-0.009=-0.005 | | min | 1933.831-1933.824=0.007 | | max | 1933.841-1933.845=-0.004 |
| | mean | 2505.000-2513.000=-8.000 | | σ | 0.000 | | min | 2505.000-2513.000=-8.000 | | max | 2505.000-2513.000=-8.000 |
| | mean | 3.030-3.061=-0.032 | | σ | 0.109-0.091=0.019 | | min | 2.876-2.986=-0.110 | | max | 3.165-3.197=-0.032 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.292-4754.350=-0.058 | | σ | 0.879-0.868=0.011 | | min | 4753.614-4753.732=-0.118 | | max | 4755.835-4755.882=-0.047 |
| | mean | 2505.000-2513.000=-8.000 | | σ | 0.000 | | min | 2505.000-2513.000=-8.000 | | max | 2505.000-2513.000=-8.000 |
| | mean | 8.069-8.598=-0.529 | | σ | 0.382-0.438=-0.057 | | min | 7.740-8.103=-0.363 | | max | 8.707-9.183=-0.475 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.727-4944.791=-0.064 | | σ | 0.199-0.089=0.110 | | min | 4944.391-4944.710=-0.318 | | max | 4944.876-4944.888=-0.012 |
| | mean | 2962.200-2996.800=-34.600 | | σ | 412.198-281.468=130.730 | | min | 2505.000-2604.000=-99.000 | | max | 3523.000-3359.000=164.000 |
| | mean | 8.625-8.554=0.070 | | σ | 0.461-0.175=0.286 | | min | 8.393-8.410=-0.017 | | max | 9.449-8.816=0.633 |
|