iters=5 new-facts=1 prior-facts=1 | | mean | 273.397-273.404=-0.007 | | σ | 0.018-0.010=0.008 | | min | 273.367-273.395=-0.028 | | max | 273.412-273.414=-0.002 |
| | mean | 2505.000-2510.000=-5.000 | | σ | 0.000 | | min | 2505.000-2510.000=-5.000 | | max | 2505.000-2510.000=-5.000 |
| | mean | 0.384-0.387=-0.003 | | σ | 0.009-0.008=0.000 | | min | 0.377-0.378=-0.001 | | max | 0.394-0.395=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.834-1933.839=-0.004 | | σ | 0.004-0.008=-0.004 | | min | 1933.831-1933.828=0.003 | | max | 1933.841-1933.848=-0.007 |
| | mean | 2505.000-2510.000=-5.000 | | σ | 0.000 | | min | 2505.000-2510.000=-5.000 | | max | 2505.000-2510.000=-5.000 |
| | mean | 3.030-3.186=-0.156 | | σ | 0.109-0.161=-0.052 | | min | 2.876-3.028=-0.152 | | max | 3.165-3.386=-0.221 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.292-4754.222=0.069 | | σ | 0.879-0.953=-0.074 | | min | 4753.614-4753.461=0.152 | | max | 4755.835-4755.888=-0.053 |
| | mean | 2505.000-2510.000=-5.000 | | σ | 0.000 | | min | 2505.000-2510.000=-5.000 | | max | 2505.000-2510.000=-5.000 |
| | mean | 8.069-8.508=-0.440 | | σ | 0.382-0.631=-0.249 | | min | 7.740-7.637=0.104 | | max | 8.707-9.050=-0.343 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.727-4944.790=-0.063 | | σ | 0.199-0.081=0.117 | | min | 4944.391-4944.724=-0.333 | | max | 4944.876-4944.879=-0.002 |
| | mean | 2962.200-2969.000=-6.800 | | σ | 412.198-430.705=-18.507 | | min | 2505.000-2510.000=-5.000 | | max | 3523.000-3557.000=-34.000 |
| | mean | 8.625-8.456=0.168 | | σ | 0.461-0.120=0.341 | | min | 8.393-8.362=0.031 | | max | 9.449-8.664=0.785 |
|