iters=5 new-facts=1 prior-facts=1 | | mean | 275.755-275.751=0.004 | | σ | 0.006-0.013=-0.007 | | min | 275.749-275.741=0.009 | | max | 275.765-275.766=-0.002 |
| | mean | 2646.000-2651.000=-5.000 | | σ | 0.000 | | min | 2646.000-2651.000=-5.000 | | max | 2646.000-2651.000=-5.000 |
| | mean | 0.401-0.394=0.007 | | σ | 0.016-0.010=0.006 | | min | 0.384-0.385=-0.001 | | max | 0.423-0.407=0.016 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.282-2168.289=-0.007 | | σ | 0.016-0.006=0.010 | | min | 2168.259-2168.283=-0.024 | | max | 2168.297-2168.297=-0.000 |
| | mean | 2646.000-2651.000=-5.000 | | σ | 0.000 | | min | 2646.000-2651.000=-5.000 | | max | 2646.000-2651.000=-5.000 |
| | mean | 2.957-2.999=-0.041 | | σ | 0.157-0.164=-0.007 | | min | 2.756-2.807=-0.051 | | max | 3.146-3.252=-0.106 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.990-5047.980=0.010 | | σ | 0.649-0.643=0.006 | | min | 5047.575-5047.530=0.045 | | max | 5049.136-5049.114=0.022 |
| | mean | 2646.000-2651.000=-5.000 | | σ | 0.000 | | min | 2646.000-2651.000=-5.000 | | max | 2646.000-2651.000=-5.000 |
| | mean | 8.655-8.772=-0.116 | | σ | 0.365-0.368=-0.002 | | min | 8.155-8.223=-0.068 | | max | 9.087-9.180=-0.093 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.240-5179.242=-0.002 | | σ | 0.079-0.081=-0.002 | | min | 5179.169-5179.163=0.006 | | max | 5179.336-5179.336=0.000 |
| | mean | 3266.800-3227.400=39.400 | | σ | 378.852-389.764=-10.911 | | min | 2732.000-2685.000=47.000 | | max | 3724.000-3720.000=4.000 |
| | mean | 9.879-10.064=-0.185 | | σ | 0.323-0.063=0.260 | | min | 9.429-9.992=-0.563 | | max | 10.139-10.140=-0.001 |
|