iters=5 new-facts=1 prior-facts=1 | | mean | 266.778-266.779=-0.001 | | σ | 0.005-0.010=-0.005 | | min | 266.771-266.765=0.006 | | max | 266.782-266.788=-0.006 |
| | mean | 2475.000-2480.000=-5.000 | | σ | 0.000 | | min | 2475.000-2480.000=-5.000 | | max | 2475.000-2480.000=-5.000 |
| | mean | 0.365-0.369=-0.004 | | σ | 0.003-0.010=-0.006 | | min | 0.361-0.363=-0.002 | | max | 0.370-0.387=-0.017 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.212-1927.209=0.003 | | σ | 0.010-0.009=0.001 | | min | 1927.202-1927.200=0.003 | | max | 1927.223-1927.219=0.005 |
| | mean | 2475.000-2480.000=-5.000 | | σ | 0.000 | | min | 2475.000-2480.000=-5.000 | | max | 2475.000-2480.000=-5.000 |
| | mean | 2.924-2.973=-0.048 | | σ | 0.275-0.084=0.191 | | min | 2.460-2.879=-0.419 | | max | 3.170-3.092=0.078 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.684-4747.768=-0.084 | | σ | 0.953-0.846=0.107 | | min | 4746.927-4747.259=-0.332 | | max | 4749.336-4749.268=0.068 |
| | mean | 2475.000-2480.000=-5.000 | | σ | 0.000 | | min | 2475.000-2480.000=-5.000 | | max | 2475.000-2480.000=-5.000 |
| | mean | 8.213-8.346=-0.133 | | σ | 0.441-0.283=0.158 | | min | 7.692-8.068=-0.375 | | max | 8.907-8.702=0.205 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.196-4938.199=-0.003 | | σ | 0.087-0.092=-0.004 | | min | 4938.094-4938.091=0.003 | | max | 4938.279-4938.274=0.004 |
| | mean | 2969.200-2957.600=11.600 | | σ | 434.536-417.961=16.575 | | min | 2475.000-2480.000=-5.000 | | max | 3556.000-3522.000=34.000 |
| | mean | 8.598-8.546=0.052 | | σ | 0.419-0.267=0.152 | | min | 8.299-8.289=0.010 | | max | 9.315-8.969=0.346 |
|