iters=5 new-facts=1 prior-facts=1 | | mean | 273.593-273.610=-0.017 | | σ | 0.017-0.007=0.010 | | min | 273.575-273.601=-0.026 | | max | 273.619-273.618=0.001 |
| | mean | 2853.000-2845.000=8.000 | | σ | 0.000 | | min | 2853.000-2845.000=8.000 | | max | 2853.000-2845.000=8.000 |
| | mean | 0.390-0.387=0.003 | | σ | 0.006-0.010=-0.004 | | min | 0.384-0.379=0.006 | | max | 0.399-0.403=-0.005 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.993-1934.001=-0.009 | | σ | 0.006-0.019=-0.012 | | min | 1933.986-1933.973=0.013 | | max | 1934.004-1934.023=-0.020 |
| | mean | 2853.000-2845.000=8.000 | | σ | 0.000 | | min | 2853.000-2845.000=8.000 | | max | 2853.000-2845.000=8.000 |
| | mean | 3.050-3.104=-0.054 | | σ | 0.198-0.328=-0.130 | | min | 2.763-2.870=-0.107 | | max | 3.234-3.679=-0.445 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4614.225-4614.224=0.001 | | σ | 314.655-314.523=0.132 | | min | 4051.356-4051.591=-0.235 | | max | 4756.350-4756.329=0.020 |
| | mean | 2853.000-2845.000=8.000 | | σ | 0.000 | | min | 2853.000-2845.000=8.000 | | max | 2853.000-2845.000=8.000 |
| | mean | 8.313-8.139=0.174 | | σ | 0.628-0.723=-0.095 | | min | 7.680-7.017=0.663 | | max | 9.225-8.790=0.435 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.235-4945.220=0.015 | | σ | 0.020-0.015=0.005 | | min | 4945.213-4945.202=0.011 | | max | 4945.264-4945.244=0.020 |
| | mean | 3087.400-3025.200=62.200 | | σ | 298.900-263.403=35.497 | | min | 2853.000-2845.000=8.000 | | max | 3544.000-3445.000=99.000 |
| | mean | 8.703-8.567=0.136 | | σ | 0.233-0.185=0.048 | | min | 8.541-8.413=0.128 | | max | 9.108-8.792=0.316 |
|