iters=5 new-facts=1 prior-facts=1 | | mean | 292.422-292.433=-0.011 | | σ | 0.022-0.015=0.008 | | min | 292.383-292.413=-0.030 | | max | 292.438-292.454=-0.016 |
| | mean | 2832.000-2859.000=-27.000 | | σ | 0.000 | | min | 2832.000-2859.000=-27.000 | | max | 2832.000-2859.000=-27.000 |
| | mean | 0.398-0.395=0.003 | | σ | 0.001-0.001=0.000 | | min | 0.397-0.395=0.002 | | max | 0.399-0.396=0.002 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1952.958-1952.955=0.002 | | σ | 0.021-0.021=0.001 | | min | 1952.933-1952.930=0.004 | | max | 1952.981-1952.978=0.003 |
| | mean | 2832.000-2859.000=-27.000 | | σ | 0.000 | | min | 2832.000-2859.000=-27.000 | | max | 2832.000-2859.000=-27.000 |
| | mean | 2.617-2.679=-0.061 | | σ | 0.095-0.185=-0.090 | | min | 2.531-2.537=-0.005 | | max | 2.763-2.926=-0.163 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4778.919-4778.758=0.162 | | σ | 7.621-7.692=-0.071 | | min | 4775.299-4775.076=0.223 | | max | 4792.550-4792.515=0.035 |
| | mean | 2832.000-2859.000=-27.000 | | σ | 0.000 | | min | 2832.000-2859.000=-27.000 | | max | 2832.000-2859.000=-27.000 |
| | mean | 8.499-8.594=-0.096 | | σ | 0.543-0.452=0.091 | | min | 7.905-7.868=0.037 | | max | 9.137-9.119=0.018 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4966.443-4966.439=0.004 | | σ | 0.094-0.090=0.004 | | min | 4966.371-4966.355=0.016 | | max | 4966.546-4966.538=0.007 |
| | mean | 3003.800-3003.000=0.800 | | σ | 191.224-228.039=-36.815 | | min | 2832.000-2859.000=-27.000 | | max | 3297.000-3381.000=-84.000 |
| | mean | 8.532-8.411=0.121 | | σ | 0.126-0.061=0.065 | | min | 8.355-8.314=0.041 | | max | 8.697-8.460=0.236 |
|