iters=5 new-facts=1 prior-facts=1 | | mean | 277.194 | | σ | 0.006 | | min | 277.189 | | max | 277.202 |
| | mean | 2497.000 | | σ | 0.000 | | min | 2497.000 | | max | 2497.000 |
| | mean | 0.396 | | σ | 0.007 | | min | 0.393 | | max | 0.409 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2174.422 | | σ | 0.028 | | min | 2174.374 | | max | 2174.443 |
| | mean | 2497.000 | | σ | 0.000 | | min | 2497.000 | | max | 2497.000 |
| | mean | 2.829 | | σ | 0.122 | | min | 2.724 | | max | 3.039 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5052.476 | | σ | 1.066 | | min | 5051.534 | | max | 5054.316 |
| | mean | 2497.000 | | σ | 0.000 | | min | 2497.000 | | max | 2497.000 |
| | mean | 8.787 | | σ | 0.540 | | min | 8.146 | | max | 9.353 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5188.268 | | σ | 0.367 | | min | 5187.634 | | max | 5188.531 |
| | mean | 3246.000 | | σ | 353.050 | | min | 2843.000 | | max | 3766.000 |
| | mean | 8.788 | | σ | 0.036 | | min | 8.751 | | max | 8.841 |
|