iters=5 new-facts=1 prior-facts=1 | | mean | 269.929 | | σ | 0.007 | | min | 269.920 | | max | 269.938 |
| | mean | 2799.000 | | σ | 0.000 | | min | 2799.000 | | max | 2799.000 |
| | mean | 0.373 | | σ | 0.006 | | min | 0.368 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.386 | | σ | 0.018 | | min | 1930.362 | | max | 1930.404 |
| | mean | 2799.000 | | σ | 0.000 | | min | 2799.000 | | max | 2799.000 |
| | mean | 2.552 | | σ | 0.162 | | min | 2.434 | | max | 2.835 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.846 | | σ | 0.807 | | min | 4750.289 | | max | 4752.269 |
| | mean | 2799.000 | | σ | 0.000 | | min | 2799.000 | | max | 2799.000 |
| | mean | 8.703 | | σ | 0.237 | | min | 8.422 | | max | 9.066 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.336 | | σ | 0.081 | | min | 4941.271 | | max | 4941.427 |
| | mean | 3048.000 | | σ | 226.000 | | min | 2799.000 | | max | 3325.000 |
| | mean | 8.593 | | σ | 0.123 | | min | 8.384 | | max | 8.701 |
|