iters=5 new-facts=1 prior-facts=1 | | mean | 272.793 | | σ | 0.007 | | min | 272.784 | | max | 272.802 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 0.378 | | σ | 0.001 | | min | 0.376 | | max | 0.379 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1933.227 | | σ | 0.017 | | min | 1933.198 | | max | 1933.242 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 3.150 | | σ | 0.141 | | min | 3.006 | | max | 3.346 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4756.971 | | σ | 7.566 | | min | 4753.545 | | max | 4770.506 |
| | mean | 2774.000 | | σ | 0.000 | | min | 2774.000 | | max | 2774.000 |
| | mean | 8.504 | | σ | 0.151 | | min | 8.309 | | max | 8.689 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4944.455 | | σ | 0.019 | | min | 4944.432 | | max | 4944.481 |
| | mean | 3041.000 | | σ | 325.006 | | min | 2774.000 | | max | 3526.000 |
| | mean | 8.444 | | σ | 0.103 | | min | 8.362 | | max | 8.607 |
|