iters=5 new-facts=1 prior-facts=1 | | mean | 266.782-271.641=-4.860 | | σ | 0.005-0.005=0.000 | | min | 266.776-271.637=-4.861 | | max | 266.787-271.649=-4.862 |
| | mean | 2812.000-2851.000=-39.000 | | σ | 0.000 | | min | 2812.000-2851.000=-39.000 | | max | 2812.000-2851.000=-39.000 |
| | mean | 0.364-0.384=-0.020 | | σ | 0.001-0.008=-0.007 | | min | 0.362-0.378=-0.016 | | max | 0.365-0.396=-0.030 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.208-1932.104=-4.896 | | σ | 0.002-0.012=-0.009 | | min | 1927.205-1932.086=-4.881 | | max | 1927.211-1932.113=-4.902 |
| | mean | 2812.000-2851.000=-39.000 | | σ | 0.000 | | min | 2812.000-2851.000=-39.000 | | max | 2812.000-2851.000=-39.000 |
| | mean | 3.056-2.565=0.491 | | σ | 0.228-0.197=0.032 | | min | 2.881-2.443=0.438 | | max | 3.408-2.910=0.498 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.657-4752.622=-4.965 | | σ | 0.877-0.786=0.091 | | min | 4746.990-4752.159=-5.169 | | max | 4749.198-4754.021=-4.823 |
| | mean | 2812.000-2851.000=-39.000 | | σ | 0.000 | | min | 2812.000-2851.000=-39.000 | | max | 2812.000-2851.000=-39.000 |
| | mean | 8.025-8.260=-0.236 | | σ | 0.525-0.620=-0.095 | | min | 7.658-7.644=0.013 | | max | 8.935-9.190=-0.255 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.171-4943.047=-4.876 | | σ | 0.090-0.085=0.005 | | min | 4938.101-4942.968=-4.867 | | max | 4938.272-4943.151=-4.879 |
| | mean | 3025.200-3053.400=-28.200 | | σ | 276.419-256.488=19.931 | | min | 2812.000-2851.000=-39.000 | | max | 3449.000-3436.000=13.000 |
| | mean | 8.448-8.428=0.020 | | σ | 0.128-0.083=0.045 | | min | 8.287-8.339=-0.052 | | max | 8.607-8.565=0.042 |
|