iters=5 new-facts=1 prior-facts=1 | | mean | 345.195 | | σ | 0.070 | | min | 345.070 | | max | 345.234 |
| | mean | 2756.000 | | σ | 0.000 | | min | 2756.000 | | max | 2756.000 |
| | mean | 0.446 | | σ | 0.003 | | min | 0.441 | | max | 0.450 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.372 | | σ | 0.012 | | min | 2007.353 | | max | 2007.385 |
| | mean | 2756.000 | | σ | 0.000 | | min | 2756.000 | | max | 2756.000 |
| | mean | 2.755 | | σ | 0.131 | | min | 2.647 | | max | 2.972 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4832.145 | | σ | 7.810 | | min | 4828.380 | | max | 4846.113 |
| | mean | 2756.000 | | σ | 0.000 | | min | 2756.000 | | max | 2756.000 |
| | mean | 8.655 | | σ | 0.649 | | min | 7.694 | | max | 9.259 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.764 | | σ | 0.017 | | min | 5019.743 | | max | 5019.783 |
| | mean | 3010.000 | | σ | 237.120 | | min | 2756.000 | | max | 3320.000 |
| | mean | 9.650 | | σ | 0.256 | | min | 9.216 | | max | 9.883 |
|