iters=5 new-facts=1 prior-facts=1 | | mean | 266.784 | | σ | 0.007 | | min | 266.779 | | max | 266.795 |
| | mean | 2777.000 | | σ | 0.000 | | min | 2777.000 | | max | 2777.000 |
| | mean | 0.369 | | σ | 0.008 | | min | 0.365 | | max | 0.383 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1927.218 | | σ | 0.011 | | min | 1927.208 | | max | 1927.237 |
| | mean | 2777.000 | | σ | 0.000 | | min | 2777.000 | | max | 2777.000 |
| | mean | 2.855 | | σ | 0.161 | | min | 2.638 | | max | 3.051 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4747.658 | | σ | 0.513 | | min | 4747.356 | | max | 4748.567 |
| | mean | 2777.000 | | σ | 0.000 | | min | 2777.000 | | max | 2777.000 |
| | mean | 8.045 | | σ | 0.304 | | min | 7.776 | | max | 8.539 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4938.166 | | σ | 0.082 | | min | 4938.092 | | max | 4938.258 |
| | mean | 3030.400 | | σ | 315.412 | | min | 2777.000 | | max | 3514.000 |
| | mean | 8.389 | | σ | 0.117 | | min | 8.301 | | max | 8.592 |
|