iters=5 new-facts=1 prior-facts=1 | | mean | 271.646 | | σ | 0.011 | | min | 271.634 | | max | 271.660 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 0.381 | | σ | 0.008 | | min | 0.376 | | max | 0.395 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.106 | | σ | 0.018 | | min | 1932.082 | | max | 1932.123 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 2.604 | | σ | 0.104 | | min | 2.506 | | max | 2.730 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.384 | | σ | 1.047 | | min | 4751.579 | | max | 4754.141 |
| | mean | 2473.000 | | σ | 0.000 | | min | 2473.000 | | max | 2473.000 |
| | mean | 8.332 | | σ | 0.554 | | min | 7.738 | | max | 8.992 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4942.962 | | σ | 0.201 | | min | 4942.632 | | max | 4943.126 |
| | mean | 2968.600 | | σ | 429.123 | | min | 2478.000 | | max | 3553.000 |
| | mean | 8.474 | | σ | 0.116 | | min | 8.367 | | max | 8.661 |
|