iters=5 new-facts=1 prior-facts=1 | | mean | 279.074 | | σ | 0.009 | | min | 279.063 | | max | 279.085 |
| | mean | 2563.000 | | σ | 0.000 | | min | 2563.000 | | max | 2563.000 |
| | mean | 0.389 | | σ | 0.001 | | min | 0.387 | | max | 0.390 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.519 | | σ | 0.012 | | min | 1939.509 | | max | 1939.539 |
| | mean | 2563.000 | | σ | 0.000 | | min | 2563.000 | | max | 2563.000 |
| | mean | 2.831 | | σ | 0.379 | | min | 2.377 | | max | 3.228 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4759.953 | | σ | 0.968 | | min | 4758.995 | | max | 4761.584 |
| | mean | 2563.000 | | σ | 0.000 | | min | 2563.000 | | max | 2563.000 |
| | mean | 8.155 | | σ | 0.603 | | min | 7.713 | | max | 9.203 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.464 | | σ | 0.087 | | min | 4950.385 | | max | 4950.562 |
| | mean | 2946.200 | | σ | 353.952 | | min | 2563.000 | | max | 3447.000 |
| | mean | 8.530 | | σ | 0.136 | | min | 8.431 | | max | 8.760 |
|