iters=5 new-facts=1 prior-facts=1 | | mean | 190.717 | | σ | 0.007 | | min | 190.712 | | max | 190.729 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 0.279 | | σ | 0.001 | | min | 0.278 | | max | 0.280 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1989.486 | | σ | 0.013 | | min | 1989.471 | | max | 1989.503 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 2.518 | | σ | 0.191 | | min | 2.309 | | max | 2.777 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4879.717 | | σ | 0.947 | | min | 4878.563 | | max | 4881.152 |
| | mean | 2609.000 | | σ | 0.000 | | min | 2609.000 | | max | 2609.000 |
| | mean | 8.300 | | σ | 0.285 | | min | 8.055 | | max | 8.710 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4891.695 | | σ | 0.098 | | min | 4891.611 | | max | 4891.812 |
| | mean | 3335.000 | | σ | 429.472 | | min | 2915.000 | | max | 3773.000 |
| | mean | 8.190 | | σ | 0.285 | | min | 7.989 | | max | 8.676 |
|