iters=5 new-facts=1 prior-facts=1 | | mean | 271.955 | | σ | 0.008 | | min | 271.943 | | max | 271.962 |
| | mean | 2430.000 | | σ | 0.000 | | min | 2430.000 | | max | 2430.000 |
| | mean | 0.383 | | σ | 0.006 | | min | 0.380 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.323 | | σ | 0.014 | | min | 1932.311 | | max | 1932.344 |
| | mean | 2430.000 | | σ | 0.000 | | min | 2430.000 | | max | 2430.000 |
| | mean | 2.919 | | σ | 0.268 | | min | 2.474 | | max | 3.199 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.078 | | σ | 0.883 | | min | 4752.552 | | max | 4754.651 |
| | mean | 2430.000 | | σ | 0.000 | | min | 2430.000 | | max | 2430.000 |
| | mean | 8.620 | | σ | 0.508 | | min | 7.883 | | max | 9.309 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.421 | | σ | 0.205 | | min | 4943.181 | | max | 4943.590 |
| | mean | 2953.000 | | σ | 268.022 | | min | 2588.000 | | max | 3298.000 |
| | mean | 8.491 | | σ | 0.041 | | min | 8.457 | | max | 8.562 |
|