iters=5 new-facts=1 prior-facts=1 | | mean | 271.614 | | σ | 0.007 | | min | 271.602 | | max | 271.620 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 0.374 | | σ | 0.007 | | min | 0.369 | | max | 0.387 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.047 | | σ | 0.012 | | min | 1932.033 | | max | 1932.064 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 2.963 | | σ | 0.272 | | min | 2.506 | | max | 3.208 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.742 | | σ | 0.913 | | min | 4751.853 | | max | 4754.290 |
| | mean | 2839.000 | | σ | 0.000 | | min | 2839.000 | | max | 2839.000 |
| | mean | 7.888 | | σ | 0.299 | | min | 7.612 | | max | 8.379 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.184 | | σ | 0.149 | | min | 4942.919 | | max | 4943.265 |
| | mean | 3053.400 | | σ | 263.995 | | min | 2839.000 | | max | 3444.000 |
| | mean | 8.521 | | σ | 0.195 | | min | 8.390 | | max | 8.862 |
|