iters=5 new-facts=1 prior-facts=1 | | mean | 277.197-279.508=-2.311 | | σ | 0.007-0.005=0.002 | | min | 277.189-279.502=-2.313 | | max | 277.204-279.515=-2.311 |
| | mean | 2609.000-2768.000=-159.000 | | σ | 0.000 | | min | 2609.000-2768.000=-159.000 | | max | 2609.000-2768.000=-159.000 |
| | mean | 0.407-0.409=-0.002 | | σ | 0.009-0.007=0.002 | | min | 0.401-0.403=-0.002 | | max | 0.418-0.419=-0.001 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.402-2178.430=-4.027 | | σ | 0.052-0.011=0.042 | | min | 2174.310-2178.419=-4.109 | | max | 2174.434-2178.443=-4.009 |
| | mean | 2609.000-2768.000=-159.000 | | σ | 0.000 | | min | 2609.000-2768.000=-159.000 | | max | 2609.000-2768.000=-159.000 |
| | mean | 2.829-3.327=-0.499 | | σ | 0.100-0.117=-0.017 | | min | 2.740-3.200=-0.460 | | max | 3.000-3.465=-0.465 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.652-5056.368=-3.717 | | σ | 0.995-0.975=0.020 | | min | 5052.093-5055.758=-3.665 | | max | 5054.419-5058.098=-3.679 |
| | mean | 2609.000-2768.000=-159.000 | | σ | 0.000 | | min | 2609.000-2768.000=-159.000 | | max | 2609.000-2768.000=-159.000 |
| | mean | 8.642-9.171=-0.529 | | σ | 0.647-0.515=0.132 | | min | 8.095-8.278=-0.183 | | max | 9.707-9.549=0.158 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.347-5193.742=-5.395 | | σ | 0.208-0.069=0.139 | | min | 5188.005-5193.689=-5.685 | | max | 5188.515-5193.852=-5.338 |
| | mean | 3230.800-3288.000=-57.200 | | σ | 538.200-383.766=154.434 | | min | 2609.000-2768.000=-159.000 | | max | 3961.000-3654.000=307.000 |
| | mean | 8.843-9.123=-0.279 | | σ | 0.224-0.461=-0.237 | | min | 8.625-8.819=-0.194 | | max | 9.211-9.940=-0.729 |
|