iters=5 new-facts=1 prior-facts=1 | | mean | 273.503-273.506=-0.003 | | σ | 0.007-0.010=-0.003 | | min | 273.495-273.494=0.001 | | max | 273.514-273.520=-0.005 |
| | mean | 2863.000-2860.000=3.000 | | σ | 0.000 | | min | 2863.000-2860.000=3.000 | | max | 2863.000-2860.000=3.000 |
| | mean | 0.375-0.376=-0.001 | | σ | 0.005-0.004=0.001 | | min | 0.371-0.373=-0.003 | | max | 0.383-0.382=0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.892-1933.900=-0.008 | | σ | 0.011-0.014=-0.003 | | min | 1933.878-1933.882=-0.004 | | max | 1933.909-1933.917=-0.007 |
| | mean | 2863.000-2860.000=3.000 | | σ | 0.000 | | min | 2863.000-2860.000=3.000 | | max | 2863.000-2860.000=3.000 |
| | mean | 2.950-2.908=0.042 | | σ | 0.118-0.257=-0.138 | | min | 2.760-2.467=0.293 | | max | 3.085-3.118=-0.033 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.556-4754.734=-0.177 | | σ | 0.872-0.783=0.089 | | min | 4753.860-4754.325=-0.465 | | max | 4756.074-4756.133=-0.059 |
| | mean | 2863.000-2860.000=3.000 | | σ | 0.000 | | min | 2863.000-2860.000=3.000 | | max | 2863.000-2860.000=3.000 |
| | mean | 8.327-7.932=0.395 | | σ | 0.516-0.316=0.200 | | min | 7.615-7.693=-0.079 | | max | 9.018-8.480=0.538 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.046-4945.117=-0.071 | | σ | 0.164-0.024=0.140 | | min | 4944.754-4945.087=-0.333 | | max | 4945.145-4945.150=-0.006 |
| | mean | 3026.600-3052.800=-26.200 | | σ | 184.653-269.777=-85.124 | | min | 2863.000-2860.000=3.000 | | max | 3313.000-3481.000=-168.000 |
| | mean | 8.437-8.608=-0.171 | | σ | 0.104-0.348=-0.244 | | min | 8.331-8.306=0.024 | | max | 8.572-9.182=-0.610 |
|