iters=5 new-facts=1 prior-facts=1 | | mean | 343.136 | | σ | 0.070 | | min | 343.012 | | max | 343.179 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 0.442 | | σ | 0.006 | | min | 0.437 | | max | 0.450 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2003.698 | | σ | 0.021 | | min | 2003.670 | | max | 2003.718 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 2.668 | | σ | 0.148 | | min | 2.508 | | max | 2.849 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 4827.302 | | σ | 7.829 | | min | 4823.197 | | max | 4841.290 |
| | mean | 2836.000 | | σ | 0.000 | | min | 2836.000 | | max | 2836.000 |
| | mean | 8.446 | | σ | 0.861 | | min | 7.774 | | max | 9.460 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5014.772 | | σ | 0.336 | | min | 5014.171 | | max | 5014.942 |
| | mean | 3062.600 | | σ | 296.872 | | min | 2836.000 | | max | 3520.000 |
| | mean | 8.492 | | σ | 0.116 | | min | 8.375 | | max | 8.667 |
|