iters=5 new-facts=1 prior-facts=1 | | mean | 269.934 | | σ | 0.005 | | min | 269.929 | | max | 269.943 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 0.383 | | σ | 0.004 | | min | 0.379 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.389 | | σ | 0.022 | | min | 1930.353 | | max | 1930.406 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 2.566 | | σ | 0.129 | | min | 2.474 | | max | 2.782 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4750.858 | | σ | 0.814 | | min | 4750.364 | | max | 4752.301 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 8.587 | | σ | 0.126 | | min | 8.456 | | max | 8.744 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.332 | | σ | 0.088 | | min | 4941.263 | | max | 4941.432 |
| | mean | 2955.200 | | σ | 271.239 | | min | 2593.000 | | max | 3314.000 |
| | mean | 8.504 | | σ | 0.175 | | min | 8.349 | | max | 8.798 |
|