iters=5 new-facts=1 prior-facts=1 | | mean | 345.007 | | σ | 0.070 | | min | 344.883 | | max | 345.052 |
| | mean | 2758.000 | | σ | 0.000 | | min | 2758.000 | | max | 2758.000 |
| | mean | 0.449 | | σ | 0.006 | | min | 0.444 | | max | 0.459 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2007.179 | | σ | 0.011 | | min | 2007.169 | | max | 2007.196 |
| | mean | 2758.000 | | σ | 0.000 | | min | 2758.000 | | max | 2758.000 |
| | mean | 2.683 | | σ | 0.096 | | min | 2.530 | | max | 2.782 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4831.942 | | σ | 7.789 | | min | 4828.166 | | max | 4845.873 |
| | mean | 2758.000 | | σ | 0.000 | | min | 2758.000 | | max | 2758.000 |
| | mean | 8.583 | | σ | 0.573 | | min | 7.915 | | max | 9.086 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5019.579 | | σ | 0.011 | | min | 5019.567 | | max | 5019.593 |
| | mean | 3028.400 | | σ | 264.542 | | min | 2758.000 | | max | 3400.000 |
| | mean | 9.805 | | σ | 0.127 | | min | 9.662 | | max | 9.988 |
|