iters=5 new-facts=1 prior-facts=1 | | mean | 278.674-277.710=0.963 | | σ | 0.014-0.010=0.004 | | min | 278.659-277.698=0.962 | | max | 278.690-277.725=0.966 |
| | mean | 2606.000-2628.000=-22.000 | | σ | 0.000 | | min | 2606.000-2628.000=-22.000 | | max | 2606.000-2628.000=-22.000 |
| | mean | 0.418-0.410=0.007 | | σ | 0.001-0.001=0.000 | | min | 0.417-0.410=0.007 | | max | 0.418-0.411=0.007 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2268.846-2267.887=0.959 | | σ | 0.006-0.003=0.003 | | min | 2268.842-2267.883=0.959 | | max | 2268.856-2267.891=0.965 |
| | mean | 2606.000-2628.000=-22.000 | | σ | 0.000 | | min | 2606.000-2628.000=-22.000 | | max | 2606.000-2628.000=-22.000 |
| | mean | 2.943-2.984=-0.041 | | σ | 0.096-0.130=-0.033 | | min | 2.887-2.892=-0.006 | | max | 3.115-3.214=-0.099 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4952.216-4954.966=-2.750 | | σ | 0.846-0.556=0.291 | | min | 4951.687-4954.671=-2.984 | | max | 4953.717-4955.957=-2.240 |
| | mean | 2606.000-2628.000=-22.000 | | σ | 0.000 | | min | 2606.000-2628.000=-22.000 | | max | 2606.000-2628.000=-22.000 |
| | mean | 8.085-7.919=0.166 | | σ | 0.361-0.191=0.170 | | min | 7.748-7.747=0.000 | | max | 8.523-8.241=0.282 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5166.958-5169.788=-2.831 | | σ | 0.079-0.088=-0.010 | | min | 5166.891-5169.691=-2.800 | | max | 5167.045-5169.865=-2.820 |
| | mean | 3408.600-3360.600=48.000 | | σ | 470.454-452.645=17.810 | | min | 2755.000-2768.000=-13.000 | | max | 3984.000-3962.000=22.000 |
| | mean | 9.338-9.381=-0.043 | | σ | 0.198-0.276=-0.078 | | min | 9.073-9.051=0.022 | | max | 9.621-9.659=-0.037 |
|