iters=5 new-facts=1 prior-facts=1 | | mean | 277.194 | | σ | 0.006 | | min | 277.188 | | max | 277.201 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 0.404 | | σ | 0.001 | | min | 0.403 | | max | 0.406 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2169.675 | | σ | 0.043 | | min | 2169.598 | | max | 2169.702 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 2.999 | | σ | 0.166 | | min | 2.781 | | max | 3.158 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5049.563 | | σ | 1.010 | | min | 5049.014 | | max | 5051.362 |
| | mean | 2650.000 | | σ | 0.000 | | min | 2650.000 | | max | 2650.000 |
| | mean | 9.032 | | σ | 0.610 | | min | 8.135 | | max | 9.790 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5180.595 | | σ | 0.120 | | min | 5180.417 | | max | 5180.754 |
| | mean | 3272.600 | | σ | 435.636 | | min | 2669.000 | | max | 3676.000 |
| | mean | 9.077 | | σ | 0.419 | | min | 8.813 | | max | 9.820 |
|