iters=5 new-facts=1 prior-facts=1 | | mean | 272.793 | | σ | 0.007 | | min | 272.786 | | max | 272.803 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 0.383 | | σ | 0.006 | | min | 0.379 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.226 | | σ | 0.019 | | min | 1933.196 | | max | 1933.246 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 3.010 | | σ | 0.331 | | min | 2.469 | | max | 3.372 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.885 | | σ | 7.619 | | min | 4753.121 | | max | 4770.509 |
| | mean | 2771.000 | | σ | 0.000 | | min | 2771.000 | | max | 2771.000 |
| | mean | 8.279 | | σ | 0.482 | | min | 7.627 | | max | 8.886 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.382 | | σ | 0.153 | | min | 4944.108 | | max | 4944.460 |
| | mean | 3019.800 | | σ | 310.666 | | min | 2771.000 | | max | 3497.000 |
| | mean | 8.564 | | σ | 0.372 | | min | 8.350 | | max | 9.222 |
|