iters=5 new-facts=1 prior-facts=1 | | mean | 271.956 | | σ | 0.008 | | min | 271.946 | | max | 271.966 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 0.390 | | σ | 0.010 | | min | 0.380 | | max | 0.399 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.321 | | σ | 0.011 | | min | 1932.309 | | max | 1932.335 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 2.925 | | σ | 0.257 | | min | 2.479 | | max | 3.142 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4753.073 | | σ | 0.923 | | min | 4752.572 | | max | 4754.720 |
| | mean | 2471.000 | | σ | 0.000 | | min | 2471.000 | | max | 2471.000 |
| | mean | 8.710 | | σ | 0.301 | | min | 8.368 | | max | 9.038 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.554 | | σ | 0.024 | | min | 4943.535 | | max | 4943.586 |
| | mean | 3001.200 | | σ | 279.158 | | min | 2613.000 | | max | 3312.000 |
| | mean | 8.453 | | σ | 0.087 | | min | 8.345 | | max | 8.588 |
|