iters=5 new-facts=1 prior-facts=1 | | mean | 273.607-273.506=0.102 | | σ | 0.007-0.005=0.002 | | min | 273.596-273.500=0.096 | | max | 273.614-273.512=0.103 |
| | mean | 2775.000-2872.000=-97.000 | | σ | 0.000 | | min | 2775.000-2872.000=-97.000 | | max | 2775.000-2872.000=-97.000 |
| | mean | 0.389-0.385=0.004 | | σ | 0.010-0.005=0.005 | | min | 0.382-0.382=-0.000 | | max | 0.403-0.394=0.009 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1934.007-1933.910=0.097 | | σ | 0.006-0.017=-0.011 | | min | 1933.999-1933.893=0.106 | | max | 1934.014-1933.933=0.081 |
| | mean | 2775.000-2872.000=-97.000 | | σ | 0.000 | | min | 2775.000-2872.000=-97.000 | | max | 2775.000-2872.000=-97.000 |
| | mean | 2.995-2.838=0.157 | | σ | 0.369-0.311=0.058 | | min | 2.379-2.494=-0.116 | | max | 3.299-3.127=0.172 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4754.672-4754.735=-0.063 | | σ | 0.937-0.804=0.133 | | min | 4753.723-4754.298=-0.574 | | max | 4756.247-4756.171=0.076 |
| | mean | 2775.000-2872.000=-97.000 | | σ | 0.000 | | min | 2775.000-2872.000=-97.000 | | max | 2775.000-2872.000=-97.000 |
| | mean | 8.492-7.979=0.513 | | σ | 0.466-0.348=0.118 | | min | 7.758-7.700=0.058 | | max | 8.930-8.586=0.345 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4945.228-4944.909=0.320 | | σ | 0.016-0.327=-0.311 | | min | 4945.208-4944.386=0.822 | | max | 4945.250-4945.140=0.109 |
| | mean | 3081.000-3036.200=44.800 | | σ | 274.881-247.853=27.028 | | min | 2775.000-2872.000=-97.000 | | max | 3357.000-3430.000=-73.000 |
| | mean | 9.114-8.551=0.563 | | σ | 0.583-0.332=0.251 | | min | 8.397-8.329=0.068 | | max | 9.731-9.139=0.592 |
|