iters=5 new-facts=1 prior-facts=1 | | mean | 271.752 | | σ | 0.008 | | min | 271.740 | | max | 271.762 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 0.384 | | σ | 0.005 | | min | 0.379 | | max | 0.391 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1932.186 | | σ | 0.014 | | min | 1932.169 | | max | 1932.205 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 2.935 | | σ | 0.245 | | min | 2.511 | | max | 3.146 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4752.652 | | σ | 0.746 | | min | 4751.814 | | max | 4753.863 |
| | mean | 2850.000 | | σ | 0.000 | | min | 2850.000 | | max | 2850.000 |
| | mean | 8.720 | | σ | 0.338 | | min | 8.432 | | max | 9.135 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4943.237 | | σ | 0.329 | | min | 4942.649 | | max | 4943.394 |
| | mean | 3070.400 | | σ | 235.755 | | min | 2850.000 | | max | 3418.000 |
| | mean | 8.671 | | σ | 0.136 | | min | 8.552 | | max | 8.892 |
|