iters=5 new-facts=1 prior-facts=1 | | mean | 278.998 | | σ | 0.007 | | min | 278.986 | | max | 279.003 |
| | mean | 2864.000 | | σ | 0.000 | | min | 2864.000 | | max | 2864.000 |
| | mean | 0.385 | | σ | 0.008 | | min | 0.380 | | max | 0.398 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1939.427 | | σ | 0.020 | | min | 1939.398 | | max | 1939.445 |
| | mean | 2864.000 | | σ | 0.000 | | min | 2864.000 | | max | 2864.000 |
| | mean | 2.571 | | σ | 0.115 | | min | 2.499 | | max | 2.771 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4760.041 | | σ | 0.976 | | min | 4759.382 | | max | 4761.770 |
| | mean | 2864.000 | | σ | 0.000 | | min | 2864.000 | | max | 2864.000 |
| | mean | 8.516 | | σ | 0.589 | | min | 7.855 | | max | 9.016 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4950.627 | | σ | 0.027 | | min | 4950.591 | | max | 4950.656 |
| | mean | 3078.600 | | σ | 289.376 | | min | 2864.000 | | max | 3529.000 |
| | mean | 8.492 | | σ | 0.116 | | min | 8.419 | | max | 8.691 |
|