iters=5 new-facts=1 prior-facts=1 | | mean | 190.715-190.724=-0.009 | | σ | 0.012-0.012=-0.000 | | min | 190.702-190.713=-0.010 | | max | 190.733-190.737=-0.004 |
| | mean | 2634.000-2780.000=-146.000 | | σ | 0.000 | | min | 2634.000-2780.000=-146.000 | | max | 2634.000-2780.000=-146.000 |
| | mean | 0.281-0.281=0.000 | | σ | 0.000-0.001=-0.001 | | min | 0.281-0.280=0.001 | | max | 0.282-0.282=-0.000 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.493-1989.501=-0.008 | | σ | 0.020-0.012=0.007 | | min | 1989.478-1989.485=-0.007 | | max | 1989.521-1989.515=0.006 |
| | mean | 2634.000-2780.000=-146.000 | | σ | 0.000 | | min | 2634.000-2780.000=-146.000 | | max | 2634.000-2780.000=-146.000 |
| | mean | 2.399-2.442=-0.043 | | σ | 0.089-0.090=-0.001 | | min | 2.303-2.365=-0.062 | | max | 2.544-2.572=-0.028 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.965-4879.960=0.005 | | σ | 0.318-0.586=-0.268 | | min | 4879.729-4879.437=0.291 | | max | 4880.504-4880.965=-0.461 |
| | mean | 2634.000-2780.000=-146.000 | | σ | 0.000 | | min | 2634.000-2780.000=-146.000 | | max | 2634.000-2780.000=-146.000 |
| | mean | 8.216-8.184=0.033 | | σ | 0.142-0.240=-0.098 | | min | 8.028-7.828=0.200 | | max | 8.378-8.487=-0.110 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.698-4891.643=0.055 | | σ | 0.077-0.117=-0.039 | | min | 4891.637-4891.470=0.167 | | max | 4891.789-4891.797=-0.008 |
| | mean | 3351.800-3364.800=-13.000 | | σ | 462.921-432.287=30.634 | | min | 2771.000-2780.000=-9.000 | | max | 4008.000-3911.000=97.000 |
| | mean | 8.326-8.378=-0.052 | | σ | 0.411-0.372=0.039 | | min | 7.987-7.931=0.056 | | max | 9.030-8.778=0.253 |
|