iters=5 new-facts=1 prior-facts=1 | | mean | 279.509 | | σ | 0.006 | | min | 279.501 | | max | 279.515 |
| | mean | 2753.000 | | σ | 0.000 | | min | 2753.000 | | max | 2753.000 |
| | mean | 0.408 | | σ | 0.007 | | min | 0.404 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.438 | | σ | 0.014 | | min | 2178.426 | | max | 2178.462 |
| | mean | 2753.000 | | σ | 0.000 | | min | 2753.000 | | max | 2753.000 |
| | mean | 3.347 | | σ | 0.123 | | min | 3.225 | | max | 3.532 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.368 | | σ | 0.980 | | min | 5055.761 | | max | 5058.104 |
| | mean | 2753.000 | | σ | 0.000 | | min | 2753.000 | | max | 2753.000 |
| | mean | 9.120 | | σ | 0.536 | | min | 8.210 | | max | 9.581 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.760 | | σ | 0.090 | | min | 5193.686 | | max | 5193.860 |
| | mean | 3241.400 | | σ | 340.469 | | min | 2753.000 | | max | 3683.000 |
| | mean | 9.028 | | σ | 0.390 | | min | 8.747 | | max | 9.700 |
|