iters=5 new-facts=1 prior-facts=1 | | mean | 278.941-278.940=0.001 | | σ | 0.010-0.010=0.000 | | min | 278.931-278.929=0.002 | | max | 278.953-278.953=-0.000 |
| | mean | 2817.000-2752.000=65.000 | | σ | 0.000 | | min | 2817.000-2752.000=65.000 | | max | 2817.000-2752.000=65.000 |
| | mean | 0.408-0.411=-0.003 | | σ | 0.005-0.004=0.001 | | min | 0.403-0.406=-0.004 | | max | 0.413-0.414=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2177.854-2177.844=0.010 | | σ | 0.030-0.047=-0.018 | | min | 2177.822-2177.768=0.054 | | max | 2177.896-2177.885=0.011 |
| | mean | 2817.000-2752.000=65.000 | | σ | 0.000 | | min | 2817.000-2752.000=65.000 | | max | 2817.000-2752.000=65.000 |
| | mean | 3.390-3.265=0.125 | | σ | 0.209-0.267=-0.057 | | min | 3.156-3.001=0.154 | | max | 3.640-3.683=-0.044 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5055.791-5055.452=0.339 | | σ | 0.942-1.207=-0.266 | | min | 5055.235-5054.428=0.807 | | max | 5057.466-5057.506=-0.040 |
| | mean | 2817.000-2752.000=65.000 | | σ | 0.000 | | min | 2817.000-2752.000=65.000 | | max | 2817.000-2752.000=65.000 |
| | mean | 8.531-8.676=-0.145 | | σ | 0.503-0.577=-0.073 | | min | 8.092-8.124=-0.032 | | max | 9.193-9.338=-0.145 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.167-5193.116=0.051 | | σ | 0.099-0.120=-0.021 | | min | 5193.048-5192.939=0.110 | | max | 5193.279-5193.275=0.003 |
| | mean | 3230.200-3240.200=-10.000 | | σ | 424.920-449.864=-24.944 | | min | 2817.000-2752.000=65.000 | | max | 3844.000-3860.000=-16.000 |
| | mean | 8.865-8.748=0.117 | | σ | 0.257-0.195=0.062 | | min | 8.629-8.549=0.080 | | max | 9.220-9.065=0.155 |
|