iters=5 new-facts=1 prior-facts=1 | | mean | 279.512 | | σ | 0.009 | | min | 279.501 | | max | 279.520 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 0.409 | | σ | 0.007 | | min | 0.404 | | max | 0.420 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2178.444 | | σ | 0.015 | | min | 2178.422 | | max | 2178.459 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 3.288 | | σ | 0.189 | | min | 3.035 | | max | 3.491 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5056.277 | | σ | 1.118 | | min | 5055.162 | | max | 5058.145 |
| | mean | 2844.000 | | σ | 0.000 | | min | 2844.000 | | max | 2844.000 |
| | mean | 9.310 | | σ | 0.749 | | min | 8.283 | | max | 10.308 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5193.760 | | σ | 0.089 | | min | 5193.683 | | max | 5193.857 |
| | mean | 3251.600 | | σ | 305.788 | | min | 2844.000 | | max | 3673.000 |
| | mean | 8.965 | | σ | 0.415 | | min | 8.624 | | max | 9.665 |
|