iters=5 new-facts=1 prior-facts=1 | | mean | 271.599 | | σ | 0.004 | | min | 271.593 | | max | 271.603 |
| | mean | 2759.000 | | σ | 0.000 | | min | 2759.000 | | max | 2759.000 |
| | mean | 0.387 | | σ | 0.005 | | min | 0.382 | | max | 0.394 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1931.991 | | σ | 0.018 | | min | 1931.960 | | max | 1932.003 |
| | mean | 2759.000 | | σ | 0.000 | | min | 2759.000 | | max | 2759.000 |
| | mean | 2.480 | | σ | 0.106 | | min | 2.350 | | max | 2.609 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.589 | | σ | 1.006 | | min | 4751.751 | | max | 4754.339 |
| | mean | 2759.000 | | σ | 0.000 | | min | 2759.000 | | max | 2759.000 |
| | mean | 8.809 | | σ | 0.198 | | min | 8.591 | | max | 9.039 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.064 | | σ | 0.185 | | min | 4942.858 | | max | 4943.213 |
| | mean | 3019.600 | | σ | 232.175 | | min | 2759.000 | | max | 3322.000 |
| | mean | 8.683 | | σ | 0.237 | | min | 8.390 | | max | 8.993 |
|