iters=5 new-facts=1 prior-facts=1 | | mean | 273.405-273.401=0.003 | | σ | 0.011-0.011=-0.001 | | min | 273.394-273.389=0.005 | | max | 273.419-273.413=0.006 |
| | mean | 2506.000-2488.000=18.000 | | σ | 0.000 | | min | 2506.000-2488.000=18.000 | | max | 2506.000-2488.000=18.000 |
| | mean | 0.389-0.388=0.001 | | σ | 0.010-0.011=-0.001 | | min | 0.379-0.377=0.002 | | max | 0.398-0.403=-0.004 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.844-1933.847=-0.002 | | σ | 0.007-0.009=-0.003 | | min | 1933.836-1933.832=0.005 | | max | 1933.854-1933.855=-0.002 |
| | mean | 2506.000-2488.000=18.000 | | σ | 0.000 | | min | 2506.000-2488.000=18.000 | | max | 2506.000-2488.000=18.000 |
| | mean | 3.036-3.120=-0.084 | | σ | 0.252-0.130=0.122 | | min | 2.763-2.988=-0.225 | | max | 3.357-3.281=0.076 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.339-4754.336=0.003 | | σ | 0.884-0.822=0.062 | | min | 4753.848-4753.823=0.025 | | max | 4755.916-4755.797=0.119 |
| | mean | 2506.000-2488.000=18.000 | | σ | 0.000 | | min | 2506.000-2488.000=18.000 | | max | 2506.000-2488.000=18.000 |
| | mean | 8.467-8.495=-0.029 | | σ | 0.547-0.511=0.036 | | min | 7.794-7.672=0.121 | | max | 9.036-8.957=0.079 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.795-4944.803=-0.008 | | σ | 0.072-0.078=-0.005 | | min | 4944.738-4944.735=0.003 | | max | 4944.883-4944.901=-0.018 |
| | mean | 2915.800-2974.200=-58.400 | | σ | 377.781-345.299=32.483 | | min | 2506.000-2529.000=-23.000 | | max | 3433.000-3305.000=128.000 |
| | mean | 8.516-8.797=-0.281 | | σ | 0.211-0.318=-0.107 | | min | 8.399-8.490=-0.091 | | max | 8.892-9.322=-0.430 |
|