iters=5 new-facts=1 prior-facts=1 | | mean | 326.438 | | σ | 0.059 | | min | 326.333 | | max | 326.467 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 0.426 | | σ | 0.006 | | min | 0.422 | | max | 0.437 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1988.618 | | σ | 0.008 | | min | 1988.604 | | max | 1988.623 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 2.602 | | σ | 0.163 | | min | 2.399 | | max | 2.768 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4813.347 | | σ | 7.795 | | min | 4809.381 | | max | 4827.283 |
| | mean | 2591.000 | | σ | 0.000 | | min | 2591.000 | | max | 2591.000 |
| | mean | 9.065 | | σ | 0.296 | | min | 8.835 | | max | 9.523 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5000.874 | | σ | 0.181 | | min | 5000.633 | | max | 5001.016 |
| | mean | 2976.200 | | σ | 280.779 | | min | 2591.000 | | max | 3312.000 |
| | mean | 9.790 | | σ | 0.290 | | min | 9.421 | | max | 10.224 |
|