iters=5 new-facts=1 prior-facts=1 | | mean | 324.760 | | σ | 0.048 | | min | 324.675 | | max | 324.791 |
| | mean | 2455.000 | | σ | 0.000 | | min | 2455.000 | | max | 2455.000 |
| | mean | 0.425 | | σ | 0.004 | | min | 0.422 | | max | 0.433 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.310 | | σ | 0.023 | | min | 1985.274 | | max | 1985.330 |
| | mean | 2455.000 | | σ | 0.000 | | min | 2455.000 | | max | 2455.000 |
| | mean | 2.712 | | σ | 0.282 | | min | 2.483 | | max | 3.179 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.996 | | σ | 7.475 | | min | 4805.610 | | max | 4822.367 |
| | mean | 2455.000 | | σ | 0.000 | | min | 2455.000 | | max | 2455.000 |
| | mean | 9.155 | | σ | 0.406 | | min | 8.831 | | max | 9.787 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.633 | | σ | 0.022 | | min | 4996.606 | | max | 4996.655 |
| | mean | 2989.000 | | σ | 312.652 | | min | 2586.000 | | max | 3391.000 |
| | mean | 8.590 | | σ | 0.092 | | min | 8.470 | | max | 8.679 |
|