iters=5 new-facts=1 prior-facts=1 | | mean | 324.712 | | σ | 0.037 | | min | 324.648 | | max | 324.742 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 0.423 | | σ | 0.002 | | min | 0.420 | | max | 0.425 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.273 | | σ | 0.006 | | min | 1985.268 | | max | 1985.281 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 2.601 | | σ | 0.046 | | min | 2.549 | | max | 2.653 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.852 | | σ | 7.688 | | min | 4805.370 | | max | 4822.604 |
| | mean | 2826.000 | | σ | 0.000 | | min | 2826.000 | | max | 2826.000 |
| | mean | 8.775 | | σ | 0.117 | | min | 8.582 | | max | 8.887 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.411 | | σ | 0.141 | | min | 4996.160 | | max | 4996.489 |
| | mean | 3050.200 | | σ | 204.294 | | min | 2826.000 | | max | 3346.000 |
| | mean | 8.662 | | σ | 0.222 | | min | 8.416 | | max | 9.010 |
|