iters=5 new-facts=1 prior-facts=1 | | mean | 279.435 | | σ | 0.013 | | min | 279.418 | | max | 279.452 |
| | mean | 2686.000 | | σ | 0.000 | | min | 2686.000 | | max | 2686.000 |
| | mean | 0.419 | | σ | 0.012 | | min | 0.409 | | max | 0.436 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2269.506 | | σ | 0.013 | | min | 2269.484 | | max | 2269.516 |
| | mean | 2686.000 | | σ | 0.000 | | min | 2686.000 | | max | 2686.000 |
| | mean | 2.946 | | σ | 0.110 | | min | 2.839 | | max | 3.118 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4954.907 | | σ | 0.840 | | min | 4954.412 | | max | 4956.400 |
| | mean | 2686.000 | | σ | 0.000 | | min | 2686.000 | | max | 2686.000 |
| | mean | 7.874 | | σ | 0.175 | | min | 7.738 | | max | 8.177 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5169.446 | | σ | 0.090 | | min | 5169.348 | | max | 5169.526 |
| | mean | 3391.000 | | σ | 451.453 | | min | 2782.000 | | max | 3994.000 |
| | mean | 9.462 | | σ | 0.106 | | min | 9.325 | | max | 9.591 |
|