iters=5 new-facts=1 prior-facts=1 | | mean | 270.142 | | σ | 0.009 | | min | 270.129 | | max | 270.152 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 0.375 | | σ | 0.004 | | min | 0.369 | | max | 0.380 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1930.596 | | σ | 0.016 | | min | 1930.577 | | max | 1930.613 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 2.545 | | σ | 0.146 | | min | 2.397 | | max | 2.783 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4751.227 | | σ | 0.963 | | min | 4750.477 | | max | 4752.910 |
| | mean | 2835.000 | | σ | 0.000 | | min | 2835.000 | | max | 2835.000 |
| | mean | 8.349 | | σ | 0.519 | | min | 7.799 | | max | 9.060 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4941.763 | | σ | 0.029 | | min | 4941.741 | | max | 4941.800 |
| | mean | 3009.600 | | σ | 194.489 | | min | 2835.000 | | max | 3308.000 |
| | mean | 8.476 | | σ | 0.122 | | min | 8.360 | | max | 8.650 |
|