iters=5 new-facts=1 prior-facts=1 | | mean | 324.770 | | σ | 0.042 | | min | 324.695 | | max | 324.794 |
| | mean | 2426.000 | | σ | 0.000 | | min | 2426.000 | | max | 2426.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.423 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.326 | | σ | 0.016 | | min | 1985.299 | | max | 1985.339 |
| | mean | 2426.000 | | σ | 0.000 | | min | 2426.000 | | max | 2426.000 |
| | mean | 2.550 | | σ | 0.147 | | min | 2.304 | | max | 2.689 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4809.097 | | σ | 7.672 | | min | 4805.618 | | max | 4822.821 |
| | mean | 2426.000 | | σ | 0.000 | | min | 2426.000 | | max | 2426.000 |
| | mean | 8.960 | | σ | 0.152 | | min | 8.718 | | max | 9.125 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.623 | | σ | 0.027 | | min | 4996.582 | | max | 4996.644 |
| | mean | 2971.800 | | σ | 289.790 | | min | 2583.000 | | max | 3322.000 |
| | mean | 8.620 | | σ | 0.136 | | min | 8.482 | | max | 8.828 |
|