iters=5 new-facts=1 prior-facts=1 | | mean | 279.072 | | σ | 0.005 | | min | 279.064 | | max | 279.077 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 0.391 | | σ | 0.005 | | min | 0.387 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.518 | | σ | 0.012 | | min | 1939.500 | | max | 1939.530 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 2.824 | | σ | 0.206 | | min | 2.500 | | max | 3.011 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.056 | | σ | 0.791 | | min | 4759.561 | | max | 4761.458 |
| | mean | 2848.000 | | σ | 0.000 | | min | 2848.000 | | max | 2848.000 |
| | mean | 8.165 | | σ | 0.379 | | min | 7.733 | | max | 8.634 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.467 | | σ | 0.078 | | min | 4950.401 | | max | 4950.555 |
| | mean | 3077.200 | | σ | 302.031 | | min | 2848.000 | | max | 3541.000 |
| | mean | 8.491 | | σ | 0.122 | | min | 8.378 | | max | 8.639 |
|