iters=5 new-facts=1 prior-facts=1 | | mean | 275.566 | | σ | 0.006 | | min | 275.556 | | max | 275.572 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 0.401 | | σ | 0.008 | | min | 0.395 | | max | 0.414 |
|
iters=5 new-facts=1 prior-facts=6402 | | mean | 2168.090 | | σ | 0.014 | | min | 2168.070 | | max | 2168.109 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 2.873 | | σ | 0.171 | | min | 2.662 | | max | 3.072 |
|
iters=5 new-facts=6402 prior-facts=1 | | mean | 5047.784 | | σ | 0.997 | | min | 5046.851 | | max | 5049.479 |
| | mean | 2841.000 | | σ | 0.000 | | min | 2841.000 | | max | 2841.000 |
| | mean | 8.854 | | σ | 0.500 | | min | 8.085 | | max | 9.424 |
|
iters=5 new-facts=6402 prior-facts=6402 | | mean | 5178.973 | | σ | 0.204 | | min | 5178.642 | | max | 5179.155 |
| | mean | 3284.800 | | σ | 408.374 | | min | 2841.000 | | max | 3862.000 |
| | mean | 9.715 | | σ | 0.619 | | min | 8.700 | | max | 10.176 |
|