iters=5 new-facts=1 prior-facts=1 | | mean | 275.755 | | σ | 0.009 | | min | 275.746 | | max | 275.766 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 0.402 | | σ | 0.007 | | min | 0.396 | | max | 0.411 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.288 | | σ | 0.006 | | min | 2168.281 | | max | 2168.295 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 2.966 | | σ | 0.140 | | min | 2.810 | | max | 3.128 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5048.108 | | σ | 0.916 | | min | 5047.577 | | max | 5049.739 |
| | mean | 2651.000 | | σ | 0.000 | | min | 2651.000 | | max | 2651.000 |
| | mean | 8.863 | | σ | 0.504 | | min | 8.104 | | max | 9.384 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5179.247 | | σ | 0.061 | | min | 5179.191 | | max | 5179.314 |
| | mean | 3238.000 | | σ | 395.686 | | min | 2699.000 | | max | 3744.000 |
| | mean | 10.032 | | σ | 0.300 | | min | 9.693 | | max | 10.395 |
|