iters=5 new-facts=1 prior-facts=1 | | mean | 324.694 | | σ | 0.053 | | min | 324.599 | | max | 324.720 |
| | mean | 2801.000 | | σ | 0.000 | | min | 2801.000 | | max | 2801.000 |
| | mean | 0.425 | | σ | 0.001 | | min | 0.424 | | max | 0.426 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 1985.259 | | σ | 0.009 | | min | 1985.244 | | max | 1985.266 |
| | mean | 2801.000 | | σ | 0.000 | | min | 2801.000 | | max | 2801.000 |
| | mean | 2.600 | | σ | 0.077 | | min | 2.507 | | max | 2.687 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4808.845 | | σ | 7.684 | | min | 4805.379 | | max | 4822.591 |
| | mean | 2801.000 | | σ | 0.000 | | min | 2801.000 | | max | 2801.000 |
| | mean | 8.837 | | σ | 0.127 | | min | 8.657 | | max | 9.002 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 4996.457 | | σ | 0.018 | | min | 4996.432 | | max | 4996.480 |
| | mean | 3065.600 | | σ | 238.188 | | min | 2801.000 | | max | 3407.000 |
| | mean | 8.774 | | σ | 0.150 | | min | 8.559 | | max | 8.975 |
|