iters=5 new-facts=1 prior-facts=1 | | mean | 279.047 | | σ | 0.002 | | min | 279.044 | | max | 279.050 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 0.393 | | σ | 0.007 | | min | 0.388 | | max | 0.404 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.512 | | σ | 0.008 | | min | 1939.502 | | max | 1939.523 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 3.006 | | σ | 0.181 | | min | 2.710 | | max | 3.191 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.035 | | σ | 0.883 | | min | 4759.546 | | max | 4761.598 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 8.359 | | σ | 0.672 | | min | 7.705 | | max | 9.381 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.323 | | σ | 0.367 | | min | 4949.683 | | max | 4950.568 |
| | mean | 3043.200 | | σ | 265.819 | | min | 2848.000 | | max | 3461.000 |
| | mean | 8.398 | | σ | 0.072 | | min | 8.271 | | max | 8.440 |
|