iters=5 new-facts=1 prior-facts=1 | | mean | 272.754-271.954=0.800 | | σ | 0.004-0.005=-0.001 | | min | 272.751-271.949=0.801 | | max | 272.760-271.961=0.798 |
| | mean | 2790.000-2616.000=174.000 | | σ | 0.000 | | min | 2790.000-2616.000=174.000 | | max | 2790.000-2616.000=174.000 |
| | mean | 0.380-0.381=-0.001 | | σ | 0.005-0.005=0.000 | | min | 0.377-0.378=-0.000 | | max | 0.389-0.389=0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.166-1932.327=0.839 | | σ | 0.016-0.010=0.006 | | min | 1933.145-1932.314=0.831 | | max | 1933.189-1932.341=0.848 |
| | mean | 2790.000-2616.000=174.000 | | σ | 0.000 | | min | 2790.000-2616.000=174.000 | | max | 2790.000-2616.000=174.000 |
| | mean | 2.914-3.059=-0.145 | | σ | 0.140-0.272=-0.132 | | min | 2.731-2.656=0.074 | | max | 3.095-3.318=-0.223 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.797-4752.945=3.852 | | σ | 7.709-0.988=6.721 | | min | 4753.007-4752.162=0.845 | | max | 4770.583-4754.675=15.909 |
| | mean | 2790.000-2616.000=174.000 | | σ | 0.000 | | min | 2790.000-2616.000=174.000 | | max | 2790.000-2616.000=174.000 |
| | mean | 8.667-8.601=0.067 | | σ | 0.435-0.433=0.002 | | min | 7.976-7.868=0.108 | | max | 9.043-8.890=0.152 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.318-4943.489=0.828 | | σ | 0.162-0.161=0.002 | | min | 4944.029-4943.203=0.826 | | max | 4944.406-4943.571=0.835 |
| | mean | 3052.000-2983.800=68.200 | | σ | 331.494-274.870=56.624 | | min | 2790.000-2616.000=174.000 | | max | 3556.000-3322.000=234.000 |
| | mean | 8.435-8.527=-0.092 | | σ | 0.125-0.149=-0.023 | | min | 8.348-8.353=-0.005 | | max | 8.655-8.737=-0.083 |
|